git.libre-soc.org Git - cvc5.git/history - contrib/get-lfsc-checker

2021-12-20	Haniel Barbosa	[proofs] Fix helper LFSC script (#7845)	blob \| commitdiff \| raw
2021-12-17	Andrew Reynolds	Simplify contrib/get-lfsc-checker and use cvc5 repo...	blob \| commitdiff \| raw \| diff to current
2021-04-21	Mathias Preiner	Goodbye CVC4, hello cvc5! (#6371)	blob \| commitdiff \| raw \| diff to current
2021-03-24	Gereon Kremer	Refactor our integration of LFSC (#6201)	blob \| commitdiff \| raw \| diff to current
2020-11-10	Alex Ozdemir	Pin LFSC version (#5412)	blob \| commitdiff \| raw \| diff to current
2020-11-02	Aina Niemetz	contrib: Remove dependency directories. (#5367)	blob \| commitdiff \| raw \| diff to current
2019-12-06	Mathias Preiner	contrib: Setup all dependencies in deps/ directory...	blob \| commitdiff \| raw \| diff to current
2019-08-26	Mathias Preiner	Make contrib/get-* more robust. (#3198)	blob \| commitdiff \| raw \| diff to current
2018-10-19	Mathias Preiner	Remove autotools build system. (#2639)	blob \| commitdiff \| raw \| diff to current
2018-02-07	Mathias Preiner	Use separate shell script for common get-* script parts...	blob \| commitdiff \| raw \| diff to current
2017-08-25	Aina Niemetz	Move LFSC checker out of the CVC repository. (#222)	blob \| commitdiff \| raw \| diff to current