[acl2/acl2] 4ce6d7: SVTVs: add conditional override entry type

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 4ce6d70dd6befbd3006aa2d52878625f6cc9903b
https://github.com/acl2/acl2/commit/4ce6d70dd6befbd3006aa2d52878625f6cc9903b
Author: Sol Swords <ssw...@centtech.com>
Date: 2017-01-06 (Fri, 06 Jan 2017)

Changed paths:
M books/centaur/sv/svtv/expand.lisp
M books/centaur/sv/svtv/fsm.lisp
M books/centaur/sv/svtv/process.lisp
M books/centaur/sv/svtv/structure.lisp

Log Message:
-----------
SVTVs: add conditional override entry type


Commit: 94a83133b9f187efe9898f0ea57889a2235e8cae
https://github.com/acl2/acl2/commit/94a83133b9f187efe9898f0ea57889a2235e8cae
Author: Sol Swords <ssw...@centtech.com>
Date: 2017-01-06 (Fri, 06 Jan 2017)

Changed paths:
M apply-raw.lisp
M books/build/make_cert_help.pl
M books/misc/check-acl2-exports.lisp
M books/projects/sat/lrat/stobj-based/lrat-parser.lisp
M books/system/doc/acl2-doc.lisp
M books/xdoc/topics.lisp
M defuns.lisp
M doc.lisp
M emacs/acl2-doc.el
M other-events.lisp
M proof-builder-b.lisp

Log Message:
-----------
Merge remote-tracking branch 'remotes/origin/testing'


Commit: 399ff9e1a45595ffedaf0dd6685c6aa39a3b3bf4
https://github.com/acl2/acl2/commit/399ff9e1a45595ffedaf0dd6685c6aa39a3b3bf4
Author: Sol Swords <ssw...@centtech.com>
Date: 2017-01-06 (Fri, 06 Jan 2017)

Changed paths:
M books/build/make_cert_help.pl

Log Message:
-----------
fall back to 1 sec timing precision in the extremely unlikely event Time::HiRes isn't available


Commit: b59d5c5e34f5f107d3aaae4fc57d1fbf03d393b7
https://github.com/acl2/acl2/commit/b59d5c5e34f5f107d3aaae4fc57d1fbf03d393b7
Author: Sol Swords <ssw...@centtech.com>
Date: 2017-01-06 (Fri, 06 Jan 2017)

Changed paths:
A books/centaur/sv/cosims/inst_arr3/spec.sv
A books/centaur/sv/cosims/inst_arr4/spec.sv
A books/centaur/sv/cosims/inst_arr5/spec.sv
A books/centaur/sv/cosims/unknown/spec.sv
M books/centaur/sv/vl/moddb.lisp

Log Message:
-----------
VL/SV: fix bug in instance array numbering


Compare: https://github.com/acl2/acl2/compare/7514e95b6331...b59d5c5e34f5

[GitHub]

Branch: refs/heads/master