[acl2/acl2]

0 views
Skip to first unread message

Stephen Westfold

unread,
Jul 28, 2026, 1:39:47 AMJul 28
to acl2-...@googlegroups.com
Branch: refs/heads/validate-unique
Home: https://github.com/acl2/acl2

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

Stephen Westfold

unread,
Jul 28, 2026, 1:41:09 AMJul 28
to acl2-...@googlegroups.com
Branch: refs/heads/monomorphization-termination

Alessandro Coglio

unread,
Aug 5, 2026, 12:27:20 PMAug 5
to acl2-...@googlegroups.com
Branch: refs/heads/param-declon

Stephen Westfold

unread,
Aug 6, 2026, 10:34:19 PM (13 days ago) Aug 6
to acl2-...@googlegroups.com
Branch: refs/heads/uniquify-identity

Eric McCarthy

unread,
Aug 10, 2026, 11:26:16 PM (9 days ago) Aug 10
to acl2-...@googlegroups.com
Branch: refs/heads/rust-lexer

Stephen Westfold

unread,
Aug 12, 2026, 2:01:52 AM (8 days ago) Aug 12
to acl2-...@googlegroups.com
Branch: refs/heads/monomorphize-file

Alessandro Coglio

unread,
Aug 12, 2026, 12:38:31 PM (7 days ago) Aug 12
to acl2-...@googlegroups.com
Branch: refs/heads/deffold-map

Stephen Westfold

unread,
Aug 14, 2026, 2:15:20 AM (6 days ago) Aug 14
to acl2-...@googlegroups.com
Branch: refs/heads/monomorphize-file

Stephen Westfold

unread,
Aug 18, 2026, 2:09:54 PM (yesterday) Aug 18
to acl2-...@googlegroups.com
Branch: refs/heads/fresh-names-valid
Reply all
Reply to author
Forward
0 new messages