Issues (1–8 of 8)

Title	T	P	Status	Assignee	Created	Updated
#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
#1: Tests failing with Z3 4.5.1	bug	minor	resolved	Franck Cassez	2017-05-18	2017-05-18