Files

.settings
config
contrib
- alttheoryskel
- optionsskel
- theoryskel
- Makefile.am
- README
- addsourcedir
- code-checker
- configure-in-place
- cut-release
- cvc-devel.el
- cvc-mode.el
- debug-keys
- depgraph
- dimacs_to_smt.pl
- editing-with-emacs
- extract-strings-and-comments
- get-abc
- get-antlr-3.4
- get-authors
- get-bug-attachments
- get-glpk-cut-log
- indent-settings
- luby.c
- mac-build
- make_devel_video.sh
- mk_starexec
- my-configure
- new-theory
- new-theory.awk
- run-script-casc24-fnt
- run-script-casc24-fnt-no-models
- run-script-casc24-fof
- run-script-casc25-fnt
- run-script-casc25-fof
- run-script-casc25-tfa
- run-script-casc25-tfn
- run-script-cascj7-fnt
- run-script-cascj7-fof
- run-script-cascj7-tff
- run-script-smtcomp2012
- run-script-smtcomp2014
- run-script-smtcomp2014-application
- run-script-smtcomp2015
- run-script-smtcomp2015-application
- run-script-smtcomp2015-assertions
- run-script-smteval2013
- run-script-syguscomp2015
- spellcheck
- switch-config
- test_install_headers.sh
- update-copyright.pl
- win32-build
doc
examples
proofs
src
test
.cproject
.gitignore
.mailmap
.project
.travis.yml
AUTHORS
COPYING
INSTALL
Makefile
Makefile.am
Makefile.builds.in
Makefile.subdir
NEWS
README
RELEASE-NOTES
THANKS
autogen.sh
configure.ac
library_versions

contrib

timothy-king

Shuffling around public vs. private headers

Dec 30, 2015

fa7f30a · Dec 30, 2015

History

This branch is 8975 commits behind cvc5/cvc5:main.

