Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
c2cfa1c1
·
Merge branch 'fix_sessions' into 'master'
·
Apr 25, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
match_inductive
8488c642
·
match inductive: extract inductive hypotheses
·
Apr 24, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
847-evaluate-impact-of-simplify_intros-in-prepare_for_counterexmp
ca9b03e4
·
Try disabling transformation
·
Apr 23, 2024
!1059
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bugfix/v1.7
protected
d6e3f3cf
·
Remove spurious debug print
·
Apr 22, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
844-experiment-with-new-command-to-profile-axioms
551e75df
·
First experiments
·
Apr 22, 2024
!1056
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
intmap
3946161d
·
[Util] Change the interface for the Map built by stdlib, in order to compare extmap and intmap
·
Nov 12, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/why3realization
05ffd0c3
·
[Realization] remove the use of %( %) which seems buggy in 3.12.1
·
Jan 14, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
update_conds
4fd14263
·
[split] better interface
·
Apr 03, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
experiments
9ab68e95
·
Transformation eliminate_algebraic: New version now take polarity into account.
·
Apr 03, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
polymorphism_smt
d49d1417
·
[Smtv2] add support for polymorphism in smtv2
·
May 19, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar