Branches · Why3 / why3 · GitLab

Active branches

feature/colibri2_new_builtins

030c6975 · [Colibri2] adds mapping for abs div mod cdiv cmod builtins · Jan 26, 2023
Compare
Download source code

zip tar.gz tar.bz2 tar
Download artifacts

Previous Artifacts

build-latest

doc
numeric_tactic

ab7a02a0 · Changed generated formulas to be easier for provers · Jan 26, 2023
Compare
Download source code

zip tar.gz tar.bz2 tar
Download artifacts

Previous Artifacts

build-latest

doc
master default protected

a1004655 · Merge branch 'clone-defined-logical-symbols' into 'master' · Jan 26, 2023
Download source code

zip tar.gz tar.bz2 tar
Download artifacts

Previous Artifacts

build-latest

doc

pages
interpret-smt-types

cbefd1ec · Update oracle · Jan 25, 2023

Compare

Download source code

zip tar.gz tar.bz2 tar
whyml2java

68eedd48 · Merge branch 'master' into whyml2java · Jan 25, 2023

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