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

author	Tim King <taking@cs.nyu.edu>
	Sat, 7 Nov 2015 06:53:53 +0000 (22:53 -0800)
committer	Tim King <taking@cs.nyu.edu>
	Sat, 7 Nov 2015 06:55:49 +0000 (22:55 -0800)
commit	6b2e8be53f0839809a2f76df0754b37a7e56db08
tree	0e8d4bdb9322f09fe2751a02bb83547d0bb0105d	tree
parent	0348ee46cb5cfda75fc877e73f176838140fbe61	commit \| diff

Changing file permissions to add or remove executable tag as appropriate.

28 files changed:

contrib/mk_starexec	[changed mode: 0644->0755]	blob \| history
contrib/run-script-casc25-fnt	[changed mode: 0644->0755]	blob \| history
contrib/run-script-casc25-tfa	[changed mode: 0644->0755]	blob \| history
contrib/run-script-casc25-tfn	[changed mode: 0644->0755]	blob \| history
contrib/run-script-syguscomp2015	[changed mode: 0644->0755]	blob \| history
src/theory/datatypes/type_enumerator.cpp	[changed mode: 0755->0644]	blob \| history
src/theory/quantifiers/alpha_equivalence.cpp	[changed mode: 0755->0644]	blob \| history
src/theory/quantifiers/alpha_equivalence.h	[changed mode: 0755->0644]	blob \| history
src/theory/quantifiers/quant_equality_engine.cpp	[changed mode: 0755->0644]	blob \| history
src/theory/quantifiers/quant_equality_engine.h	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/datatypes/cdt-model-cade15.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/fmf/syn002-si-real-int.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/push-pop/bug654-dd.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/quantifiers/floor.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/quantifiers/is-int.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/strings/crash-1019.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/strings/idof-triv.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/strings/ilc-l-nt.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/strings/ilc-like.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/strings/indexof-sym-simp.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/strings/kaluza-fl.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/strings/norn-ab.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/strings/norn-simp-rew.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/strings/unsound-0908.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/sygus/no-flat-simp.sy	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/sygus/sygus-dt.sy	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/uf/cnf-and-neg.smt2	[changed mode: 0755->0644]	blob \| history
test/regress/regress0/uf/cnf_abc.smt2	[changed mode: 0755->0644]	blob \| history

RSS Atom