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}}
Updated date
Alpha eq correc
lisa!109
· created
Dec 08, 2022
by
Viktor Kuncak
Merged
0
updated
Dec 08, 2022
Issue with top and bot constants in EqChecker
lisa!108
· created
Dec 07, 2022
by
Viktor Kuncak
Merged
0
updated
Dec 07, 2022
Equivalence checker
lisa!107
· created
Dec 06, 2022
by
Viktor Kuncak
Merged
0
updated
Dec 06, 2022
When removing a formula from a sequent, remove all isSame formulas
lisa!30
· created
Jul 18, 2022
by
Viktor Kuncak
Closed
0
updated
Dec 06, 2022
Quickfix
lisa!83
· created
Oct 24, 2022
by
Viktor Kuncak
Merged
0
updated
Dec 02, 2022
Substitutions
lisa!84
· created
Oct 26, 2022
by
Viktor Kuncak
Merged
0
updated
Dec 02, 2022
Improvements
lisa!91
· created
Nov 01, 2022
by
Viktor Kuncak
Merged
0
updated
Dec 02, 2022
Front integration
lisa!54
· created
Oct 04, 2022
by
Viktor Kuncak
front-integration
Merged
0
updated
Dec 02, 2022
Front integration
lisa!53
· created
Oct 03, 2022
by
Viktor Kuncak
front-integration
Merged
0
updated
Dec 02, 2022
Errors
lisa!99
· created
Nov 18, 2022
by
Viktor Kuncak
Merged
0
updated
Dec 02, 2022
Abstraction
lisa!104
· created
Nov 29, 2022
by
Viktor Kuncak
Merged
0
updated
Dec 02, 2022
Improve kernel parser exceptions
lisa!103
· created
Nov 26, 2022
by
Viktor Kuncak
Merged
0
updated
Nov 27, 2022
Support infix functions and predicates with user-defined priorities
lisa!102
· created
Nov 23, 2022
by
Viktor Kuncak
Merged
0
updated
Nov 23, 2022
Document and simplify synonyms support in parser
lisa!90
· created
Oct 31, 2022
by
Viktor Kuncak
Closed
0
updated
Nov 23, 2022
Support parsing infix functions AND infix predicates
lisa!92
· created
Nov 01, 2022
by
Viktor Kuncak
Closed
0
updated
Nov 23, 2022
Update the parser documentation
lisa!96
· created
Nov 04, 2022
by
Viktor Kuncak
Closed
0
updated
Nov 23, 2022
Fix options parser for empty sequences
inox!191
· created
Nov 09, 2022
by
Viktor Kuncak
Merged
0
updated
Nov 21, 2022
Support parsing and printing schematic connectors
lisa!97
· created
Nov 04, 2022
by
Viktor Kuncak
Merged
0
updated
Nov 16, 2022
Upgrade ScalaZ3
inox!190
· created
Nov 04, 2022
by
Viktor Kuncak
Merged
0
updated
Nov 08, 2022
Fix 'unknown constant k0!xyz' arising in some cases when using smt-z3 (for Scala 2.13 version)
inox!179
· created
Mar 08, 2022
by
Viktor Kuncak
scala-2.13
Merged
0
updated
Nov 08, 2022
Prev
1
2
3
4
5
6
7
8
9
…
15
Next