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
#35: Add tests for ArrayBV2
task major new
#22: Check computation of freeVars
task major new
#21: Check declarations of boundedVars in letTerm
task major new
#15: Shippable build fails
task major resolved
#6: Update documentation
task major new
#4: Change return type of using
proposal minor new
#5: Use z3 4.6.0
enhancement minor new
#30: Allow application.conf to be located anywhere on the classpath
enhancement 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
#11: Implement copysign
enhancement major closed
#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
#12: Support a dynamic approach to FP bitvector rounding modes
enhancement major resolved
#8: Missing operators in FPBVs
enhancement blocker resolved
#34: Avoid match error in isSatWithAssertWhileSat
bug major resolved
#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
#31: Don’t crash if solver configuration is not found
bug minor new
  2. 1
  3. 2