Branches · Why3 / why3 · GitLab

Active branches

master default protected

1cc647a3 · Merge branch 'improve-doc' into 'master' · May 11, 2022

Download source code

zip tar.gz tar.bz2 tar
constant-cfg

5370af94 · Add constant cfg bodies · May 11, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
odoc

5036788c · Tentatively add support for Odoc. · May 06, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
edrivers

bd1ba568 · Move extraction drivers to their own directory. · May 06, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
bugfix/v1.5 protected

d4575e0a · Correctly detect whether menhirLib is shipped as a single file or as an archive. · May 05, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar

Show more active branches

Stale branches

intmap

3946161d · [Util] Change the interface for the Map built by stdlib, in order to compare extmap and intmap · Nov 12, 2013

Compare

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

Compare

Download source code

zip tar.gz tar.bz2 tar
update_conds

4fd14263 · [split] better interface · Apr 03, 2014

Compare

Download source code

zip tar.gz tar.bz2 tar
experiments

9ab68e95 · Transformation eliminate_algebraic: New version now take polarity into account. · Apr 03, 2014

Compare

Download source code

zip tar.gz tar.bz2 tar
polymorphism_smt

d49d1417 · [Smtv2] add support for polymorphism in smtv2 · May 19, 2015

Compare

Download source code

zip tar.gz tar.bz2 tar

Show more stale branches