Commits · master · LustreC / Lustrec - public version

Apr 13, 2022
- COSMETICS (dune build @fmt --auto-promote) · f1896ffa
  BRUN Lelio authored 2 years ago
  
  f1896ffa
Sep 27, 2021
- working version for stateful contracts · d29fbec5
  BRUN Lelio authored 3 years ago
  
  d29fbec5
Sep 23, 2021
- proper handling of stateless nodes and automata · 478edbed
  BRUN Lelio authored 3 years ago
  
  478edbed
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 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