Franck Cassez
Untitled project
scalaSMT
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–7 of 7)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#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
#17: Remove constraint that using returns a try
enhancement
minor
new
Franck Cassez
2018-06-02
2018-06-02
#7: Make spacing in grammar consistent
enhancement
minor
new
Tony Sloane
2018-01-17
2018-01-17
#4: Change return type of using
proposal
minor
new
Franck Cassez
2018-01-15
2018-01-15