Commits · master · LustreC / Lustrec - public version

Apr 13, 2022
- COSMETICS (dune build @fmt --auto-promote) · f1896ffa
  BRUN Lelio authored 3 years ago
  
  f1896ffa
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
Sep 27, 2021
- working version for stateful contracts · d29fbec5
  BRUN Lelio authored 3 years ago
  
  d29fbec5
Jun 30, 2021
- comment dead code with (* XXX: UNUSED *) disclaimer · cc852504
  BRUN Lelio authored 3 years ago
  
  cc852504
Jun 28, 2021
- another step towards refactoring · a7062da6
  BRUN Lelio authored 3 years ago
  
  a7062da6
Jun 25, 2021
- refactoring first step · 50a8778a
  BRUN Lelio authored 3 years ago
  
  50a8778a