Skip to content
GitLab
Explore
Sign in
LARA
inox
Merge requests
Open
6
Merged
113
Closed
25
All
144
Actions
Subscribe to RSS feed
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}}
Merged date
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
0
updated
Mar 07, 2022
Attempt fix for #109 (@samarion)
!138
· created
Apr 21, 2021
by
Viktor Kuncak
master
Merged
0
updated
Apr 22, 2021
Make PurityOptions a case class, fix warnings, disable scaladoc gen
!181
· created
May 17, 2022
by
Viktor Kuncak
scala-3.x
Merged
0
updated
Jun 10, 2022
Add support for smt-z3 with custom executable name
!136
· created
Apr 20, 2021
by
Viktor Kuncak
master
Merged
0
updated
Apr 21, 2021
Update Timer API with runAndGetTime
!49
· created
Nov 16, 2017
by
Viktor Kuncak
master
Merged
0
updated
Dec 08, 2017
Fix inlinePosts
!126
· created
Feb 10, 2021
by
Viktor Kuncak
master
Merged
0
updated
Feb 18, 2021
Bump SBT version
!172
· created
Dec 10, 2021
by
Viktor Kuncak
master
Merged
0
updated
Dec 10, 2021
BVTypeExtractor should not be sealed
!85
· created
Nov 12, 2018
by
Viktor Kuncak
master
Merged
0
updated
Mar 01, 2019
No view
!129
· created
Feb 22, 2021
by
Viktor Kuncak
master
Merged
0
updated
Feb 23, 2021
Change set and bag types encoding to account for emptiness (thanks @samarion)
!125
· created
Feb 10, 2021
by
Viktor Kuncak
master
Merged
0
updated
Feb 12, 2021
Extend Reporter to report internal exceptions
!54
· created
Dec 13, 2017
by
Viktor Kuncak
master
Merged
0
updated
Dec 20, 2017
Flatten addition and multiplication
!186
· created
Oct 25, 2022
by
Viktor Kuncak
scala-3.x
Merged
0
updated
Oct 28, 2022
Relax SetAdd typing rule analogously to ElementOfSet
!162
· created
Sep 01, 2021
by
Viktor Kuncak
master
Merged
0
updated
Sep 02, 2021
Fix bug in isConstructor check in SimplifierWithPC
!60
· created
Mar 16, 2018
by
Viktor Kuncak
master
Merged
0
updated
Mar 19, 2018
Make simplestValue top-level for overrides + hasInstance fix on ADTType
!151
· created
May 11, 2021
by
Viktor Kuncak
master
Merged
0
updated
May 12, 2021
Point to scala-smtlib from epfl-lara (support for z3 4.8.10)
!137
· created
Apr 21, 2021
by
Viktor Kuncak
master
Merged
0
updated
Apr 28, 2021
Advise using jitpack.io resolver to depend on Inox
!133
· created
Apr 14, 2021
by
Viktor Kuncak
master
Merged
0
updated
Apr 15, 2021
Add mario-bucev to trusted users
!165
· created
Sep 13, 2021
by
Viktor Kuncak
master
Merged
0
updated
Sep 13, 2021
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
0
updated
Aug 26, 2021
When shifting right, only add ones for signed bitvectors
!158
· created
Jun 22, 2021
by
Viktor Kuncak
master
Merged
0
updated
Jun 28, 2021
Prev
1
2
3
4
5
…
8
Next