projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 740c30f) | patch
Marking the proof signature files as non-executable.
authorTim King <taking@google.com>
Wed, 4 Jan 2017 21:00:25 +0000 (13:00 -0800)
committerTim King <taking@google.com>
Wed, 4 Jan 2017 21:00:25 +0000 (13:00 -0800)
commit62e9dc362cb890590b2675cbe800f9e3e58f52ae
tree1997a1c370c745df7db1b6c53f62da4ef25e6b93tree
parent740c30f31479d75ba09009f6ed556261888a2fdbcommit | diff
Marking the proof signature files as non-executable.
proofs/signatures/ex-mem.plf [changed mode: 0755->0644] blob | history
proofs/signatures/example-arrays.plf [changed mode: 0755->0644] blob | history
proofs/signatures/example-quant.plf [changed mode: 0755->0644] blob | history
proofs/signatures/example.plf [changed mode: 0755->0644] blob | history
proofs/signatures/sat.plf [changed mode: 0755->0644] blob | history
proofs/signatures/smt.plf [changed mode: 0755->0644] blob | history
proofs/signatures/th_arrays.plf [changed mode: 0755->0644] blob | history
proofs/signatures/th_base.plf [changed mode: 0755->0644] blob | history
proofs/signatures/th_quant.plf [changed mode: 0755->0644] blob | history