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
#34: Avoid match error in isSatWithAssertWhileSat
bug major resolved
#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
#31: Don’t crash if solver configuration is not found
bug minor new
#30: Allow application.conf to be located anywhere on the classpath
enhancement major resolved
#29: Add conversions between Int and Real
bug major new
#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
#24: Remove the double \n\n in send EchoCmd in Interpreters.
bug major open
#11: Implement copysign
enhancement major closed
#22: Check computation of freeVars
task major new
#21: Check declarations of boundedVars in letTerm
task major new
#19: Parse getModel and GetValue responses with constant arrays
enhancement major new
#20: Add support for declaring constant arrays
enhancement major new
#16: Add support for get-unsat-core(s)
enhancement major resolved
#18: Parse get-model responses with valuation pairs
enhancement major resolved
#17: Remove constraint that using returns a try
enhancement minor new
#14: Support extract and concat for bitvectors
enhancement major resolved
#15: Shippable build fails
task major resolved
  2. 1
  3. 2