[acl2/acl2] 5d26ac: Incorporated new parser for stobj-based lrat check...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 5d26acc3243151396fbc2820ab5180a674666499
https://github.com/acl2/acl2/commit/5d26acc3243151396fbc2820ab5180a674666499
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-01-06 (Fri, 06 Jan 2017)

Changed paths:
A books/projects/sat/lrat/stobj-based/limits.lisp
M books/projects/sat/lrat/stobj-based/lrat-checker.lisp
M books/projects/sat/lrat/stobj-based/lrat-parser.lisp

Log Message:
-----------
Incorporated new parser for stobj-based lrat checker, written by Warren Hunt.

[GitHub]

Branch: refs/heads/testing