Branches · Why3 / why3 · GitLab

Mentions légales du service

Snippets Groups Projects

GitLab upgrade completed. Current version is 17.11.3.

Active branches

master default protected

1e14d162 · Merge branch 'avoid_assert_failure_on_session_merging' into 'master' · 11 hours ago
Download source code

zip
tar.gz
tar.bz2
tar

Download artifacts

full
build-latest
doc
pages
fix_alter_ergo_driver_no_ae_sqrt_real

bf10da38 · There is no symbol `ae.sqrt_real` parsed by Alt-Ergo 2.6 · 12 hours ago

2

1
!1232
Download source code

zip
tar.gz
tar.bz2
tar
Compare
new-dune

eb70d263 · Fix CI git failure · 19 hours ago

2

13
!1230
Download source code

zip
tar.gz
tar.bz2
tar

Download artifacts

full
build-latest
doc
Compare
compat-5.4-using-ppxlib

3b07721f · [Debug_option] Use default ppxlib ast for better compatibility · 1 day ago

4

2
!1228
Download source code

zip
tar.gz
tar.bz2
tar
Compare
bugfix/v1.8 protected

b9fe989f · Version 1.8.1 · 1 week ago

106

0
Download source code

zip
tar.gz
tar.bz2
tar
Compare

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 · 11 years ago

999+

3
Download source code

zip
tar.gz
tar.bz2
tar
Compare
feature/why3realization

05ffd0c3 · [Realization] remove the use of %( %) which seems buggy in 3.12.1 · 11 years ago

999+

2
Download source code

zip
tar.gz
tar.bz2
tar
Compare
update_conds

4fd14263 · [split] better interface · 11 years ago

999+

7
Download source code

zip
tar.gz
tar.bz2
tar
Compare
experiments

9ab68e95 · Transformation eliminate_algebraic: New version now take polarity into account. · 11 years ago

999+

14
Download source code

zip
tar.gz
tar.bz2
tar
Compare
polymorphism_smt

d49d1417 · [Smtv2] add support for polymorphism in smtv2 · 10 years ago

999+

2
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Show more stale branches