[acl2/acl2] 315399: removed books that comprise the fixers GL/SATLINK ...

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 31539997fa1599b57f352ac7d31ffeee592937d7
https://github.com/acl2/acl2/commit/31539997fa1599b57f352ac7d31ffeee592937d7
Author: Harsh Raju Chamarthi <harshraju...@ge.com>
Date: 2017-08-04 (Fri, 04 Aug 2017)

Changed paths:
M books/acl2s/cgen/cert.acl2
M books/acl2s/cgen/top.lisp
M books/acl2s/mode-acl2s-dependencies.lisp

Log Message:
-----------
removed books that comprise the fixers GL/SATLINK backend


Commit: aaba290878a5204be5a44c655fa5625bcf8cdbcc
https://github.com/acl2/acl2/commit/aaba290878a5204be5a44c655fa5625bcf8cdbcc
Author: Harsh Raju Chamarthi <harshraju...@ge.com>
Date: 2017-08-04 (Fri, 04 Aug 2017)

Changed paths:
M books/tools/flag.lisp

Log Message:
-----------
Merge remote-tracking branch 'remotes/upstream/master'


Commit: f5efd1f3aa1517e66fbf7fcd3b65414ba4618fb6
https://github.com/acl2/acl2/commit/f5efd1f3aa1517e66fbf7fcd3b65414ba4618fb6
Author: Harsh Raju Chamarthi <harshraju...@ge.com>
Date: 2017-08-05 (Sat, 05 Aug 2017)

Changed paths:
M books/acl2s/cgen/build-enumcalls.lisp
M books/acl2s/cgen/testing-regression.lsp

Log Message:
-----------
Fixed a type bug. Use Def intead of normalized-def and check for consp before doing a car.


Commit: 70d24ead05d3fc702d2de703cfdcca805c8b5014
https://github.com/acl2/acl2/commit/70d24ead05d3fc702d2de703cfdcca805c8b5014
Author: Harsh Raju Chamarthi <harshraju...@ge.com>
Date: 2017-08-05 (Sat, 05 Aug 2017)

Changed paths:
M books/acl2s/cgen/testing-regression.lsp

Log Message:
-----------
add an example to regression which needs len support in Cgen


Commit: 630b5161479d2a8a9eea12c1f9e064aebcc4a1b0
https://github.com/acl2/acl2/commit/630b5161479d2a8a9eea12c1f9e064aebcc4a1b0
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2017-08-05 (Sat, 05 Aug 2017)

Changed paths:
M books/acl2s/cgen/build-enumcalls.lisp
M books/acl2s/cgen/cert.acl2
M books/acl2s/cgen/testing-regression.lsp
M books/acl2s/cgen/top.lisp
M books/acl2s/mode-acl2s-dependencies.lisp

Log Message:
-----------
Merge pull request #757 from harshrc/master

Remove GL backend for fixers for now. Fixed type bug in range types.


Compare: https://github.com/acl2/acl2/compare/e3e1b5f903e2...630b5161479d

[GitHub]

Branch: refs/heads/master