Commits · main · salto / salto analyzer

Mar 10, 2025
- updated Makefile · 052c78a0
  MONTAGU Benoit authored 3 days ago
  
  0.1
  
  052c78a0
- fixed publish script · 29f9833e
  MONTAGU Benoit authored 3 days ago
  
  29f9833e
- removed dependency on unix, which is not an opam package · ae921fa3
  MONTAGU Benoit authored 3 days ago
  
  ae921fa3
- updated README · 7dd73620
  MONTAGU Benoit authored 3 days ago
  
  7dd73620
- excluded tests for salto_analyzer from the main tests · fe430ef0
  MONTAGU Benoit authored 3 days ago
  
  fe430ef0
Mar 07, 2025
- Merge branch 'dev' · ff2f34f1
  MONTAGU Benoit authored 6 days ago
  
  ff2f34f1
- updated publish script · b7a8c9d4
  MONTAGU Benoit authored 6 days ago
  
  b7a8c9d4
- grouped command for salto · 44b971e9
  MONTAGU Benoit authored 6 days ago
  
  analysis of a dune project is now provided by the command `salto analyze FLAGS DIR`
  44b971e9
- added publish script · f28b27aa
  MONTAGU Benoit authored 6 days ago
  
  f28b27aa
- updated TODO · 6ed0e9da
  MONTAGU Benoit authored 6 days ago
  
  6ed0e9da
- added option to control the pruning of the abstract heap · b5ad0609
  MONTAGU Benoit authored 6 days ago
  
  b5ad0609
- updated README · 0715ef40
  MONTAGU Benoit authored 6 days ago
  
  0715ef40
- renamed JS executable · 08610682
  MONTAGU Benoit authored 6 days ago
  
  08610682
Mar 06, 2025
- updated README · 01eacb8e
  MONTAGU Benoit authored 1 week ago
  
  01eacb8e
- updated version + TODO + CHANGES · 48f27b0f
  MONTAGU Benoit authored 1 week ago
  
  48f27b0f
- updated README · b66bb72c
  MONTAGU Benoit authored 1 week ago
  
  b66bb72c
- added upper constraint on js_of_ocaml to avoid a bug · f91893a3
  MONTAGU Benoit authored 1 week ago
  
  f91893a3
- various dune changes · e94dca5e
  MONTAGU Benoit authored 1 week ago
  
  - turned most public_name into name - new public name for analyze_dune: salto-analyzer - bumped menhir language version to 3.0
  e94dca5e
- removed example that had no executable · 809478a1
  MONTAGU Benoit authored 1 week ago
  
  809478a1
- added option to specify the executable to be analysed · c40e647b
  MONTAGU Benoit authored 1 week ago
  
  c40e647b
- precisely handle workspaces with no or multiple executables · 9b44b6f6
  MONTAGU Benoit authored 1 week ago
  
  9b44b6f6
- improved error handling in dune_analyze, and automatically run "dune build @check" · 71187443
  MONTAGU Benoit authored 1 week ago
  
  71187443
Mar 05, 2025
- changed cli to analyze a source directory · c99be2aa
  MONTAGU Benoit authored 1 week ago
  
  c99be2aa
- added option to redirect output to a file · 385d6131
  MONTAGU Benoit authored 1 week ago
  
  385d6131
- improvement in dune project · 9b5aae31
  MONTAGU Benoit authored 1 week ago
  
  9b5aae31
- upraded to newest dune version · 18445253
  MONTAGU Benoit authored 1 week ago
  
  18445253
- sync with salto-IL (removed lazy operations on environments) · ab6484ca
  MONTAGU Benoit authored 1 week ago
  
  ab6484ca
Mar 04, 2025
- added example with mutable inlined records · 29f89299
  MONTAGU Benoit authored 1 week ago
  
  29f89299
Feb 23, 2025
- removed warnings raised by more recent versions of dune · 837bb768
  MONTAGU Benoit authored 2 weeks ago
  
  837bb768
Feb 06, 2025
- some tests code editing · 07d782c1
  LERMUSIAUX Pierre authored 1 month ago
  
  07d782c1
- fix some mutability inconsistencies · f3995cb2
  LERMUSIAUX Pierre authored 1 month ago
  
  f3995cb2
Feb 05, 2025
- Merge remote-tracking branch 'refs/remotes/origin/dev' into dev · 30dd392d
  MONTAGU Benoit authored 1 month ago
  
  30dd392d
Feb 03, 2025
- concretize descriptor open flags · ec97b9a0
  LERMUSIAUX Pierre authored 1 month ago
  
  ec97b9a0
- structural fold on abstract values · aec376e1
  LERMUSIAUX Pierre authored 1 month ago
  
  aec376e1
- fix in total order for nablaRec · c80a8be7
  MONTAGU Benoit authored 1 month ago
  
  c80a8be7
- added new examples · 5a7e33a7
  MONTAGU Benoit authored 1 month ago
  
  5a7e33a7
Jan 29, 2025
- fixed a too aggressive global-query-replace · e49558a5
  MONTAGU Benoit authored 1 month ago
  
  e49558a5
- Merge remote-tracking branch 'refs/remotes/origin/dev' into dev · 1b8014f7
  MONTAGU Benoit authored 1 month ago
  
  1b8014f7
- added example with a loop that always returns an exception · 1bbcecf5
  MONTAGU Benoit authored 1 month ago
  
  1bbcecf5
- added test for a branch refinement using the complement · 18373aa3
  MONTAGU Benoit authored 1 month ago
  
  18373aa3

Admin message

Admin message