Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Benedikt Becker
why3
Repository
Branches
Overview
Active
Stale
All
next
a75123f6
·
Merge branch 'bugfix/v0.88' into next
·
Jun 13, 2018
ghost_witness
cde6de30
·
[Stdlib] add a general ghost witness
·
Jun 14, 2018
add_option_no_stdlib
197ddfdb
·
[Conf] Generate on the fly at startup the builtin provers
·
Jun 15, 2018
clean_detached_theory
24894529
·
[WIP] clean detached theories
·
Jun 18, 2018
extract-headers
eda39680
·
Clean up archive
·
Jun 22, 2018
138_API
36d4e9bd
·
Fix cloning of range type in theory #138
·
Jun 29, 2018
114_abstract_name
bf6a4688
·
[WIP] suggestion for #114. Also: incomplete patch (do not merge)
·
Jun 29, 2018
flocq-3.1
ef513a9c
·
Convert to Flocq 3.1.
·
Jun 29, 2018
computer_division_for_master
bc92b312
·
[Policy] An updated prover is removed if the target already has a proof_attempt
·
Jul 07, 2018
toom32
81dc4e49
·
Toom32 multiplication (WIP)
·
Jul 13, 2018
bugfix/v1.0
230c01c5
·
Include default editor when saving preferences (fix issue #162).
·
Jul 17, 2018
new_ide
8f5782a9
·
R531-011 minor refactoring
·
Jul 17, 2018
master
default
protected
6e1fe134
·
Driver_lexer: better follow the lexing rules
·
Jul 18, 2018
Prev
1
2
3
Next