Name	Name	Last commit message	Last commit date
parent directory ..
alttheoryskel	alttheoryskel	New, uniform checkTime statistic for all theories (as discussed in me…	Nov 17, 2014
optionsskel	optionsskel	Refactoring Options Handler & Library Cycle Breaking	Dec 15, 2015
theoryskel	theoryskel	Refactoring Options Handler & Library Cycle Breaking	Dec 15, 2015
Makefile.am	Makefile.am	Fix path in CASC J7 scripts, and distribute them with tarball.	Jul 1, 2014
README	README	minor fixes, added contrib directory	Nov 9, 2009
addsourcedir	addsourcedir	Options merge. This commit:	Jul 31, 2012
code-checker	code-checker	* public/private code untangled (smt/smt_engine.h no longer #includes	Mar 5, 2010
configure-in-place	configure-in-place	Update copyright year.	Jan 2, 2014
cut-release	cut-release	Fix cut-release script for new configure rules.	Jul 2, 2014
cvc-devel.el	cvc-devel.el	minor fixes, added contrib directory	Nov 9, 2009
cvc-mode.el	cvc-mode.el	minor fixes, added contrib directory	Nov 9, 2009
debug-keys	debug-keys	Merge from cudd branch. This mostly just adds support for linking	Mar 15, 2011
depgraph	depgraph	Refactoring Options Handler & Library Cycle Breaking	Dec 15, 2015
dimacs_to_smt.pl	dimacs_to_smt.pl	Merge from cudd branch. This mostly just adds support for linking	Mar 15, 2011
editing-with-emacs	editing-with-emacs	add workaround for systems (i.e., Mac OS X) that don't support __thre…	Sep 27, 2010
extract-strings-and-comments	extract-strings-and-comments	Various fixes to documentation---typos, some incomplete documentation…	Jul 7, 2012
get-abc	get-abc	Don't allow libabc to load extensions at runtime.	Jun 25, 2014
get-antlr-3.4	get-antlr-3.4	Adds attempt to download config.guess to get-antlr-3.4 script.	Dec 1, 2015
get-authors	get-authors	Update copyright year.	Jan 2, 2014
get-bug-attachments	get-bug-attachments	Fix get-bug-attachments script.	Nov 5, 2014
get-glpk-cut-log	get-glpk-cut-log	get-glpk-cut-log script, and configure code.	Jun 19, 2014
indent-settings	indent-settings	* public/private code untangled (smt/smt_engine.h no longer #includes	Mar 5, 2010
luby.c	luby.c	luby sequence generator; can use to plot MiniSat's restart sequence	May 5, 2011
mac-build	mac-build	Reverts addition of autogen.sh to mac-build script.	Dec 1, 2015
make_devel_video.sh	make_devel_video.sh	a cute script to make a video of development from the svn logs	Mar 24, 2012
mk_starexec	mk_starexec	Changing file permissions to add or remove executable tag as appropri…	Nov 7, 2015
my-configure	my-configure	Adding documentation to my-configure	May 26, 2010
new-theory	new-theory	Refactoring Options Handler & Library Cycle Breaking	Dec 15, 2015
new-theory.awk	new-theory.awk	Refactoring Options Handler & Library Cycle Breaking	Dec 15, 2015
run-script-casc24-fnt	run-script-casc24-fnt	Updated CASC scripts, as provided to Geoff Sutcliffe	Jun 3, 2013
run-script-casc24-fnt-no-models	run-script-casc24-fnt-no-models	Updated CASC scripts, as provided to Geoff Sutcliffe	Jun 3, 2013
run-script-casc24-fof	run-script-casc24-fof	Updated CASC scripts, as provided to Geoff Sutcliffe	Jun 3, 2013
run-script-casc25-fnt	run-script-casc25-fnt	Changing file permissions to add or remove executable tag as appropri…	Nov 7, 2015
run-script-casc25-fof	run-script-casc25-fof	Add options --partial-triggers, --elim-taut-quant, improve robustness…	Jul 5, 2015
run-script-casc25-tfa	run-script-casc25-tfa	Changing file permissions to add or remove executable tag as appropri…	Nov 7, 2015
run-script-casc25-tfn	run-script-casc25-tfn	Changing file permissions to add or remove executable tag as appropri…	Nov 7, 2015
run-script-cascj7-fnt	run-script-cascj7-fnt	Fix path in CASC J7 scripts, and distribute them with tarball.	Jul 1, 2014
run-script-cascj7-fof	run-script-cascj7-fof	Fix path in CASC J7 scripts, and distribute them with tarball.	Jul 1, 2014
run-script-cascj7-tff	run-script-cascj7-tff	Fix path in CASC J7 scripts, and distribute them with tarball.	Jul 1, 2014
run-script-smtcomp2012	run-script-smtcomp2012	qf_lra strategy	Jun 18, 2012
run-script-smtcomp2014	run-script-smtcomp2014	Updated run script for QF_ABV	Jun 27, 2014
run-script-smtcomp2014-application	run-script-smtcomp2014-application	Final fixes for smtcomp2014-application.	Jun 22, 2014
run-script-smtcomp2015	run-script-smtcomp2015	Changing options for QF_AUFNIA to avoid bug	Jun 15, 2015
run-script-smtcomp2015-application	run-script-smtcomp2015-application	Changing the run script for master for the application track.	Jun 13, 2015
run-script-smtcomp2015-assertions	run-script-smtcomp2015-assertions	sync options of default-assertions run script with default	Jun 12, 2015
run-script-smteval2013	run-script-smteval2013	final updates for smt-eval script	May 8, 2013
run-script-syguscomp2015	run-script-syguscomp2015	Changing file permissions to add or remove executable tag as appropri…	Nov 7, 2015
spellcheck	spellcheck	Merging some cleanup work:	Apr 1, 2013
switch-config	switch-config	* reviewed BooleanSimplification, added documentation & unit test	Apr 23, 2011
test_install_headers.sh	test_install_headers.sh	Shuffling around public vs. private headers	Dec 30, 2015
update-copyright.pl	update-copyright.pl	Copyright-updating script now retains non-NYU/UIowa copyrights in fil…	Oct 6, 2014
win32-build	win32-build	webget: curl follow redirect	Feb 16, 2015

README

This directory is for contributions to CVC4 that aren't directly
part of the main project.

-- Morgan Deters <[email protected]>  Mon, 09 Nov 2009 15:14:41 -0500

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Files

contrib

contrib

README

Files

contrib

Directory actions

More options

Directory actions

More options

Latest commit

History

contrib

Folders and files

parent directory

README