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

2013-11-20	Tim King	Changing the number of bits allocated per field in...	commit \| commitdiff \| tree
2013-11-19	Andrew Reynolds	Bug fix for previous commit	commit \| commitdiff \| tree
2013-11-19	Andrew Reynolds	Add fair strategy for finite model finding multiple...	commit \| commitdiff \| tree
2013-11-14	Morgan Deters	Minor fixes for Mac OS Mavericks	commit \| commitdiff \| tree
2013-11-14	Morgan Deters	Allow empty record literals (fixing an oversight in...	commit \| commitdiff \| tree
2013-11-14	Morgan Deters	Some patches to CVC3 compatibility layer tests; Thanks...	commit \| commitdiff \| tree
2013-11-14	Morgan Deters	Datatype::getCardinality() caching	commit \| commitdiff \| tree
2013-11-13	Morgan Deters	Add virtual destructors where missing	commit \| commitdiff \| tree
2013-11-13	Morgan Deters	Some patches to CVC3 compatibility layer; Thanks to...	commit \| commitdiff \| tree
2013-11-13	Morgan Deters	Another build fix; the dust should be settled now.	commit \| commitdiff \| tree
2013-11-12	Morgan Deters	Minor portfolio fixes for some platforms.	commit \| commitdiff \| tree
2013-11-12	Morgan Deters	Some additional explanation for a common configure...	commit \| commitdiff \| tree
2013-11-12	Tianyi Liang	lb change	commit \| commitdiff \| tree
2013-11-12	Tianyi Liang	add string progress measurements	commit \| commitdiff \| tree
2013-11-12	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-11-12	Tianyi Liang	add loop cache	commit \| commitdiff \| tree
2013-11-12	Tianyi Liang	add loop cache	commit \| commitdiff \| tree
2013-11-12	Morgan Deters	Fix new-theory script for new, flattened build system.	commit \| commitdiff \| tree
2013-11-12	Morgan Deters	Minor build system cleanup	commit \| commitdiff \| tree
2013-11-12	Tianyi Liang	length lemma is changed, var-split lemma is changed	commit \| commitdiff \| tree
2013-11-11	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2013-11-11	Morgan Deters	Expanded usefulness of (set-info :cvc4-logic ...)	commit \| commitdiff \| tree
2013-11-11	Morgan Deters	Some fixes to build system with dependency-tracking...	commit \| commitdiff \| tree
2013-11-11	Morgan Deters	Change exit status to be more consistent with other...	commit \| commitdiff \| tree
2013-11-11	Morgan Deters	Fix compat-java library naming on Mac OS; thanks to...	commit \| commitdiff \| tree
2013-11-11	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2013-11-11	Morgan Deters	Fix "make distclean", which should fix some of the...	commit \| commitdiff \| tree
2013-11-11	Morgan Deters	Minor fixups to last commit	commit \| commitdiff \| tree
2013-11-11	Morgan Deters	Flatten libcvc4 build structure; remove some #include...	commit \| commitdiff \| tree
2013-11-08	Morgan Deters	Fix "make distclean", which should fix some of the...	commit \| commitdiff \| tree
2013-11-07	Morgan Deters	Minor fixups to last commit	commit \| commitdiff \| tree
2013-11-07	Morgan Deters	Flatten libcvc4 build structure; remove some #include...	commit \| commitdiff \| tree
2013-11-07	Tianyi Liang	Adds the header file into makefile, solving building...	commit \| commitdiff \| tree
2013-11-07	Tianyi Liang	Adds the header file into makefile, solving building...	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	bug fix	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	change options	commit \| commitdiff \| tree
2013-11-06	Andrew Reynolds	Bug fixes for bounded integer quantification. Current...	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	bug fix	commit \| commitdiff \| tree
2013-11-06	Andrew Reynolds	Bug fixes for bounded integer quantification. Current...	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	change options	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	add seperate regular expression files	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	add seperate regular expression files	commit \| commitdiff \| tree
2013-11-06	lianah	fixed proof regression script and added a new uf test...	commit \| commitdiff \| tree
2013-11-04	lianah	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2013-10-28	Clark Barrett	Turn off model-based arrays (causing crashes in portfolio)	commit \| commitdiff \| tree
2013-10-24	Clark Barrett	Fix for bug515	commit \| commitdiff \| tree
2013-10-23	Tianyi Liang	add back eager approach	commit \| commitdiff \| tree
2013-10-23	Tianyi Liang	bug fix for loop rule	commit \| commitdiff \| tree
2013-10-23	Tianyi Liang	bug fix	commit \| commitdiff \| tree
2013-10-23	Tianyi Liang	bug fixes: some issues remain, need more discussion...	commit \| commitdiff \| tree
2013-10-22	Tianyi Liang	remove nested re or; opt loop	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	string fix	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	add a string test case	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	bug fix for string special case	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	add a string test case	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	bug fix for string special case	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	adds regular expression range	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	adds regular expression range	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	adds regular expression range	commit \| commitdiff \| tree
2013-10-17	Kshitij Bansal	minor fix to last commit (gitignore)	commit \| commitdiff \| tree
2013-10-17	Kshitij Bansal	.gitignore personal configuration files	commit \| commitdiff \| tree
2013-10-16	Tianyi Liang	adds fmf for strings	commit \| commitdiff \| tree
2013-10-16	Tianyi Liang	renames for strings fmf	commit \| commitdiff \| tree
2013-10-16	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-10-15	Tianyi Liang	bug fix in strings : change from assert to alwaysassert	commit \| commitdiff \| tree
2013-10-15	Tianyi Liang	removes some junks	commit \| commitdiff \| tree
2013-10-15	Andrew Reynolds	performance optimizations for quantifier instantiation	commit \| commitdiff \| tree
2013-10-15	Tianyi Liang	bug fix in strings : change from assert to alwaysassert	commit \| commitdiff \| tree
2013-10-15	Andrew Reynolds	performance optimizations for quantifier instantiation	commit \| commitdiff \| tree
2013-10-15	Tianyi Liang	removes some junks	commit \| commitdiff \| tree
2013-10-15	Tianyi Liang	bug fix: string cache cleaning	commit \| commitdiff \| tree
2013-10-14	Tianyi Liang	add another regexp test	commit \| commitdiff \| tree
2013-10-14	Tianyi Liang	Adds Regular Expression support.	commit \| commitdiff \| tree
2013-10-11	Tianyi Liang	Adds regular expression support, it is actually CFL...	commit \| commitdiff \| tree
2013-10-11	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-10-11	Tianyi Liang	add constant membership	commit \| commitdiff \| tree
2013-10-11	Tianyi Liang	adds native regexp.	commit \| commitdiff \| tree
2013-10-11	Tianyi Liang	add constant membership	commit \| commitdiff \| tree
2013-10-10	Andrew Reynolds	Minor bug fix to datatypes.	commit \| commitdiff \| tree
2013-10-10	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-10-10	Tianyi Liang	adds native regexp.	commit \| commitdiff \| tree
2013-10-10	Tianyi Liang	adds native regexp.	commit \| commitdiff \| tree
2013-10-09	lianah	fixed options::proof() segfault	commit \| commitdiff \| tree
2013-10-09	lianah	cleaned up proof code	commit \| commitdiff \| tree
2013-10-09	lianah	fixed uf proof bug: now storing deleted theory lemmas	commit \| commitdiff \| tree
2013-10-09	Andrew Reynolds	More improvements to datatypes, eager selector collapsi...	commit \| commitdiff \| tree
2013-10-08	lianah	added currying for uf proofs; still needs debugging	commit \| commitdiff \| tree
2013-10-08	lianah	fixed uf proof with holes bugs	commit \| commitdiff \| tree
2013-10-08	Andrew Reynolds	Optimizations for datatypes theory. There seems to...	commit \| commitdiff \| tree
2013-10-08	Liana Hadarean	fixed some bugs	commit \| commitdiff \| tree
2013-10-08	Liana Hadarean	first draft implementation of uf proofs with holes	commit \| commitdiff \| tree
2013-10-07	Liana Hadarean	merged golden	commit \| commitdiff \| tree
2013-10-07	Andrew Reynolds	Multiple fixes for datatypes theory solver: add support...	commit \| commitdiff \| tree
2013-10-03	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2013-10-03	Andrew Reynolds	Adding example proof signatures for LFSC.	commit \| commitdiff \| tree
2013-10-03	Andrew Reynolds	Added support for converting unsorted problems to multi...	commit \| commitdiff \| tree
next

RSS Atom