Franck Cassez
Untitled project
scalaSMT
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–9 of 9)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#34: Avoid match error in isSatWithAssertWhileSat
bug
major
resolved
Franck Cassez
2019-08-28
2019-10-03
#36: Make sure configurations do not have name clashes
bug
major
new
Franck Cassez
2019-10-03
2019-10-03
#29: Add conversions between Int and Real
bug
major
new
Franck Cassez
2019-02-23
2019-02-23
#28: Some valid terms cannot be parsed
bug
major
resolved
Franck Cassez
2019-02-19
2019-02-20
#27: fp.rem not working with mathsat
bug
major
resolved
Franck Cassez
2018-10-17
2019-02-20
#24: Remove the double \n\n in send EchoCmd in Interpreters.
bug
major
open
Franck Cassez
2018-10-16
2018-10-17
#13: Identifiers with leading @ and trading @xx with xx a number are not parsed as ISymbol but SSymbol
bug
major
resolved
Franck Cassez
2018-02-27
2018-02-27
#9: +0.0 and -0.0 result in PlusZero term
bug
major
resolved
Franck Cassez
2018-01-18
2018-01-18
#3: [FPBV] Futures Timeout with MathSat
bug
major
resolved
Franck Cassez
2018-01-12
2018-01-15