Commits · master · LustreC / Lustrec - public version

Mar 03, 2023
- cope with newer Dune version · 6bb00bf6
  BRUN Lelio authored 2 years ago
  
  6bb00bf6
Mar 02, 2023
- move files from plugins directory as it seems to be used by new plugin system... · e7729134
  BRUN Lelio authored 2 years ago
```
move files from plugins directory as it seems to be used by new plugin system by Dune (that's weird)
```
  e7729134
Apr 13, 2022
- COSMETICS (dune build @fmt --auto-promote) · f1896ffa
  BRUN Lelio authored 3 years ago
  
  f1896ffa
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