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
Use tuple caching logic in declareDatatypes
!154
· created
May 12, 2021
by
Viktor Kuncak
master
Merged
updated
May 12, 2021
Make simplestValue top-level for overrides + hasInstance fix on ADTType
!151
· created
May 11, 2021
by
Viktor Kuncak
master
Merged
updated
May 12, 2021
Avoid using checkAssumptions in non-incremental mode
!149
· created
May 09, 2021
by
Viktor Kuncak
master
Merged
updated
May 10, 2021
Implement @samarion's fix for mergeCalls code explosion
!147
· created
May 05, 2021
by
Viktor Kuncak
master
Merged
updated
May 07, 2021
Stop Z3 zombies and add support for str.++
!145
· created
May 01, 2021
by
Viktor Kuncak
master
Merged
updated
May 01, 2021
Add infoContinue method in Reporter to emit without line return
!143
· created
Apr 30, 2021
by
Viktor Kuncak
master
Closed
updated
Apr 30, 2021
Add let case in ChooseEncoder
!142
· created
Apr 29, 2021
by
Viktor Kuncak
master
Merged
updated
Apr 30, 2021
Add model extraction for #unspecified and seq.unit
!141
· created
Apr 28, 2021
by
Viktor Kuncak
master
Merged
updated
Apr 29, 2021
Add support for non-incremental mode
!140
· created
Apr 27, 2021
by
Viktor Kuncak
master
Merged
updated
Apr 28, 2021
Attempt fix for #109 (@samarion)
!138
· created
Apr 21, 2021
by
Viktor Kuncak
master
Merged
updated
Apr 22, 2021
Point to scala-smtlib from epfl-lara (support for z3 4.8.10)
!137
· created
Apr 21, 2021
by
Viktor Kuncak
master
Merged
updated
Apr 28, 2021
Add support for smt-z3 with custom executable name
!136
· created
Apr 20, 2021
by
Viktor Kuncak
master
Merged
updated
Apr 21, 2021
Implement @samarion's fix for issue 115 with lambda pointers
!135
· created
Apr 20, 2021
by
Viktor Kuncak
master
Merged
updated
Apr 20, 2021
Move smartPos function to use it in Stainless + Portfolio solver fix
!134
· created
Apr 16, 2021
by
Viktor Kuncak
master
Merged
updated
Apr 18, 2021
Advise using jitpack.io resolver to depend on Inox
!133
· created
Apr 14, 2021
by
Viktor Kuncak
master
Merged
updated
Apr 15, 2021
Minor fixes for CVC4 1.8
!132
· created
Apr 12, 2021
by
Viktor Kuncak
master
Merged
updated
Apr 15, 2021
Add option to remove colors and non-ascii characters, and to format errors for IDEs
!131
· created
Mar 31, 2021
by
Viktor Kuncak
master
Merged
updated
Apr 13, 2021
Add support for signed/unsigned conversions
!130
· created
Mar 30, 2021
by
Viktor Kuncak
master
Merged
updated
Apr 13, 2021
No view
!129
· created
Feb 22, 2021
by
Viktor Kuncak
master
Merged
updated
Feb 23, 2021
Allow Insecure Protocol to prevent warnings during build and upgrade to Scala 2.12.13 / sbt 1.3.0
!128
· created
Feb 18, 2021
by
Viktor Kuncak
master
Merged
updated
Feb 23, 2021
Prev
1
2
3
4
5
6
7
8
Next