diff options
Diffstat (limited to 'proofs/lfsc_checker/NEWS')
| -rw-r--r-- | proofs/lfsc_checker/NEWS | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/proofs/lfsc_checker/NEWS b/proofs/lfsc_checker/NEWS deleted file mode 100644 index 1a357ab4c..000000000 --- a/proofs/lfsc_checker/NEWS +++ /dev/null @@ -1,9 +0,0 @@ -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 |