Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Jean-Christophe Filliâtre
why3
Repository
Branches
Overview
Active
Stale
All
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
feature/ephemerons
838ea132
·
[WeakHtbl] Use upcoming ephemerons
·
Mar 06, 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
leon_new_system
8859255d
·
ity: eff_assign and eff_reset_overwritten
·
Jul 30, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bugfix/v0.86
7491b9ec
·
Update opam packages.
·
Feb 08, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
trywhy3
30b753a2
·
[trywhy3]: clean-up and reorganise the CSS.
·
Apr 23, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
coq-tactic
371f00eb
·
coq tactic: add a Why3 Translate vernac command (wip)
·
Jul 08, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
c_extraction
8d2caf8c
·
Merge existing work on C extraction
·
Sep 22, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
why3_literate
65810716
·
a small comment regarding the (future) extraction to OCaml
·
Dec 07, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
range_types
f129041a
·
+ correct metas handling in theory.ml
·
Jan 25, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
inferloop
8c976c54
·
[Abstract Interpretation] understands not (a = true) and not (a = false)
·
Jan 28, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
range_types_wrapping
1696763e
·
separate user-definable idents from the auto-generated idents
·
Feb 14, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new_ce_get_model
754b5d38
·
Bug on location.
·
Feb 27, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bugfix/v0.87
a2ff2a19
·
Fix release date.
·
Apr 13, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
parsing_errors
f9760f3c
·
proposal for a general format of error mesages
·
May 12, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
builtin_int
92533db4
·
a quick and dirty implementation of a builtin Int module
·
Jul 12, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
polymorphism_smt2
02a1149c
·
Don't use the overcomplicated smtv2-cvc-ce
·
Jul 25, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
Next