Commits · master · pub / colibrics

20 Jun, 2022 3 commits
- Merge branch 'bobot/abs' into 'master' · 39280a1f
  François Bobot authored Jun 20, 2022
```
Release helpers

See merge request !24
```
  39280a1f
- Fix dolmen version · 111c0c5c
  François Bobot authored Jun 20, 2022
  
  111c0c5c
- Bump version of gen · a4d7a705
  François Bobot authored Jun 19, 2022
  
  a4d7a705
19 Jun, 2022 15 commits
- Remove large integer constant in colibrics · f5f6c9bb
  François Bobot authored Jun 19, 2022
  
  f5f6c9bb
- Fix license information · b5dde3b9
  François Bobot authored Jun 19, 2022
  
  b5dde3b9
- Fix release instructions · 7dca5615
  François Bobot authored Jun 19, 2022
  
  7dca5615
- Cleanup repository · 091be73f
  François Bobot authored Jun 19, 2022
  
  091be73f
- Support 32bit by removing large integer constant · a27ac524
  François Bobot authored Jun 19, 2022
  
  a27ac524
- Format dune and OCaml files · 1c160bfe
  François Bobot authored Jun 19, 2022
  
  1c160bfe
- Bump OCaml version to 4.12 · 85c9a603
  François Bobot authored Jun 19, 2022
  
  85c9a603
- Bump cmdliner version · 121bacec
  François Bobot authored Jun 19, 2022
  
  121bacec
- Remove some warnings in 4.14 · 2e5e9e62
  François Bobot authored Jun 19, 2022
  
  2e5e9e62
- [CI] Cleanup coq dependencies since farith is not included anymore · cb6afb0d
  François Bobot authored Jun 19, 2022
  
  cb6afb0d
- Fix ounit2 dependency condition · 4481730b
  François Bobot authored Jun 19, 2022
  
  4481730b
- Create release automatically in gitlab · 2819fdd6
  François Bobot authored Jun 19, 2022
  
  2819fdd6
- Fix missing dependencies · c7a21cc9
  François Bobot authored Jun 19, 2022
  
  c7a21cc9
- Fix release instructions · 7aeceb70
  François Bobot authored Jun 19, 2022
  
  7aeceb70
- Add lower bounds for dependencies · 0f8c8975
  François Bobot authored Jun 19, 2022
  
  0f8c8975
18 Jun, 2022 5 commits
- Add missing why3 dependency for colibrics · a1acadf6
  François Bobot authored Jun 18, 2022
  
  a1acadf6
- Attach each test to its package · a8440ad6
  François Bobot authored Jun 18, 2022
  
  a8440ad6
- Fix source and homepage url · 90c71f72
  François Bobot authored Jun 18, 2022
  
  90c71f72
- Add CHANGES file · 7683751d
  François Bobot authored Jun 18, 2022
  
  7683751d
- Separate the common library in its own package · 25ac132a
  François Bobot authored Jun 18, 2022
  
  25ac132a
17 Jun, 2022 1 commit
- Merge branch 'bobot/abs' into 'master' · 49bee15a
  François Bobot authored Jun 17, 2022
```
Dev

See merge request !23
```
  49bee15a
16 Jun, 2022 4 commits
- to remove · 8a25f0e9
  François Bobot authored Jun 16, 2022
  
  8a25f0e9
- [CI] Change tests time limit to 60s · 3aea8d57
  François Bobot authored Jun 16, 2022
  
  3aea8d57
- [CI] install first system package · c716469f
  François Bobot authored Jun 16, 2022
  
  c716469f
- Remove dependency on ppx_deriving_qcheck · 230403a9
  François Bobot authored Jun 15, 2022
```
  Since it is deprecated but the new version is not available
```
  230403a9
15 Jun, 2022 1 commit
- Remove dolmen and flint submodule since they are released · 0610c595
  François Bobot authored Jun 14, 2022
  
  0610c595
02 Jun, 2022 2 commits
- Some tests with colibri_sqrt · 3ea01cf0
  François Bobot authored Jun 02, 2022
  
  3ea01cf0
- [Farith] Use external farith version · 3afadb31
  François Bobot authored Jun 02, 2022
  
  3afadb31
27 May, 2022 3 commits
- Remove farith · b0a4ae74
  François Bobot authored May 27, 2022
  
  b0a4ae74
- Merge remote-tracking branch 'origin/master' into bobot/abs · caea6d81
  François Bobot authored May 27, 2022
  
  caea6d81
- Add tests for farith2 · b9c5a9b8
  François Bobot authored May 27, 2022
  
  b9c5a9b8
22 May, 2022 1 commit
- Pin packages not needed anymore · 2f8a2b70
  François Bobot authored May 22, 2022
  
  2f8a2b70
08 Apr, 2022 2 commits
- remove pin in CI · 1f6628e5
  François Bobot authored Apr 08, 2022
  
  1f6628e5
- Use master version of the dependencies · 29a34110
  François Bobot authored Apr 08, 2022
  
  29a34110
01 Apr, 2022 2 commits
- Fix Readme · a75328a2
  François Bobot authored Apr 01, 2022
  
  a75328a2
- Fix modulo · 413796a9
  François Bobot authored Apr 01, 2022
  
  413796a9
17 Mar, 2022 1 commit
- [CI] Pin dune dependencies · 3737b7bc
  François Bobot authored Mar 17, 2022
  
  3737b7bc