[acl2/acl2] 73a83c: [axe] Add explanation of file.

0 views
Skip to first unread message

Eric W. Smith

unread,
Jan 15, 2026, 1:39:04 AM (6 days ago) Jan 15
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 73a83cd18206781f400926e5860358e018d602c4
https://github.com/acl2/acl2/commit/73a83cd18206781f400926e5860358e018d602c4
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-14 (Wed, 14 Jan 2026)

Changed paths:
M books/kestrel/axe/unguarded-defuns.lisp

Log Message:
-----------
[axe] Add explanation of file.


Commit: 19d06911de2ff34f22e0d15baf2cc6e32e3cf901
https://github.com/acl2/acl2/commit/19d06911de2ff34f22e0d15baf2cc6e32e3cf901
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-14 (Wed, 14 Jan 2026)

Changed paths:
M books/kestrel/axe/evaluator-tests.acl2
M books/kestrel/axe/evaluator-tests.lisp
M books/kestrel/axe/evaluator.acl2
M books/kestrel/axe/evaluator.lisp

Log Message:
-----------
[axe] Avoid use of LISP package in legacy evaluator.


Commit: 1684163590189f715c9873fd2188e509bcc1680d
https://github.com/acl2/acl2/commit/1684163590189f715c9873fd2188e509bcc1680d
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-14 (Wed, 14 Jan 2026)

Changed paths:
M books/kestrel/axe/x86/tester-code-only.lisp
M books/kestrel/axe/x86/unroller-code-only.lisp

Log Message:
-----------
[axe/x86] Drop now unneeded includes.


Compare: https://github.com/acl2/acl2/compare/b16e9d458228...168416359018

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

acl2buildserver

unread,
Jan 15, 2026, 4:51:11 AM (6 days ago) Jan 15
to acl2-...@googlegroups.com
Branch: refs/heads/master
Commit: bdefdf557923e24cd1a9d0beec29daa861bdb67a
https://github.com/acl2/acl2/commit/bdefdf557923e24cd1a9d0beec29daa861bdb67a
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
M books/kestrel/axe/evaluator-tests.acl2
M books/kestrel/axe/evaluator-tests.lisp
M books/kestrel/axe/evaluator.acl2
M books/kestrel/axe/evaluator.lisp
M books/kestrel/axe/unguarded-defuns.lisp
M books/kestrel/axe/x86/tester-code-only.lisp
M books/kestrel/axe/x86/unroller-code-only.lisp

Log Message:
-----------
Merge commit '1684163590189f715c9873fd2188e509bcc1680d' into HEAD


Compare: https://github.com/acl2/acl2/compare/3e153beb2405...bdefdf557923

acl2buildserver

unread,
Jan 15, 2026, 4:51:43 AM (6 days ago) Jan 15
to acl2-...@googlegroups.com
Branch: refs/heads/testing

Alessandro Coglio

unread,
Jan 15, 2026, 4:27:46 PM (5 days ago) Jan 15
to acl2-...@googlegroups.com
Branch: refs/heads/testing-user-01
Commit: 47a45cb8553cab656eb8755afb980f45252379f0
https://github.com/acl2/acl2/commit/47a45cb8553cab656eb8755afb980f45252379f0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
A books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-states.lisp
M books/kestrel/c/syntax/preprocessor.lisp

Log Message:
-----------
[C$] Re-organize some preprocessor code.

Put lexemes into their own file and XDOC topic.


Commit: 98417555bc62ec5201610cd6aa847cd4fd479d78
https://github.com/acl2/acl2/commit/98417555bc62ec5201610cd6aa847cd4fd479d78
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
A books/kestrel/c/syntax/macro-tables.lisp
M books/kestrel/c/syntax/preprocessor-states.lisp
M books/kestrel/c/syntax/preprocessor.lisp

Log Message:
-----------
[C$] Re-organize some preprocessor code.

Put macro tables into their own file and XDOC topic.


Commit: 7237e0b1590107ab55b2459ec12324ed8dc95329
https://github.com/acl2/acl2/commit/7237e0b1590107ab55b2459ec12324ed8dc95329
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
M books/kestrel/c/syntax/tests/c17-std-example6-6.10.3.5.c
M books/kestrel/c/syntax/tests/preprocessor.lisp

Log Message:
-----------
[C$] Fix preprocessor test, which now works.

Fortunately it was a trascription error from the standard, and the behavior is
consistent with what the standard states in general (not ambiguous).


Commit: 5956d7ba5259094eaeb7c14bf9b0c00e2ce49aa1
https://github.com/acl2/acl2/commit/5956d7ba5259094eaeb7c14bf9b0c00e2ce49aa1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
M books/kestrel/c/syntax/macro-tables.lisp

Log Message:
-----------
[C$] Update and clarify some doc.


Commit: 7e512a834a98c372a72c4729cae6190769c42f99
https://github.com/acl2/acl2/commit/7e512a834a98c372a72c4729cae6190769c42f99
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
M books/kestrel/c/syntax/macro-tables.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/tests/c17-std-example3-6.10.3.5.c
M books/kestrel/c/syntax/tests/preprocessor.lisp

Log Message:
-----------
[C$] Add support for `#undef` directives.

Enable test from C17 standard that uses `#undef`.


Commit: f087c86ee8983f1aae0333451a1215b4b55c6053
https://github.com/acl2/acl2/commit/f087c86ee8983f1aae0333451a1215b4b55c6053
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
M books/kestrel/c/syntax/preprocessor.lisp

Log Message:
-----------
[C$] Fix comment.


Compare: https://github.com/acl2/acl2/compare/3e153beb2405...f087c86ee898
Reply all
Reply to author
Forward
0 new messages