Commits · master · LustreC / Lustrec - public version

May 12, 2022
- fix dune build · 3e9d5fa1
  BRUN Lelio authored 3 years ago
  
  3e9d5fa1
May 10, 2022
- reorganize internal libraries to solve execution failures for other executables than lustrec · 7f9aabea
  BRUN Lelio authored 3 years ago
  
  7f9aabea
Feb 03, 2022
- ast modifs and additional arrow_taint phase to retrieve which arrow "protects"... · 9d779097
  BRUN Lelio authored 3 years ago
  
  ast modifs and additional arrow_taint phase to retrieve which arrow "protects" / "taints" which variable
  9d779097
Oct 22, 2021
- remove unused variables after tag elimination in machine code (-O >= 3) · 17d63fff
  BRUN Lelio authored 3 years ago
  
  17d63fff
Jun 30, 2021
- comment dead code with (* XXX: UNUSED *) disclaimer · cc852504
  BRUN Lelio authored 3 years ago
  
  cc852504
Jun 29, 2021
- mli additions complete · 2926ceee
  BRUN Lelio authored 3 years ago
  
  2926ceee
Jun 25, 2021
- refactoring first step · 50a8778a
  BRUN Lelio authored 3 years ago
  
  50a8778a
Jun 17, 2021
- reformatting · ca7ff3f7
  BRUN Lelio authored 3 years ago
  
  ca7ff3f7
Jun 14, 2021
- work on spec generation almost done · 6d1693b9
  BRUN Lelio authored 3 years ago
  
  6d1693b9
May 04, 2021
- start with Spec AST generation · 75c459f4
  BRUN Lelio authored 4 years ago
  
  75c459f4
- corrections on loggers + spec in AST · 7ee5f69e
  BRUN Lelio authored 4 years ago
  
  7ee5f69e
Apr 21, 2021
- move arrow spec in its own header · efcc8d7f
  BRUN Lelio authored 4 years ago
  
  efcc8d7f
Mar 09, 2021
- prepare for the modern error handling of Menhir · 90e83deb
  BRUN Lelio authored 4 years ago
  
  90e83deb
Feb 15, 2021
- setup tests for dune · 57c96fb7
  BRUN Lelio authored 4 years ago
  
  57c96fb7
Feb 05, 2021
- fix almost all warnings · ca7e8027
  BRUN Lelio authored 4 years ago
  
  ca7e8027
Feb 03, 2021
- migration draft on dune · 719ae9fd
  BRUN Lelio authored 4 years ago
  
  719ae9fd