git.libre-soc.org Git - cvc5.git/search

2017-07-07	Andres Noetzli	Remove unused stacking_vector class (#185)	commit \| commitdiff \| tree
2017-07-07	Andres Noetzli	Avoid invoking copy constructor when safe printing...	commit \| commitdiff \| tree
2017-06-20	Andres Noetzli	Fix SIGILL handler	commit \| commitdiff \| tree
2017-06-19	Andres Noetzli	Better configuration for QF_NRA	commit \| commitdiff \| tree
2017-06-16	Andres Noetzli	Parse 'is', 'match' differently for non-DT input	commit \| commitdiff \| tree
2017-06-15	Andres Noetzli	Make comp script more robust	commit \| commitdiff \| tree
2017-06-14	Andres Noetzli	Remove UdivSelf rewrite, add UdivZero rewrite	commit \| commitdiff \| tree
2017-06-14	Andres Noetzli	Fix uninitialized value	commit \| commitdiff \| tree
2017-05-28	Andres Noetzli	[Competition] Fix ABC, fix CryptoMiniSat req	commit \| commitdiff \| tree
2017-05-26	Andres Noetzli	Fix use-after-free with ResChains	commit \| commitdiff \| tree
2017-05-16	Andres Noetzli	Avoid tokenizing FP tokens in non-FP input	commit \| commitdiff \| tree
2017-05-16	Andres Noetzli	Fix error in Windows build	commit \| commitdiff \| tree
2017-05-15	Andres Noetzli	Minor fix in safe_print function	commit \| commitdiff \| tree
2017-05-15	Andres Noetzli	Fix type checks for relation operators	commit \| commitdiff \| tree
2017-05-15	Andres Noetzli	Fix minor bug in sets rewriter	commit \| commitdiff \| tree
2017-05-15	Andres Noetzli	Fix condition in upwards closure check for sets	commit \| commitdiff \| tree
2017-04-21	Andres Noetzli	Move assertion out of loop for better performance	commit \| commitdiff \| tree
2017-01-18	Andres Noetzli	Fix non-idempotent rewrite in Array rewriter	commit \| commitdiff \| tree

RSS Atom