projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 01d6e39) | patch
Fix/add missing makefiles.
authorajreynol <andrew.j.reynolds@gmail.com>
Fri, 21 Oct 2016 19:21:05 +0000 (14:21 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Fri, 21 Oct 2016 19:21:05 +0000 (14:21 -0500)
commite79e64329ce7d6df0003cab28dadb9b8bcc6f9ca
treea1240907dbbc2385e9b64cfd83cffaf1a9577a34tree
parent01d6e3933a3d733d3c1b5486ce1df8389cd6a176commit | diff
Fix/add missing makefiles.
30 files changed:
test/regress/regress1/Makefile [new file with mode: 0644] blob
test/regress/regress1/aufbv/Makefile [new file with mode: 0644] blob
test/regress/regress1/aufbv/Makefile.am [new file with mode: 0644] blob
test/regress/regress1/auflia/Makefile [new file with mode: 0644] blob
test/regress/regress1/auflia/Makefile.am [new file with mode: 0644] blob
test/regress/regress1/bv/Makefile [new file with mode: 0644] blob
test/regress/regress1/bv/Makefile.am [new file with mode: 0644] blob
test/regress/regress1/datatypes/Makefile [new file with mode: 0644] blob
test/regress/regress1/datatypes/Makefile.am [new file with mode: 0644] blob
test/regress/regress1/decision/Makefile [new file with mode: 0644] blob
test/regress/regress1/decision/Makefile.am [new file with mode: 0644] blob
test/regress/regress1/fmf/Makefile [new file with mode: 0644] blob
test/regress/regress1/fmf/Makefile.am [new file with mode: 0644] blob
test/regress/regress1/lemmas/Makefile [new file with mode: 0644] blob
test/regress/regress1/lemmas/Makefile.am [new file with mode: 0644] blob
test/regress/regress1/rewriterules/Makefile [new file with mode: 0644] blob
test/regress/regress1/rewriterules/Makefile.am [new file with mode: 0644] blob
test/regress/regress1/sep/Makefile [new file with mode: 0644] blob
test/regress/regress1/sep/Makefile.am [new file with mode: 0644] blob
test/regress/regress1/sets/Makefile [new file with mode: 0644] blob
test/regress/regress1/sets/Makefile.am [new file with mode: 0644] blob
test/regress/regress1/strings/Makefile [new file with mode: 0644] blob
test/regress/regress1/strings/Makefile.am [new file with mode: 0644] blob
test/regress/regress1/sygus/Makefile [new file with mode: 0644] blob
test/regress/regress1/sygus/Makefile.am [new file with mode: 0644] blob
test/regress/regress2/Makefile diff | blob | history
test/regress/regress2/arith/Makefile diff | blob | history
test/regress/regress2/arith/Makefile.am diff | blob | history
test/regress/regress3/Makefile diff | blob | history
test/regress/regress4/Makefile diff | blob | history