Issues
- 1
Add infrastructure for failing tests
#22 opened by 4tXJ7f - 0
Error: The type expected for an application does not match the computed type
#87 opened by rodrigo7491 - 1
Refactor parsing of identifiers
#23 opened by 4tXJ7f - 9
Exponential blowup in skolem_intro
#81 opened by BrunoDutertre - 2
Time measurement goes negative
#79 opened by BrunoDutertre - 0
Seg fault caused by illegal side condition
#35 opened by tinelli - 0
Segfault related to markvar and ifmarked
#71 opened by BrunoDutertre - 0
Bug in the code parser for match expression
#66 opened by BrunoDutertre - 4
- 1
Integer division implemented as GMP cdiv
#69 opened by BrunoDutertre - 0
predefined identifiers can be redefined
#36 opened by tinelli - 1
Match with duplicate variables
#68 opened by BrunoDutertre - 2
Non-deterministic compare
#70 opened by BrunoDutertre - 1
Seg fault on a simple example
#59 opened by BrunoDutertre - 0
mpz/mpq mismatch
#60 opened by BrunoDutertre - 5
Reference counting bug
#57 opened by BrunoDutertre - 4
Error building LFSC
#47 opened by blishko - 0
Nontermination bug with nested match patterns
#19 opened by tinelli - 0
Using "@" in signatures makes type mismatch
#2 opened by yoni206 - 3
- 2
Strange parsing
#20 opened by tinelli - 1
Typing bug in `mp` functions
#8 opened by alex-ozdemir