git.libre-soc.org Git - cvc5.git/history - src/proof/lfsc/lfsc_node

2022-02-08	Andrew Reynolds	Fix LFSC node conversion for non-shared selectors ...	blob \| commitdiff \| raw
2022-02-03	Aina Niemetz	Rename kind PLUS -> ADD. (#8036)	blob \| commitdiff \| raw \| diff to current
2022-02-02	Aina Niemetz	Rename kinds MINUS -> SUB and UMINUS -> NEG. (#8035)	blob \| commitdiff \| raw \| diff to current
2022-02-02	Andrew Reynolds	Fix printing of re.loop as an operator in LFSC (#8029)	blob \| commitdiff \| raw \| diff to current
2022-02-02	Andrew Reynolds	Add missing null terminators for regexp (#8027)	blob \| commitdiff \| raw \| diff to current
2022-01-10	Andrew Reynolds	Fix internal type error when printing lambdas with...	blob \| commitdiff \| raw \| diff to current
2021-12-13	Andrew Reynolds	Initial cut at distinguishing uses of CONST_RATIONAL...	blob \| commitdiff \| raw \| diff to current
2021-11-23	Gereon Kremer	Push output language inside the printing code (#7683)	blob \| commitdiff \| raw \| diff to current
2021-11-12	mudathirmahgoub	bags: Rename kinds with a more consistent naming scheme...	blob \| commitdiff \| raw \| diff to current
2021-11-12	Andres Noetzli	Remove `ConstantMap<Rational>` (#7635)	blob \| commitdiff \| raw \| diff to current
2021-11-08	Aina Niemetz	sets: Rename kinds with a more consistent naming scheme...	blob \| commitdiff \| raw \| diff to current
2021-10-29	Andrew Reynolds	Improvements for LFSC proof conversion (#7524)	blob \| commitdiff \| raw \| diff to current
2021-09-02	Andrew Reynolds	Add LFSC node converter (#6944)	blob \| commitdiff \| raw \| diff to current