issues
search
cvc5
/
LFSC
LFSC Proof Checker
Other
11
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Include for cint
#89
ajreynol
closed
1 year ago
0
Adding path to flex for macOS
#88
yoni206
closed
1 year ago
0
Error: The type expected for an application does not match the computed type
#87
rodrigo7491
opened
1 year ago
0
Fix failing case for function
#86
ajreynol
closed
1 year ago
0
Add support for functions (programs with caching)
#85
ajreynol
closed
1 year ago
1
Apply weak head reduction eagerly to definitions
#84
ajreynol
closed
2 years ago
0
Destructive update for weak head reduction
#83
ajreynol
closed
2 years ago
1
Support older versions of CMake
#82
4tXJ7f
closed
2 years ago
0
Exponential blowup in skolem_intro
#81
BrunoDutertre
closed
2 years ago
9
Change expected output
#80
ajreynol
closed
2 years ago
0
Time measurement goes negative
#79
BrunoDutertre
closed
2 years ago
2
Add failing test from previous PR
#78
ajreynol
closed
2 years ago
0
Fix case where default is applied
#77
ajreynol
closed
2 years ago
0
Unbind in reverse order
#76
alex-ozdemir
closed
2 years ago
0
Change semantics of mpz division to floor
#75
ajreynol
closed
2 years ago
0
Add test for issue #35
#74
ajreynol
closed
2 years ago
0
Remove compare primitive
#73
ajreynol
opened
2 years ago
3
Guard when markvar or ifmarked are applied to a non-variable
#72
ajreynol
closed
2 years ago
1
Segfault related to markvar and ifmarked
#71
BrunoDutertre
closed
2 years ago
0
Non-deterministic compare
#70
BrunoDutertre
opened
2 years ago
2
Integer division implemented as GMP cdiv
#69
BrunoDutertre
closed
2 years ago
1
Match with duplicate variables
#68
BrunoDutertre
opened
2 years ago
1
Unbinding should be done in reverse order of binding
#67
BrunoDutertre
closed
2 years ago
4
Bug in the code parser for match expression
#66
BrunoDutertre
closed
2 years ago
0
Add missing include to avoid compile error
#65
ajreynol
closed
2 years ago
0
Fix two memory leaks
#64
ajreynol
closed
2 years ago
0
Do type checking for run statements
#63
ajreynol
closed
2 years ago
0
Remove print smt2 utility
#62
ajreynol
closed
2 years ago
0
Remove lib writer
#61
ajreynol
closed
2 years ago
0
mpz/mpq mismatch
#60
BrunoDutertre
closed
2 years ago
0
Seg fault on a simple example
#59
BrunoDutertre
closed
2 years ago
1
Do not decrement ref count for maxed out expressions
#58
ajreynol
closed
2 years ago
0
Reference counting bug
#57
BrunoDutertre
closed
2 years ago
5
Evaluate code apps without weak-head-reduction
#56
alex-ozdemir
closed
3 years ago
0
Macros in code expressions.
#55
alex-ozdemir
closed
3 years ago
0
LFSC Syntax Extensions
#54
alex-ozdemir
closed
3 years ago
2
Adjustments to new LFSC grammar.
#53
alex-ozdemir
opened
3 years ago
0
Fix macOS build
#52
alex-ozdemir
closed
4 years ago
0
Configure CI to do macOS too
#51
alex-ozdemir
closed
4 years ago
0
Add build support for macOS
#50
XZ-X
closed
4 years ago
2
Stricter FLEX checking & note about CMake
#49
alex-ozdemir
closed
4 years ago
0
Set hard stack size to max, rather than to INF.
#48
alex-ozdemir
closed
4 years ago
1
Error building LFSC
#47
blishko
closed
4 years ago
4
Error on top-level rebind. Tests for errors.
#46
alex-ozdemir
closed
4 years ago
2
Add some skolem-themed tests of macro handling.
#45
alex-ozdemir
closed
4 years ago
0
Apply weak-head-reduction in match.
#44
alex-ozdemir
closed
4 years ago
3
Define operator<< for Expr's
#43
alex-ozdemir
closed
4 years ago
0
Functions for checking for unbound variables.
#42
alex-ozdemir
opened
4 years ago
0
Use LAM values rather than PI values for #-form
#41
alex-ozdemir
closed
4 years ago
1
Lexer
#40
alex-ozdemir
closed
4 years ago
4
Next