Issues (26–36 of 36)

Title	T	P	Status	Votes	Assignee	Created	Updated	Actions
#15: Shippable build fails	task	major	resolved		Franck Cassez	2018-03-08	2018-03-08
#13: Identifiers with leading @ and trading @xx with xx a number are not parsed as ISymbol but SSymbol	bug	major	resolved		Franck Cassez	2018-02-27	2018-02-27
#12: Support a dynamic approach to FP bitvector rounding modes	enhancement	major	resolved		Franck Cassez	2018-01-25	2018-02-06
#9: +0.0 and -0.0 result in PlusZero term	bug	major	resolved		Franck Cassez	2018-01-18	2018-01-18
#8: Missing operators in FPBVs	enhancement	blocker	resolved		Franck Cassez	2018-01-17	2018-01-17
#7: Make spacing in grammar consistent	enhancement	minor	new		Tony Sloane	2018-01-17	2018-01-17
#6: Update documentation	task	major	new		Franck Cassez	2018-01-15	2018-01-15
#3: [FPBV] Futures Timeout with MathSat	bug	major	resolved		Franck Cassez	2018-01-12	2018-01-15
#4: Change return type of using	proposal	minor	new		Franck Cassez	2018-01-15	2018-01-15
#2: encoding of 1 with BitVectors failed	bug	critical	resolved		Franck Cassez	2018-01-12	2018-01-12
#1: Tests failing with Z3 4.5.1	bug	minor	resolved		Franck Cassez	2017-05-18	2017-05-18

1
2