Franck Cassez
Untitled project
scalaSMT
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–14 of 14)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#35: Add tests for ArrayBV2
task
major
new
Franck Cassez
2019-10-03
2019-10-03
#36: Make sure configurations do not have name clashes
bug
major
new
Franck Cassez
2019-10-03
2019-10-03
#33: Fix missing interpolation in error message
bug
minor
new
Franck Cassez
2019-08-13
2019-08-13
#32: Standardise logger names
bug
minor
new
Franck Cassez
2019-07-25
2019-07-25
#5: Use z3 4.6.0
enhancement
minor
new
Franck Cassez
2018-01-15
2019-07-23
#31: Don’t crash if solver configuration is not found
bug
minor
new
Franck Cassez
2019-07-23
2019-07-23
#29: Add conversions between Int and Real
bug
major
new
Franck Cassez
2019-02-23
2019-02-23
#22: Check computation of freeVars
task
major
new
Franck Cassez
2018-07-11
2018-07-11
#21: Check declarations of boundedVars in letTerm
task
major
new
Franck Cassez
2018-07-11
2018-07-11
#19: Parse getModel and GetValue responses with constant arrays
enhancement
major
new
Franck Cassez
2018-06-28
2018-06-30
#20: Add support for declaring constant arrays
enhancement
major
new
Franck Cassez
2018-06-28
2018-06-28
#17: Remove constraint that using returns a try
enhancement
minor
new
Franck Cassez
2018-06-02
2018-06-02
#6: Update documentation
task
major
new
Franck Cassez
2018-01-15
2018-01-15
#4: Change return type of using
proposal
minor
new
Franck Cassez
2018-01-15
2018-01-15