Commits · master · Tiago Cogumbreiro / aniceto-coq

Browse files

Oct 13, 2025
- Added a missing lemma. · 18ff0dae
  Tiago Cogumbreiro authored Oct 13, 2025
  
  18ff0dae
Aug 06, 2025
- Regenerated OPAM. · bd1a4902
  Tiago Cogumbreiro authored Aug 06, 2025
  
  bd1a4902
Jun 29, 2025
- Update version to 1.0.0 and add git commit guidelines · edfb5564
  Tiago Cogumbreiro authored Jun 29, 2025
  View commits for tag v1.0.0 v1.0.0
  
  edfb5564
- Added script to locally test gitlab ci. · 3688879f
  Tiago Cogumbreiro authored Jun 29, 2025
  
  3688879f
- No longer needed. · 49ac005c
  Tiago Cogumbreiro authored Jun 29, 2025
  
  49ac005c
- Added Rocq 9 migration notes. · 2c0d99d3
  Tiago Cogumbreiro authored Jun 29, 2025
  
  2c0d99d3
Jun 22, 2025
- Changed Gitlab script to support Rocq 9. · 93a97a52
  Tiago Cogumbreiro authored Jun 22, 2025
  
  93a97a52
Jun 21, 2025
- Rename package to rocq-aniceto for OPAM repository compliance · 1355bfe9
  Tiago Cogumbreiro authored Jun 21, 2025
  1355bfe9
- Update README with comprehensive module overview and Rocq/Dune instructions · 49e1fc6e
  Tiago Cogumbreiro authored Jun 21, 2025
  49e1fc6e
- Adding support for Rocq 9 and the dune package manager. · 22dd1302
  Tiago Cogumbreiro authored Jun 21, 2025
  
  22dd1302
Apr 30, 2025
- Implemented lists MapsTo. · 7731b3bc
  Tiago Cogumbreiro authored Apr 30, 2025
  
  7731b3bc
Apr 18, 2025
- New theorems. · 84049cf9
  Tiago Cogumbreiro authored Apr 18, 2025
  
  84049cf9
Mar 12, 2025
- Proved add_in_eq. · 03a81352
  Tiago Cogumbreiro authored Mar 12, 2025
  
  03a81352
Nov 30, 2024
- Bumpped to Coq 8.20. · c8468572
  Tiago Cogumbreiro authored Nov 30, 2024
  
  c8468572
Apr 06, 2024
- Ignore warning. · 575c34a9
  Tiago Cogumbreiro authored Apr 06, 2024
  
  575c34a9
- Simplified the gitlab CI. · 4920510f
  Tiago Cogumbreiro authored Apr 06, 2024
  
  4920510f
Apr 04, 2024
- Updated ocaml version and Coq version. · fa92972e
  Tiago Cogumbreiro authored Apr 04, 2024
  
  fa92972e
Apr 03, 2024
- Added support for Coq 8.19 · 0f5f77eb
  Tiago Cogumbreiro authored Apr 03, 2024
  
  0f5f77eb
Feb 15, 2022
- Updating proofs to work with latest Coq. · 11cac336
  Tiago Cogumbreiro authored Feb 15, 2022
  
  11cac336
- Fixed so that it works with latest version of Coq. · 90ece1bf
  Tiago Cogumbreiro authored Feb 15, 2022
  
  90ece1bf
Jun 23, 2020
- Fixed compatibility with Coq 8.11 · 6c7ac194
  Tiago Cogumbreiro authored Jun 23, 2020
  
  6c7ac194
May 03, 2018
- Fixed import warnings. · 5df7b3d5
  Tiago Cogumbreiro authored May 03, 2018
  
  5df7b3d5
Mar 23, 2018
- Fix the Coq version. · eacee86c
  Tiago Cogumbreiro authored Mar 22, 2018
  
  eacee86c
Mar 22, 2018
- Added caching to GitLab CI. · 24dc6c27
  Tiago Cogumbreiro authored Mar 22, 2018
  
  24dc6c27
- Adding support for osx. · bf465ce6
  Tiago Cogumbreiro authored Mar 22, 2018
  
  bf465ce6
- Improved docs. · bae23881
  Tiago Cogumbreiro authored Mar 22, 2018
  
  bae23881
- Removed dead code. · a84410fb
  Tiago Cogumbreiro authored Mar 22, 2018
  
  a84410fb
Mar 21, 2018
- Simplifying Coq installation. · 41181047
  Tiago Cogumbreiro authored Mar 21, 2018
  
  41181047
Mar 19, 2018
- Fixed opam install command. · dc6b7b5e
  Tiago Cogumbreiro authored Mar 19, 2018
  
  dc6b7b5e
- Make sure we do not grab opam unless it is needed. · b5fedc14
  Tiago Cogumbreiro authored Mar 19, 2018
  
  b5fedc14
- Remove dead code. · cca6d8af
  Tiago Cogumbreiro authored Mar 19, 2018
  
  cca6d8af
- Note that we perform tail recursion. · feed9254
  Tiago Cogumbreiro authored Mar 19, 2018
  
  feed9254
- Added a GitLab bad. · 3175cd18
  Tiago Cogumbreiro authored Mar 18, 2018
  
  3175cd18
- Fixed opam. · 4f882d99
  Tiago Cogumbreiro authored Mar 18, 2018
  
  4f882d99
- Fixed yaml syntax. · c3ddfe5b
  Tiago Cogumbreiro authored Mar 18, 2018
  
  c3ddfe5b
- Don't forget to install m4. · 81693049
  Tiago Cogumbreiro authored Mar 18, 2018
  
  81693049
Mar 18, 2018
- Added a Travis badge. · ab1f79a3
  Tiago Cogumbreiro authored Mar 18, 2018
  
  ab1f79a3
- Trying to fix environment. · 381aaa71
  Tiago Cogumbreiro authored Mar 18, 2018
  
  381aaa71
- Ensure the PATH environment variable is correct. · 3645f1a8
  Tiago Cogumbreiro authored Mar 18, 2018
  
  3645f1a8
- Silently install coq. · 08b0f717
  Tiago Cogumbreiro authored Mar 18, 2018
  
  08b0f717