[acl2/acl2] 26469a: [Remora] Haskell unchecked AST predicate

0 views
Skip to first unread message

Alessandro Coglio

unread,
Aug 17, 2026, 3:19:56 PM (2 days ago) Aug 17
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 26469ada160c7166e8f797285cb5f5b588b28bff
https://github.com/acl2/acl2/commit/26469ada160c7166e8f797285cb5f5b588b28bff
Author: Sarah-Scott <sarah....@kestrel.edu>
Date: 2026-08-17 (Mon, 17 Aug 2026)

Changed paths:
A books/kestrel/remora/abstract-syntax-haskell.lisp
M books/kestrel/remora/abstract-syntax.lisp

Log Message:
-----------
[Remora] Haskell unchecked AST predicate


Commit: a0cea64b2d15758c93f04a8d128ce48af86bdef0
https://github.com/acl2/acl2/commit/a0cea64b2d15758c93f04a8d128ce48af86bdef0
Author: Alessandro Coglio <2409151...@users.noreply.github.com>
Date: 2026-08-17 (Mon, 17 Aug 2026)

Changed paths:
A books/kestrel/remora/abstract-syntax-haskell.lisp
M books/kestrel/remora/abstract-syntax.lisp

Log Message:
-----------
Merge pull request #2014 from Sarah-Scott/remora-haskell

[Remora] Haskell unchecked AST predicate


Compare: https://github.com/acl2/acl2/compare/aefd4216019a...a0cea64b2d15

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

acl2buildserver

unread,
Aug 17, 2026, 5:49:15 PM (2 days ago) Aug 17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 26469ada160c7166e8f797285cb5f5b588b28bff
https://github.com/acl2/acl2/commit/26469ada160c7166e8f797285cb5f5b588b28bff
Author: Sarah-Scott <sarah....@kestrel.edu>
Date: 2026-08-17 (Mon, 17 Aug 2026)

Changed paths:
A books/kestrel/remora/abstract-syntax-haskell.lisp
M books/kestrel/remora/abstract-syntax.lisp

Log Message:
-----------
[Remora] Haskell unchecked AST predicate


Commit: a0cea64b2d15758c93f04a8d128ce48af86bdef0
https://github.com/acl2/acl2/commit/a0cea64b2d15758c93f04a8d128ce48af86bdef0
Author: Alessandro Coglio <2409151...@users.noreply.github.com>
Date: 2026-08-17 (Mon, 17 Aug 2026)

Changed paths:
A books/kestrel/remora/abstract-syntax-haskell.lisp
M books/kestrel/remora/abstract-syntax.lisp

Log Message:
-----------
Merge pull request #2014 from Sarah-Scott/remora-haskell

[Remora] Haskell unchecked AST predicate


Commit: b343c4ebf8e75b51720184033a6be3477b3b840a
https://github.com/acl2/acl2/commit/b343c4ebf8e75b51720184033a6be3477b3b840a
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-17 (Mon, 17 Aug 2026)

Changed paths:
M books/kestrel/axe/arm/unroller.lisp

Log Message:
-----------
[axe/arm] Improve printing to elide more huge terms.


Commit: c66e32d196673e45864c37220f463419d8f0ae16
https://github.com/acl2/acl2/commit/c66e32d196673e45864c37220f463419d8f0ae16
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-17 (Mon, 17 Aug 2026)

Changed paths:
A books/kestrel/remora/abstract-syntax-haskell.lisp
M books/kestrel/remora/abstract-syntax.lisp

Log Message:
-----------
Merge.


Commit: 336abd732424d63d5f7ef141cd465df318ca02ae
https://github.com/acl2/acl2/commit/336abd732424d63d5f7ef141cd465df318ca02ae
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-08-17 (Mon, 17 Aug 2026)

Changed paths:
M books/kestrel/axe/arm/unroller.lisp
A books/kestrel/remora/abstract-syntax-haskell.lisp
M books/kestrel/remora/abstract-syntax.lisp

Log Message:
-----------
Merge commit 'c66e32d196673e45864c37220f463419d8f0ae16' into HEAD


Compare: https://github.com/acl2/acl2/compare/a516e85ca580...336abd732424

acl2buildserver

unread,
Aug 17, 2026, 5:49:36 PM (2 days ago) Aug 17
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages