Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Iris
RefinedC
Merge requests
Open
4
Merged
144
Closed
18
All
166
Actions
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}}
Created date
Make more functions simpl never
!25
· created
Feb 08, 2021
by
Michael Sammler
Merged
0
updated
Feb 08, 2021
small steps towards improving subsume_list
!24
· created
Feb 04, 2021
by
Michael Sammler
Merged
0
updated
Feb 04, 2021
Unfold more definitions in the side condition solver.
!23
· created
Feb 02, 2021
by
Rodolphe Lepigre
Merged
Approved
0
updated
Feb 03, 2021
Strengthen the [LocInBounds] infrastructure.
!22
· created
Feb 01, 2021
by
Rodolphe Lepigre
Merged
Approved
11
updated
Feb 02, 2021
Infrastructure for [SimpleSubsumeVal].
!21
· created
Jan 29, 2021
by
Rodolphe Lepigre
Merged
Approved
0
updated
Feb 01, 2021
Fix inversion of signedness for [uintptr_t] and [intptr_t].
!20
· created
Jan 28, 2021
by
Rodolphe Lepigre
Merged
0
updated
Jan 28, 2021
Performance improvements?
!19
· created
Jan 27, 2021
by
Michael Sammler
Merged
0
updated
Jan 27, 2021
Make caesium an ectxi language
!18
· created
Jan 26, 2021
by
Michael Sammler
Merged
0
updated
Jan 26, 2021
Sugar in the front end + Coq pretty printing
!16
· created
Jan 13, 2021
by
Rodolphe Lepigre
Merged
Approved
17
updated
Jan 15, 2021
Unfold instantiated evars on each liRStep.
!15
· created
Jan 12, 2021
by
Rodolphe Lepigre
Merged
1
updated
Jan 12, 2021
Encode the constrained type into own_constrained.
!14
· created
Dec 18, 2020
by
Rodolphe Lepigre
Merged
3
updated
Jan 14, 2021
Add infrastructure to destruct products in function parameters.
!13
· created
Dec 15, 2020
by
Rodolphe Lepigre
Merged
Approved
0
updated
Dec 17, 2020
Add annotation syntax for [global_with_type] constraints.
!12
· created
Dec 11, 2020
by
Rodolphe Lepigre
Merged
0
updated
Dec 14, 2020
Ensure variable names do not clash with Coq keywords.
!11
· created
Dec 10, 2020
by
Rodolphe Lepigre
Merged
0
updated
Dec 11, 2020
Adding rules for intptr casts.
!10
· created
Dec 07, 2020
by
Rodolphe Lepigre
Merged
3
updated
Dec 09, 2020
Upgrade README demo: it_max -> max_int.
!9
· created
Dec 04, 2020
by
Fengmin Zhu
Merged
1
updated
Dec 04, 2020
Intptr
!8
· created
Dec 04, 2020
by
Michael Sammler
Merged
0
updated
Dec 04, 2020
Add support for macros
!7
· created
Dec 02, 2020
by
Michael Sammler
Merged
6
updated
Dec 07, 2020
Use separate inductives for allocation (refactoring).
!6
· created
Dec 02, 2020
by
Rodolphe Lepigre
Merged
11
updated
Dec 02, 2020
Add a good failure state for allocation failure
6 of 6 checklist items completed
!5
· created
Nov 26, 2020
by
Rodolphe Lepigre
Merged
Approved
0
updated
Nov 27, 2020
Prev
1
…
3
4
5
6
7
8
Next