1. Franck Cassez Avatar Franck Cassez
  2. Untitled project
  3. scalaSMT

Issues

Filter by:

Advanced search

Issues (1–25 of 34)

Title T P Status Votes Assignee Created Updated Actions
#11: Implement copysign
enhancement major closed
#34: Avoid match error in isSatWithAssertWhileSat
bug major resolved
#30: Allow application.conf to be located anywhere on the classpath
enhancement major resolved
#28: Some valid terms cannot be parsed
bug major resolved
#27: fp.rem not working with mathsat
bug major resolved
#25: Unsigned int to FP conversion in FPBV
enhancement major resolved
#10: Implement all conversions from/to other sorts (FPBV)
enhancement major resolved
#23: Add all options to configuration file
enhancement major resolved
#16: Add support for get-unsat-core(s)
enhancement major resolved
#18: Parse get-model responses with valuation pairs
enhancement major resolved
#14: Support extract and concat for bitvectors
enhancement major resolved
#15: Shippable build fails
task major resolved
#13: Identifiers with leading @ and trading @xx with xx a number are not parsed as ISymbol but SSymbol
bug major resolved
#12: Support a dynamic approach to FP bitvector rounding modes
enhancement major resolved
#9: +0.0 and -0.0 result in PlusZero term
bug major resolved
#8: Missing operators in FPBVs
enhancement blocker resolved
#3: [FPBV] Futures Timeout with MathSat
bug major resolved
#2: encoding of 1 with BitVectors failed
bug critical resolved
#1: Tests failing with Z3 4.5.1
bug minor resolved
#24: Remove the double \n\n in send EchoCmd in Interpreters.
bug major open
#35: Add tests for ArrayBV2
task major new
#36: Make sure configurations do not have name clashes
bug major new
#33: Fix missing interpolation in error message
bug minor new
#32: Standardise logger names
bug minor new
#5: Use z3 4.6.0
enhancement minor new
  2. 1
  3. 2