projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
cmake: Added 3-valued option handling (to enable detection of user-set options).
[cvc5.git]
/
contrib
/
drwxr-xr-x
..
-rw-r--r--
0
CMakeLists.txt
blob
|
history
|
raw
-rw-r--r--
767
Makefile.am
blob
|
history
|
raw
-rw-r--r--
163
README
blob
|
history
|
raw
-rwxr-xr-x
2573
addsourcedir
blob
|
history
|
raw
drwxr-xr-x
-
alttheoryskel
tree
|
history
-rwxr-xr-x
2845
code-checker
blob
|
history
|
raw
-rwxr-xr-x
756
configure-in-place
blob
|
history
|
raw
-rwxr-xr-x
10152
cut-release
blob
|
history
|
raw
-rw-r--r--
5182
cvc-devel.el
blob
|
history
|
raw
-rw-r--r--
25000
cvc-mode.el
blob
|
history
|
raw
-rwxr-xr-x
862
debug-keys
blob
|
history
|
raw
-rwxr-xr-x
4192
depgraph
blob
|
history
|
raw
-rwxr-xr-x
749
dimacs_to_smt.pl
blob
|
history
|
raw
-rw-r--r--
716
editing-with-emacs
blob
|
history
|
raw
-rwxr-xr-x
1066
extract-strings-and-comments
blob
|
history
|
raw
-rwxr-xr-x
1344
get-abc
blob
|
history
|
raw
-rwxr-xr-x
3810
get-antlr-3.4
blob
|
history
|
raw
-rwxr-xr-x
1644
get-authors
blob
|
history
|
raw
-rwxr-xr-x
525
get-cadical
blob
|
history
|
raw
-rwxr-xr-x
842
get-cryptominisat
blob
|
history
|
raw
-rwxr-xr-x
968
get-glpk-cut-log
blob
|
history
|
raw
-rwxr-xr-x
1233
get-gmp
blob
|
history
|
raw
-rwxr-xr-x
696
get-lfsc-checker
blob
|
history
|
raw
-rw-r--r--
546
get-script-header.sh
blob
|
history
|
raw
-rwxr-xr-x
511
get-symfpu
blob
|
history
|
raw
-rwxr-xr-x
3635
get-win-dependencies
blob
|
history
|
raw
-rw-r--r--
181
indent-settings
blob
|
history
|
raw
-rw-r--r--
366
lfsc_lsan.supp
blob
|
history
|
raw
-rw-r--r--
1796
luby.c
blob
|
history
|
raw
-rwxr-xr-x
1873
mac-build
blob
|
history
|
raw
-rwxr-xr-x
821
make_devel_video.sh
blob
|
history
|
raw
-rwxr-xr-x
346
mk_starexec
blob
|
history
|
raw
-rwxr-xr-x
231
my-configure
blob
|
history
|
raw
-rwxr-xr-x
7378
new-theory
blob
|
history
|
raw
-rwxr-xr-x
236
new-theory.awk
blob
|
history
|
raw
drwxr-xr-x
-
optionsskel
tree
|
history
-rwxr-xr-x
1432
run-script-casc24-fnt
blob
|
history
|
raw
-rwxr-xr-x
1403
run-script-casc24-fnt-no-models
blob
|
history
|
raw
-rwxr-xr-x
1395
run-script-casc24-fof
blob
|
history
|
raw
-rwxr-xr-x
1539
run-script-casc25-fnt
blob
|
history
|
raw
-rwxr-xr-x
2097
run-script-casc25-fof
blob
|
history
|
raw
-rwxr-xr-x
1635
run-script-casc25-tfa
blob
|
history
|
raw
-rwxr-xr-x
1182
run-script-casc25-tfn
blob
|
history
|
raw
-rw-r--r--
1400
run-script-casc26-fnt
blob
|
history
|
raw
-rw-r--r--
2000
run-script-casc26-fof
blob
|
history
|
raw
-rw-r--r--
1444
run-script-casc26-tfa
blob
|
history
|
raw
-rwxr-xr-x
1479
run-script-cascj7-fnt
blob
|
history
|
raw
-rwxr-xr-x
1393
run-script-cascj7-fof
blob
|
history
|
raw
-rwxr-xr-x
1205
run-script-cascj7-tff
blob
|
history
|
raw
-rwxr-xr-x
1372
run-script-cascj8-fnt
blob
|
history
|
raw
-rwxr-xr-x
1929
run-script-cascj8-fof
blob
|
history
|
raw
-rwxr-xr-x
1491
run-script-cascj8-tfa
blob
|
history
|
raw
-rwxr-xr-x
1297
run-script-cascj8-tfn
blob
|
history
|
raw
-rwxr-xr-x
1214
run-script-cascj9-fnt
blob
|
history
|
raw
-rwxr-xr-x
2052
run-script-cascj9-fof
blob
|
history
|
raw
-rwxr-xr-x
1450
run-script-cascj9-tfa
blob
|
history
|
raw
-rw-r--r--
1407
run-script-cascj9-tfn-nr
blob
|
history
|
raw
-rwxr-xr-x
1300
run-script-smtcomp2012
blob
|
history
|
raw
-rwxr-xr-x
3894
run-script-smtcomp2014
blob
|
history
|
raw
-rwxr-xr-x
1629
run-script-smtcomp2014-application
blob
|
history
|
raw
-rwxr-xr-x
4321
run-script-smtcomp2015
blob
|
history
|
raw
-rwxr-xr-x
1385
run-script-smtcomp2015-application
blob
|
history
|
raw
-rwxr-xr-x
4530
run-script-smtcomp2015-assertions
blob
|
history
|
raw
-rwxr-xr-x
5289
run-script-smtcomp2016
blob
|
history
|
raw
-rwxr-xr-x
1238
run-script-smtcomp2016-application
blob
|
history
|
raw
-rw-r--r--
6200
run-script-smtcomp2017
blob
|
history
|
raw
-rwxr-xr-x
1344
run-script-smtcomp2017-application
blob
|
history
|
raw
-rw-r--r--
2063
run-script-smtcomp2017-unsat-cores
blob
|
history
|
raw
-rw-r--r--
6358
run-script-smtcomp2018
blob
|
history
|
raw
-rwxr-xr-x
1662
run-script-smtcomp2018-application
blob
|
history
|
raw
-rw-r--r--
2136
run-script-smtcomp2018-unsat-cores
blob
|
history
|
raw
-rwxr-xr-x
1773
run-script-smteval2013
blob
|
history
|
raw
-rwxr-xr-x
361
run-script-sygusComp2016-CLIA
blob
|
history
|
raw
-rwxr-xr-x
784
run-script-sygusComp2016-GENERAL
blob
|
history
|
raw
-rwxr-xr-x
345
run-script-sygusComp2016-INV
blob
|
history
|
raw
-rwxr-xr-x
338
run-script-sygusComp2016-PBE
blob
|
history
|
raw
-rwxr-xr-x
361
run-script-sygusComp2017-CLIA
blob
|
history
|
raw
-rwxr-xr-x
784
run-script-sygusComp2017-GENERAL
blob
|
history
|
raw
-rwxr-xr-x
735
run-script-sygusComp2017-INV
blob
|
history
|
raw
-rwxr-xr-x
338
run-script-sygusComp2017-PBE_BitVec
blob
|
history
|
raw
-rwxr-xr-x
358
run-script-sygusComp2017-PBE_Strings
blob
|
history
|
raw
-rw-r--r--
894
run-script-sygusComp2018-CLIA
blob
|
history
|
raw
-rw-r--r--
917
run-script-sygusComp2018-GENERAL
blob
|
history
|
raw
-rw-r--r--
799
run-script-sygusComp2018-INV
blob
|
history
|
raw
-rw-r--r--
331
run-script-sygusComp2018-PBE_BitVec
blob
|
history
|
raw
-rw-r--r--
351
run-script-sygusComp2018-PBE_Strings
blob
|
history
|
raw
-rwxr-xr-x
424
run-script-syguscomp2015
blob
|
history
|
raw
-rwxr-xr-x
659
spellcheck
blob
|
history
|
raw
-rwxr-xr-x
2524
switch-config
blob
|
history
|
raw
-rwxr-xr-x
1288
test_install_headers.sh
blob
|
history
|
raw
drwxr-xr-x
-
theoryskel
tree
|
history
-rwxr-xr-x
8080
update-copyright.pl
blob
|
history
|
raw