Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Benedikt Becker
why3
Repository
Branches
Overview
Active
Stale
All
master
default
protected
6e1fe134
·
Driver_lexer: better follow the lexing rules
·
Jul 18, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new_ide
8f5782a9
·
R531-011 minor refactoring
·
Jul 17, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bugfix/v1.0
230c01c5
·
Include default editor when saving preferences (fix issue #162).
·
Jul 17, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
toom32
81dc4e49
·
Toom32 multiplication (WIP)
·
Jul 13, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
computer_division_for_master
bc92b312
·
[Policy] An updated prover is removed if the target already has a proof_attempt
·
Jul 07, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
flocq-3.1
ef513a9c
·
Convert to Flocq 3.1.
·
Jun 29, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
114_abstract_name
bf6a4688
·
[WIP] suggestion for #114. Also: incomplete patch (do not merge)
·
Jun 29, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
138_API
36d4e9bd
·
Fix cloning of range type in theory #138
·
Jun 29, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
extract-headers
eda39680
·
Clean up archive
·
Jun 22, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
clean_detached_theory
24894529
·
[WIP] clean detached theories
·
Jun 18, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
add_option_no_stdlib
197ddfdb
·
[Conf] Generate on the fly at startup the builtin provers
·
Jun 15, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ghost_witness
cde6de30
·
[Stdlib] add a general ghost witness
·
Jun 14, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
next
a75123f6
·
Merge branch 'bugfix/v0.88' into next
·
Jun 13, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bugfix/v0.88
34c24364
·
Make sure containers are removed on build failures.
·
Jun 13, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
incremental
eaba8837
·
New setting for counterexample generation
·
May 04, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
computer_division
cc97d834
·
[Term] Document ~constr in create_fsymbol
·
Apr 04, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci-tests
905696b6
·
typo
·
Mar 27, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ce_as_prover_alternative
fdfc2c79
·
counterexample generation as a prover alternative
·
Mar 23, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
array_initializer
ba065236
·
Draft work: Adding transformation to simplify array init
·
Mar 14, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
merge_claude
3c74cf53
·
fix syntax
·
Feb 16, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next