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}}
Merged date
General grammatical updates for reference manual
lisa!43
· created
Sep 02, 2022
by
Sankalp Gambhir
Merged
0
updated
Sep 29, 2022
New tactic system
lisa!73
· created
Oct 21, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 24, 2022
Extend Reporter to report internal exceptions
inox!54
· created
Dec 13, 2017
by
Viktor Kuncak
master
Merged
0
updated
Dec 20, 2017
Flatten addition and multiplication
inox!186
· created
Oct 25, 2022
by
Viktor Kuncak
scala-3.x
Merged
0
updated
Oct 28, 2022
Relax SetAdd typing rule analogously to ElementOfSet
inox!162
· created
Sep 01, 2021
by
Viktor Kuncak
master
Merged
0
updated
Sep 02, 2021
Quickfix
lisa!83
· created
Oct 24, 2022
by
Viktor Kuncak
Merged
0
updated
Dec 02, 2022
Proof of x+y=y+x in Peano arithmetic
lisa!42
· created
Sep 02, 2022
by
Viktor Kuncak
Merged
0
updated
Sep 25, 2022
Change the string representation of ∈ to 'elem', of ordered pair to 'pair'
lisa!57
· created
Oct 05, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 05, 2022
Fix bug in isConstructor check in SimplifierWithPC
inox!60
· created
Mar 16, 2018
by
Viktor Kuncak
master
Merged
0
updated
Mar 19, 2018
Introduce True and False constants
lisa!50
· created
Oct 03, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 03, 2022
Make simplestValue top-level for overrides + hasInstance fix on ADTType
inox!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)
inox!137
· created
Apr 21, 2021
by
Viktor Kuncak
master
Merged
0
updated
Apr 28, 2021
Easy tactics
lisa!62
· created
Oct 05, 2022
by
Viktor Kuncak
easy-tactics
Merged
0
updated
Oct 05, 2022
Advise using jitpack.io resolver to depend on Inox
inox!133
· created
Apr 14, 2021
by
Viktor Kuncak
master
Merged
0
updated
Apr 15, 2021
Add mario-bucev to trusted users
inox!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
inox!159
· created
Aug 05, 2021
by
Viktor Kuncak
master
Merged
0
updated
Aug 26, 2021
When shifting right, only add ones for signed bitvectors
inox!158
· created
Jun 22, 2021
by
Viktor Kuncak
master
Merged
0
updated
Jun 28, 2021
Proposal: re-organization into separate modules
lisa!20
· created
Jun 13, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 23, 2022
Front integration
lisa!53
· created
Oct 03, 2022
by
Viktor Kuncak
front-integration
Merged
0
updated
Dec 02, 2022
Allow Insecure Protocol to prevent warnings during build and upgrade to Scala 2.12.13 / sbt 1.3.0
inox!128
· created
Feb 18, 2021
by
Viktor Kuncak
master
Merged
0
updated
Feb 23, 2021
Prev
1
2
3
4
5
6
…
15
Next