Skip to content
GitLab
Explore
Sign in
Open
6
Merged
113
Closed
25
All
144
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Adding a case for type instantiation
!184
· created
Sep 26, 2022
by
Viktor Kuncak
updated
Jul 03, 2023
Add a minimizing solver for smaller counter-examples
!176
· created
Jan 10, 2022
by
Viktor Kuncak
scala-2.13
updated
Jul 03, 2023
Add debug option to dump blocker graph
!163
· created
Sep 03, 2021
by
Viktor Kuncak
scala-2.13
updated
Nov 02, 2022
Fix RecursiveEvaluator not erasing types (Stainless #1135)
!160
· created
Aug 24, 2021
by
Viktor Kuncak
scala-2.13
updated
Nov 02, 2022
Add an option to copy positions from old tree when doing substitutions
!107
· created
Sep 02, 2019
by
Viktor Kuncak
scala-2.13
updated
Jul 03, 2023
Complete rewrite of the parser
!84
· created
Oct 29, 2018
by
Viktor Kuncak
scala-2.13
updated
Nov 02, 2022