Select Git revision
- Branches 20
- weekly_full_bench
- master default protected
- coma_brass
- lident_doc
- 894-extraction-broken-when-cloning-a-module-with-interface
- test
- 905-alt-ergo-driver-creates-inconsistencies-for-floating-points
- 910-distinct-theories-with-the-same-ident
- bugfix/v1.8 protected
- feature/update-colibri2-drv
- strange-high-failure-with-alt-ergo-2-6-0
- 908-colibri-driver-with-most-recent-colibri
- js-nat-to-zarith
- resurrect_bddinfer
- coma-dev
- stable protected
- support_for_bv_overflow_checks
- extensional-new
- extensional-old
- fix_isabelle_real
- Tags 20
- 1.8.0
- 1.7.2
- 1.7.1
- 1.7.0
- 1.6.0
- 1.5.1
- 1.5.0
- 1.4.1
- 1.4.0
- 1.3.3
- 1.3.2
- 1.3.1
- 1.3.0
- 1.2.1
- 1.2.0
- 1.1.1
- 1.1.0
- 1.0.0
- 0.88.3
- 0.88.2
Compare
-
-
- Open in your IDE
- Download source code
Clément Fumex
authored
+ replace Dfloat with float_meta and machinery + some cleaning
f129041a
History
| Name | Last commit | Last update |
|---|---|---|