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}}
Updated date
Changes to Reporter
!199
· created
May 01, 2023
by
Viktor Kuncak
Merged
updated
Jun 16, 2023
Inline ADT and tuple selection for variables
!198
· created
Apr 20, 2023
by
Viktor Kuncak
Merged
updated
Jun 16, 2023
Do not print unicode characters by default
!196
· created
Mar 22, 2023
by
Viktor Kuncak
Merged
updated
Mar 24, 2023
Expand the evaluator API to allow ignoring contracts locally
!197
· created
Mar 22, 2023
by
Viktor Kuncak
Merged
updated
Mar 24, 2023
Aggregate timing results
!195
· created
Feb 28, 2023
by
Viktor Kuncak
Merged
updated
Mar 01, 2023
Update Princess dependency
!194
· created
Jan 20, 2023
by
Viktor Kuncak
Merged
updated
Jan 20, 2023
Small changes to `normalizeStructure` and `SimplifierWithPC#isPureFunction`
!192
· created
Dec 12, 2022
by
Viktor Kuncak
Merged
updated
Dec 14, 2022
Add signed bit-vectors arithmetic support for the Princess backend
!193
· created
Dec 13, 2022
by
Viktor Kuncak
Merged
updated
Dec 14, 2022
Fix options parser for empty sequences
!191
· created
Nov 09, 2022
by
Viktor Kuncak
Merged
updated
Nov 21, 2022
Upgrade ScalaZ3
!190
· created
Nov 04, 2022
by
Viktor Kuncak
Merged
updated
Nov 08, 2022
Fix 'unknown constant k0!xyz' arising in some cases when using smt-z3 (for Scala 2.13 version)
!179
· created
Mar 08, 2022
by
Viktor Kuncak
scala-2.13
Merged
updated
Nov 08, 2022
Fix .larabot.conf
!188
· created
Nov 01, 2022
by
Viktor Kuncak
scala-3.x
Merged
updated
Nov 01, 2022
Upgrade to Scala 3.2
!187
· created
Oct 31, 2022
by
Viktor Kuncak
scala-3.x
Merged
updated
Nov 01, 2022
Check for interruption when extracting a total model
!185
· created
Oct 25, 2022
by
Viktor Kuncak
scala-3.x
Merged
updated
Oct 28, 2022
Flatten addition and multiplication
!186
· created
Oct 25, 2022
by
Viktor Kuncak
scala-3.x
Merged
updated
Oct 28, 2022
Make PurityOptions a case class, fix warnings, disable scaladoc gen
!181
· created
May 17, 2022
by
Viktor Kuncak
scala-3.x
Merged
updated
Jun 10, 2022
Fix 'unknown constant k0!xyz' arising in some cases when using smt-z3
!178
· created
Mar 07, 2022
by
Viktor Kuncak
scala-3.x
Merged
updated
Mar 07, 2022
Update the `scala 3.x` branch
!177
· created
Jan 14, 2022
by
Viktor Kuncak
scala-3.x
Merged
updated
Jan 16, 2022
Upgrade ScalaZ3 to 4.8.14
!175
· created
Jan 07, 2022
by
Viktor Kuncak
master
Merged
updated
Jan 10, 2022
Add support for model minimization and maximization
!171
· created
Nov 28, 2021
by
Viktor Kuncak
master
Merged
updated
Jan 07, 2022
Prev
1
2
3
4
5
6
Next