Skip to content
GitLab
Explore
Sign in
LARA
Merge requests
Open
8
Merged
226
Closed
53
All
287
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}}
Created date
Add alternative solution for orderDec
cs206-demos!3
· created
May 31, 2023
by
Matt Bovel
0
updated
May 31, 2023
Update convolution solution
cs206-demos!2
· created
May 27, 2023
by
Sankalp Gambhir
0
updated
May 27, 2023
Adding a case for type instantiation
inox!184
· created
Sep 26, 2022
by
Viktor Kuncak
0
updated
Jul 03, 2023
Add a minimizing solver for smaller counter-examples
inox!176
· created
Jan 10, 2022
by
Viktor Kuncak
scala-2.13
0
updated
Jul 03, 2023
Add debug option to dump blocker graph
inox!163
· created
Sep 03, 2021
by
Viktor Kuncak
scala-2.13
0
updated
Nov 02, 2022
Fix RecursiveEvaluator not erasing types (Stainless #1135)
inox!160
· created
Aug 24, 2021
by
Viktor Kuncak
scala-2.13
0
updated
Nov 02, 2022
Add an option to copy positions from old tree when doing substitutions
inox!107
· created
Sep 02, 2019
by
Viktor Kuncak
scala-2.13
0
updated
Jul 03, 2023
Complete rewrite of the parser
inox!84
· created
Oct 29, 2018
by
Viktor Kuncak
scala-2.13
0
updated
Nov 02, 2022