projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 55ce505) | patch
Add core LFSC signatures (#7289)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 14 Oct 2021 13:33:04 +0000 (08:33 -0500)
committerGitHub <noreply@github.com>
Thu, 14 Oct 2021 13:33:04 +0000 (13:33 +0000)
commitb17ee60bc45e030113bcfdf5cdf575b0f6f961f1
tree7a334f23dffcea6be958fe99cf90831b8e2783b2tree
parent55ce505ca757dc241bf4c1e10023bc43ac531a23commit | diff
Add core LFSC signatures (#7289)

These files define how terms and sorts are represented. It also adds basic utilities used throughout.
proofs/lfsc/signatures/core_defs.plf [new file with mode: 0644] blob
proofs/lfsc/signatures/theory_def.plf [new file with mode: 0644] blob
proofs/lfsc/signatures/util_defs.plf [new file with mode: 0644] blob