projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20d040d) | patch
Updates to LFSC signatures (#7840)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 20 Dec 2021 15:49:58 +0000 (09:49 -0600)
committerGitHub <noreply@github.com>
Mon, 20 Dec 2021 15:49:58 +0000 (15:49 +0000)
commitda087b4f6cc677261961f5ea8a7c5b08b02060c7
treeca67d62973cdd9194cbe2873e5cb9596af81fd30tree
parent20d040d79b5e0b3d42e605b1e951f837b66422c1commit | diff
Updates to LFSC signatures (#7840)

Includes the addition of print 2 rules from Amazon benchmarks, and updates to the names of functions.
proofs/lfsc/signatures/arith_programs.plf diff | blob | history
proofs/lfsc/signatures/arith_rules.plf diff | blob | history
proofs/lfsc/signatures/strings_programs.plf diff | blob | history
proofs/lfsc/signatures/theory_def.plf diff | blob | history
proofs/lfsc/signatures/util_defs.plf diff | blob | history
src/proof/lfsc/lfsc_printer.cpp diff | blob | history