diff options
Diffstat (limited to 'proofs/lfsc_checker/NEWS')
-rw-r--r-- | proofs/lfsc_checker/NEWS | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/proofs/lfsc_checker/NEWS b/proofs/lfsc_checker/NEWS new file mode 100644 index 000000000..1a357ab4c --- /dev/null +++ b/proofs/lfsc_checker/NEWS @@ -0,0 +1,9 @@ +This file contains a summary of important user-visible changes to the +LFSC proof checker. + +Changes since pre-1.0 (unversioned) releases +============================================ + +* Incorporated the LFSC checker into the CVC4 project. + +-- Morgan Deters <mdeters@cs.nyu.edu> Thu, 12 Dec 2013 18:16:08 -0500 |