Branch: refs/heads/testing
Home:
https://github.com/acl2/acl2
Commit: b25d278f83d583593bd3e8aca36e485a09ed53fa
https://github.com/acl2/acl2/commit/b25d278f83d583593bd3e8aca36e485a09ed53fa
Author: Jared C. Davis <
jared....@gmail.com>
Date: 2015-11-12 (Thu, 12 Nov 2015)
Changed paths:
M books/centaur/fty/visitor.lisp
M books/centaur/sv/vl/top.lisp
M books/centaur/sv/vl/vl-svstmt.lisp
M books/centaur/vl/kit/lint.lisp
A books/centaur/vl/lint/lvaluecheck.lisp
A books/centaur/vl/loader/parser/assignments.lisp
M books/centaur/vl/loader/parser/elements.lisp
M books/centaur/vl/loader/parser/gates.lisp
M books/centaur/vl/loader/parser/insts.lisp
R books/centaur/vl/loader/parser/lvalues.lisp
M books/centaur/vl/loader/parser/nets.lisp
M books/centaur/vl/loader/parser/statements.lisp
M books/centaur/vl/mlib/lvalues.lisp
R books/centaur/vl/transforms/always/acl2-customization.lsp
R books/centaur/vl/transforms/always/cert.acl2
R books/centaur/vl/transforms/always/elimalways.lisp
R books/centaur/vl/transforms/always/eliminitial.lisp
R books/centaur/vl/transforms/always/images/edgesynth_reset.png
R books/centaur/vl/transforms/always/images/edgesynth_reset.svg
R books/centaur/vl/transforms/always/util.lisp
A books/centaur/vl/transforms/eliminitial.lisp
Log Message:
-----------
Tweak VL lvalue/assignment parsing, misc cleanup
- Extend lvalue parsing to handle streaming concatenations
- Delete some old, now unused stuff from transforms/always
- Delete old, now unusedmlib/lvalues file
- Fix bug with visitor on new transsum stuff
- Fix up lvaluecheck transform to use defvisitor