cvc5.git
2014-04-24 Andrew ReynoldsCompute care graph for datatypes. Preliminary results...
2014-04-24 Andrew ReynoldsAdd --inst-max-level=N option for Kshitij. Support...
2014-04-22 Andrew ReynoldsMinor fix to avoid rewriting datatype equalities into...
2014-04-17 Morgan DetersAllow fmf-bound-int to be set with set-option and via...
2014-04-17 Andrew ReynoldsMinor refactoring and optimizing.
2014-04-14 Andrew ReynoldsFix bug in mbqi=fmc handling theory symbols. Fix mbqi...
2014-04-14 Andrew ReynoldsAdd initial support for co-datatypes.
2014-04-11 Morgan DetersBetter support for building with mingw64; thanks to...
2014-04-11 Morgan DeterssetType -> setOfType, resolves bug 556
2014-04-10 Morgan DetersFix the build; --check-proof works for UF but not for...
2014-04-10 Andrew ReynoldsExpand definitions in theory datatypes, now has the...
2014-04-10 Morgan DetersBoolean terms conversion fix for datatypes, fixes a...
2014-04-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-04-10 Tianyi Liangminor fix for strings
2014-04-10 Tianyi Liangminor fix for strings
2014-04-10 Andrew ReynoldsAdd support for cardinality constraints logic UFC....
2014-04-10 Kshitij Bansalrefactor .travis.yml
2014-04-09 Kshitij BansalMerge pull request #24 from kbansal/sets-model
2014-04-09 Morgan DetersMinor change to better support parameterized partial...
2014-04-09 Andrew ReynoldsRevert E-matching datatypes fix.
2014-04-09 Andrew ReynoldsHandle fmf.card as input from user, add support in...
2014-04-09 Kshitij Bansalfix get-info error-behavior
2014-04-09 Kshitij Bansaladd tests
2014-04-09 Kshitij Bansalfix
2014-04-09 Kshitij Bansalprep for fix
2014-04-09 Kshitij Bansaltry foreach on CD datastructure
2014-04-09 Kshitij Bansalinputs to trigger bug
2014-04-09 Kshitij Bansalmore
2014-04-09 Kshitij Bansalsome debugging changes
2014-04-06 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4
2014-04-06 Tim KingReduced example from pcc's bug report.
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix
2014-04-06 Kshitij Bansalfix for hiding prompt/header in shell, error-behavior...
2014-04-04 Morgan DetersFor security, add --no-filesystem-access option, which...
2014-04-04 Morgan DetersAllow turning off the interactive prompt while in inter...
2014-04-03 Morgan DetersProperly quote symbols in SMT-LIB printer.
2014-04-03 Morgan DetersSome incremental bugs for Boolean terms, fixed. Thanks...
2014-04-01 Tim KingMerge branch '1.3.x'
2014-04-01 Tim KingFixing bug 552. There was a bug when integers are...
2014-04-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-04-01 Tianyi Liangwindows build fix for UINT32_MAX
2014-04-01 Tianyi Liangwindows build fix for UINT32_MAX
2014-03-31 Morgan DetersTravis-CI test for new-theory script, also related...
2014-03-31 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-03-31 Tianyi Liangadd str to u16/u32, and u16/u32 to str
2014-03-31 Tianyi Liangminor typo/bug fix
2014-03-31 Tianyi Liangadd str to u16/u32, and u16/u32 to str
2014-03-30 Kshitij BansalMerge pull request #23 from kbansal/sets-model
2014-03-28 Kshitij Bansalrm old unused code
2014-03-28 Kshitij Bansalget-antlr error on missing config.guess
2014-03-28 Kshitij Bansaladd construles, type_rules rm redundant, kinds cleanup
2014-03-28 Tianyi Liangminor printer fix; intersection fix
2014-03-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-03-27 Tianyi Liangadds new feature: re.loop
2014-03-27 Tianyi Liangadds intersection
2014-03-27 Tianyi Liangderiv symbolic regexp
2014-03-27 Tianyi Liangadds intersection
2014-03-27 Tianyi Liangadds new feature: re.loop
2014-03-26 Morgan DetersMerge branch '1.3.x'
2014-03-26 Morgan DetersWin32 build script fixes (to allow portfolio builds).
2014-03-26 Morgan DetersFix an off-the-end string pointer bug (showed up only...
2014-03-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-03-26 Tianyi Liangderiv symbolic regexp
2014-03-26 Tianyi Liangadds intersection
2014-03-26 Tianyi Liangderiv symbolic regexp
2014-03-26 Tim KingMerging in a fix from 1.3.x.
2014-03-26 Tim KingFixes an idempotency issue for non-linear multiplicatio...
2014-03-25 Tianyi Liangadds intersection
2014-03-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model
2014-03-20 Kshitij Bansalcleanup
2014-03-20 Kshitij Bansalfix for sets/mar2014/..317minimized..
2014-03-20 Kshitij BansalFix for registration issues of term appearing in a...
2014-03-20 Kshitij Bansalrewriter fix, weaken an assertion
2014-03-20 Kshitij Bansalconstant normal form and rewrite
2014-03-20 Kshitij Bansalfix a sharing issues with sets
2014-03-20 Kshitij Bansalpush subtyping for sets to the element type
2014-03-20 Kshitij Bansalenable check-models for sets/ regressions
2014-03-20 Kshitij Bansalwork on set model
2014-03-20 Kshitij Bansaltestlemma regressions
2014-03-20 Andrew ReynoldsMinor fix for CBQI, ignore inst constant nodes.
2014-03-19 Morgan DetersFix documentation for Theory::preRegisterTerm().
2014-03-19 Martin BrainRefactor the theory specific parts of definition expans...
2014-03-19 Morgan DetersSet dumping options from (set-option..) and API more...
2014-03-19 Morgan DetersFix for bug 555; SMT-LIBv2 symbols now output with...
2014-03-19 Morgan DetersMove the translator binary from src/main to examples...
2014-03-19 Morgan DetersAppease compilers from latest XCode release (v5.1).
2014-03-19 Morgan DetersMinor usability fixes related to SMT-LIB compliance.
2014-03-19 Morgan DetersFix proof signatures makefile
2014-03-19 Morgan DetersMinor documentation fixups.
2014-03-19 Andrew ReynoldsFix a memory leak in LFSC proof checker. Largest QF_UF...
2014-03-17 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-03-17 Tianyi Lianghot fix for pre-reg term caching in strings
2014-03-17 Tianyi Lianghot fix for pre-reg term caching in strings
2014-03-17 Peter CollingbourneFix for ite of >=64bit wide bitvectors with unconstrain...
2014-03-14 Morgan DetersSMT-LIB compliance: allow bin/hex set-info, e.g. (set...
2014-03-14 Morgan Detersdos2unix on the proof signatures, and fix the makefile.
2014-03-14 Andrew ReynoldsAdd ability to provide theory-specific proof rules...
2014-03-13 Andrew ReynoldsAdd working example of LFSC proof with quantifiers...
2014-03-12 Andrew ReynoldsWork on array pf signature, add working example. Add...
2014-03-12 Andrew ReynoldsMinor fixes post-merge of RR.
next