Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
38
Merged
959
Closed
74
All
1,071
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Priority
adapt microc and python plugin to Ptree constructors (3d86e1c5f)
!209
· created
Jul 26, 2019
by
Rehan MALAK
Merged
0
updated
Jul 26, 2019
Distinguish between "foo (): type" and "foo (): (_:type)" (fixes #360).
!208
· created
Jul 16, 2019
by
Guillaume Melquiond
component: syntax
Merged
0
updated
Jul 16, 2019
Make sure that term comparison takes locations into account (fixes #366).
!207
· created
Jul 12, 2019
by
Guillaume Melquiond
component: transformations
Merged
2
updated
Jul 16, 2019
Clean trywhy3 a bit
!206
· created
Jul 10, 2019
by
Guillaume Melquiond
component: trywhy3
Merged
0
updated
Jul 11, 2019
Avoid forcing --detect when an error occur in why3config
!205
· created
Jul 08, 2019
by
DAILLER Sylvain
component: tools
Merged
0
updated
Jul 08, 2019
ide: Scroll to module/theory when clicking them on the prooftree
!204
· created
Jul 05, 2019
by
DAILLER Sylvain
component: graphical user interface
feature wish
Merged
0
updated
Jul 05, 2019
ide: restore ide command list-strategies fix #361
!203
· created
Jul 04, 2019
by
DAILLER Sylvain
component: graphical user interface
component: session server
Merged
0
updated
Jul 04, 2019
Add safe_peek and safe_pop in all pqueue modules
!202
· created
Jul 03, 2019
by
LA
Merged
0
updated
Jul 03, 2019
git ignore menhir conflicts files
!200
· created
Jun 27, 2019
by
Rehan MALAK
Merged
0
updated
Jun 27, 2019
extends Ptree/Typing API to the entire mlw file
!199
· created
Jun 27, 2019
by
Rehan MALAK
Merged
3
updated
Jul 26, 2019
Unused variables message
!198
· created
Jun 27, 2019
by
DAILLER Sylvain
Merged
7
updated
Aug 20, 2019
Resolve "Adapt bench-ce to Z3 4.8.4"
!197
· created
Jun 26, 2019
by
DAILLER Sylvain
component: counterexample
Merged
0
updated
Jun 27, 2019
Add format boxes for counterexamples display (also update bench-ce)
!196
· created
Jun 25, 2019
by
DAILLER Sylvain
Merged
0
updated
Jun 26, 2019
ce display/bench: fix interleaving with source in bench/ce/ref.mlw
!194
· created
Jun 25, 2019
by
DAILLER Sylvain
Merged
0
updated
Jun 25, 2019
ce collection: simplifications in parsing of counterexamples
!193
· created
Jun 25, 2019
by
DAILLER Sylvain
Merged
0
updated
Jun 25, 2019
ce: new notation for old counterexamples in why3ide
!192
· created
Jun 25, 2019
by
DAILLER Sylvain
Merged
0
updated
Jun 25, 2019
Resolve "Isabelle printer: bad printing of floating-point literals"
!191
· created
Jun 25, 2019
by
MARCHE Claude
1.3.0
Merged
0
updated
Jun 28, 2019
Remove kmp from continuous integration
!190
· created
Jun 24, 2019
by
DAILLER Sylvain
Merged
3
updated
Jun 24, 2019
Resolve "Parsing of bitvectors constant in counterexamplese"
!189
· created
Jun 24, 2019
by
DAILLER Sylvain
component: counterexample
Merged
0
updated
Jun 24, 2019
Resolve "why3extract library obsolete"
!188
· created
Jun 21, 2019
by
MARCHE Claude
1.3.0
Hackathon
Merged
4
updated
Jun 21, 2019
Prev
1
…
36
37
38
39
40
41
42
43
44
…
48
Next