Matteo Manighetti 445595866e Merge remote-tracking branch 'why3-inria/move_concrete_terms_out_of_parser' into why3-devel

2025-03-25 17:48:51 +01:00

..

gcd_BinaryGcd_gcd_even_odd_2.v

examples using vc:sp

2017-10-13 15:48:51 +02:00

index.html

port example gcd. previous code was WRONG !!!

2017-06-09 16:52:20 +02:00

jsmain.ml

Use Option from standard library

2024-01-22 16:43:44 +01:00

main.ml

Remove all usages of obsolete library why3extract.cma

2019-06-21 20:47:38 +02:00

Makefile

Switch to zarith (fix #298).

2024-11-08 22:05:42 +01:00

why3session.xml

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

why3shapes.gz

Add metas for unused dependencies in generated axioms

2024-10-25 18:34:29 +02:00