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
Add a minimizing solver for smaller counter-examples
!176
· created
Jan 10, 2022
by
Viktor Kuncak
scala-2.13
updated
Jul 03, 2023
Upgrade ScalaZ3 to 4.8.14
!175
· created
Jan 07, 2022
by
Viktor Kuncak
master
Merged
updated
Jan 10, 2022
Add me to the trusted list
!174
· created
Dec 13, 2021
by
Viktor Kuncak
master
Merged
updated
Dec 13, 2021
Bump SBT version (Scala 3 branch)
!173
· created
Dec 10, 2021
by
Viktor Kuncak
scala-3.x
Merged
updated
Dec 10, 2021
Bump SBT version
!172
· created
Dec 10, 2021
by
Viktor Kuncak
master
Merged
updated
Dec 10, 2021
Add support for model minimization and maximization
!171
· created
Nov 28, 2021
by
Viktor Kuncak
master
Merged
updated
Jan 07, 2022
Adding BitVectors literals arithmetic simplification
!170
· created
Nov 18, 2021
by
Viktor Kuncak
scala-3.x
Merged
updated
Dec 02, 2021
Migrate to Scala 3
!168
· created
Oct 14, 2021
by
Viktor Kuncak
scala-3.x
Merged
updated
Nov 09, 2021
Migrate to Scala 2.13
!166
· created
Sep 22, 2021
by
Viktor Kuncak
master
Merged
updated
Sep 23, 2021
Add mario-bucev to trusted users
!165
· created
Sep 13, 2021
by
Viktor Kuncak
master
Merged
updated
Sep 13, 2021
Migrate to Scala 2.13
!164
· created
Sep 13, 2021
by
Viktor Kuncak
scala-2.13
Merged
updated
Sep 16, 2021
Add debug option to dump blocker graph
!163
· created
Sep 03, 2021
by
Viktor Kuncak
scala-2.13
updated
Nov 02, 2022
Relax SetAdd typing rule analogously to ElementOfSet
!162
· created
Sep 01, 2021
by
Viktor Kuncak
master
Merged
updated
Sep 02, 2021
Move interrupted check lower in NonIncrementalSolver to avoid race conditions
!161
· created
Aug 26, 2021
by
Viktor Kuncak
master
Merged
updated
Sep 14, 2021
Fix RecursiveEvaluator not erasing types (Stainless #1135)
!160
· created
Aug 24, 2021
by
Viktor Kuncak
scala-2.13
updated
Nov 02, 2022
Add string parsing alternative for Z3 4.8.12 + Respect timeouts/interrupts in non-incremental solver
!159
· created
Aug 05, 2021
by
Viktor Kuncak
master
Merged
updated
Aug 26, 2021
When shifting right, only add ones for signed bitvectors
!158
· created
Jun 22, 2021
by
Viktor Kuncak
master
Merged
updated
Jun 28, 2021
Fix crash when mapping BitSet to negative values
!157
· created
Jun 22, 2021
by
Viktor Kuncak
master
Merged
updated
Jun 22, 2021
Add @yannbolliger to trusted users
!156
· created
May 19, 2021
by
Viktor Kuncak
master
Merged
updated
May 19, 2021
Merge rust interop features
!155
· created
May 18, 2021
by
Viktor Kuncak
master
Merged
updated
May 19, 2021
Prev
1
2
3
4
5
6
…
8
Next