Commits · master · 2xs / digger

Feb 20, 2024
- Fix the codemeta.json file · 2daeb5da
  Damien Amara authored 1 year ago
  2daeb5da
- Fix the codemeta.json file · 368cac6a
  Damien Amara authored 1 year ago
  368cac6a
Feb 19, 2024
- Create a codemeta.json file · 925d7b7e
  Damien Amara authored 1 year ago
  
  925d7b7e
Jan 30, 2024
- Update the README.md file · c0d997a4
  Damien Amara authored 1 year ago
  
  c0d997a4
- Update the digger.cabal file · c1e2efaf
  Damien Amara authored 1 year ago
  
  c1e2efaf
- Update the AUTHORS file · dc877157
  Damien Amara authored 1 year ago
  
  dc877157
- Rename Readme.md to README.md · 2336a916
  Damien Amara authored 1 year ago
  2336a916
- Create an AUTHORS file · e49c8615
  Damien Amara authored 1 year ago
  
  e49c8615
- Update copyright headers · 7964ddb2
  Damien Amara authored 1 year ago
  
  7964ddb2
Jun 29, 2022
- CI: Update the debian version · 7b0e4740
  Samuel Hym authored 2 years ago
  7b0e4740
- CI: Display current opam configuration · 8259a690
  Samuel Hym authored 2 years ago
  
  8259a690
May 30, 2022
- Bump version · 0a6c5510
  Samuel Hym authored 3 years ago
  
  View commits for tag v0.4 v0.4
  
  0a6c5510
- Update copyright notices · 0f6f0949
  Samuel Hym authored 3 years ago
  
  0f6f0949
- CI: Use local debian mirror instead of cache. · 6df6e01c
  Samuel Hym authored 3 years ago
  6df6e01c
- Collect types also for non-monadic functions · 1b4513eb
  Samuel Hym authored 3 years ago
  1b4513eb
Apr 27, 2022
- Widen dependencies · 14467551
  Samuel Hym authored 3 years ago
  
  14467551
Apr 14, 2022
- Build and test executable with CI · 1d57bf36
  Samuel Hym authored 3 years ago
  
  1d57bf36
Feb 10, 2021
- Update cabal metadata · 25efc14d
  Samuel Hym authored 4 years ago
  
  25efc14d
Feb 09, 2021
- Widen dependencies · b94e5f83
  Samuel Hym authored 4 years ago
  
  b94e5f83
Feb 05, 2021
- Use cabal v2 commands to build · 22df9e97
  Samuel Hym authored 4 years ago
  
  22df9e97
Nov 10, 2020
- Bump version · 08bef445
  Samuel Hym authored 4 years ago
  
  08bef445
- Automatically insert _ for dependency namespace · 8df51e84
  Samuel Hym authored 4 years ago
  8df51e84
Nov 05, 2020
- Accept Axioms in JSON · 3aa662a6
  Samuel Hym authored 4 years ago
  3aa662a6
- Widen dependencies · 8d7b3cce
  Samuel Hym authored 4 years ago
  
  8d7b3cce
Dec 16, 2019
- Update stackage LTS version · 8917512e
  Samuel Hym authored 5 years ago
  
  8917512e
- Widen dependencies · 633299af
  Samuel Hym authored 5 years ago
  
  633299af
Apr 24, 2019
- Update the Readme · 8c48179f
  Samuel Hym authored 6 years ago
  8c48179f
Apr 12, 2019
- Expose the new parameter to the commandline · 1dc430ec
  Samuel Hym authored 6 years ago
  
  1dc430ec
- Require Extraction · 2cd1aba1
  Samuel Hym authored 6 years ago
  2cd1aba1
- Eta-expand function definitions · 34f80b6e
  Samuel Hym authored 6 years ago
  
  34f80b6e
- Eta-expand bind applications · 31eaafce
  Samuel Hym authored 6 years ago
  
  31eaafce
- Lift an internal function to Except monad · 6276239f
  Samuel Hym authored 6 years ago
  6276239f
Nov 02, 2018
- Widen dependencies · 55c3aca5
  Samuel Hym authored 6 years ago
  
  55c3aca5
Oct 17, 2018
- Add a simple example to show how to use digger · bb79e42c
  Samuel Hym authored 6 years ago
  bb79e42c
- Widen dependencies · 52a87ab3
  Samuel Hym authored 6 years ago and Samuel Hym committed 6 years ago
  
  52a87ab3
Sep 29, 2017
- Merge tag 'v0.2' into develop · bf2f820c
  Julien Cartigny authored 7 years ago
  bf2f820c
- Merge branch 'release/v0.2' · 17c8418e
  Julien Cartigny authored 7 years ago
  
  17c8418e
Aug 04, 2017
- Rewrite coq2c. Rename it digger. · d24f5e53
  Samuel Hym authored 7 years ago
  d24f5e53
Oct 03, 2016
- Merge branch 'release/v0.1' · 1c9e0f83
  Julien Cartigny authored 8 years ago
  
  1c9e0f83
- cosmetic filename · 1f29df2b
  Julien Cartigny authored 8 years ago
  
  1f29df2b