acl2-books

Contact owners and managers

1–30 of 13397

Email list for ACL2 and ACL2 Books development.

Note: There are separate email lists for general ACL2-related announcements, help, etc;
See the Mailing Lists link on the ACL2 Web Page for details.

Appropriate topics for this list include:

Updates to ACL2 or Community Books source code (e.g., commit messages, issue tracker updates, etc.)
General discussion of ACL2 system- and books-related development.
Problems or questions about the current development version of ACL2 and the books.

Note: This list receives automatic commit messages for the ACL2 Github project. These messages come from noreply@github.com and generally have [acl2/acl2] in the title. You may wish to configure your email software to filter these messages.

0 selected

Apr 24

[acl2/acl2] 0ae7c8: Added Gaussian Elimination book (using dfs) and ex...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 0ae7c8: Added Gaussian Elimination book (using dfs) and ex...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 24

Apr 24

Branch: refs/heads/big-arrays Home: https://github.com/acl2/acl2 To unsubscribe from these emails,

unread,

Branch: refs/heads/big-arrays Home: https://github.com/acl2/acl2 To unsubscribe from these emails,

Apr 24

Apr 24

[acl2/acl2] e02efb: [ACL2s] updating to 64 bit fixnums in defdata code

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] e02efb: [ACL2s] updating to 64 bit fixnums in defdata code

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 24

Apr 24

[acl2/acl2] 6afa5d: Fix broken Google Fonts links

Branch: refs/heads/testing-kestrel Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 6afa5d: Fix broken Google Fonts links

Branch: refs/heads/testing-kestrel Home: https://github.com/acl2/acl2 Commit:

Apr 24

Apr 24

[acl2/acl2] c47a5e: Increased the bound on array lengths.

Branch: refs/heads/testing-acl2s Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] c47a5e: Increased the bound on array lengths.

Branch: refs/heads/testing-acl2s Home: https://github.com/acl2/acl2 Commit:

Apr 24

Apr 24

[acl2/acl2] 80f5b8: [acl2-arrays/axe] Improve handling of array lengths.

Branch: refs/heads/big-arrays Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 80f5b8: [acl2-arrays/axe] Improve handling of array lengths.

Branch: refs/heads/big-arrays Home: https://github.com/acl2/acl2 Commit:

Apr 24

Apr 23

[acl2/acl2] 73e20d: [ACL2s] Updating cgen to use updated fixnums, whic...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 73e20d: [ACL2s] Updating cgen to use updated fixnums, whic...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 23

Apr 23

[acl2/acl2] 19a081: [utilities] Add/improve rules about make-var-names...

Branch: refs/heads/testing-acl2s Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 19a081: [utilities] Add/improve rules about make-var-names...

Branch: refs/heads/testing-acl2s Home: https://github.com/acl2/acl2 Commit:

Apr 23

Apr 21

[acl2/acl2] ffedad: Added swap-stobj example developed with J and refe...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] ffedad: Added swap-stobj example developed with J and refe...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 21

Apr 19

[acl2/acl2] 1dc3de: Increased ACL2 analogue of maximum fixnum from 2^2...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 1dc3de: Increased ACL2 analogue of maximum fixnum from 2^2...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 19

Apr 19

[acl2/acl2] 1730cd: [axe] Clarify/simplify and remove duplicate code.

Branch: refs/heads/testing-acl2s Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 1730cd: [axe] Clarify/simplify and remove duplicate code.

Branch: refs/heads/testing-acl2s Home: https://github.com/acl2/acl2 Commit:

Apr 19

Apr 18

[acl2/acl2] cc260f: [ACL2s] Update to defdata to speed up some of the ...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] cc260f: [ACL2s] Update to defdata to speed up some of the ...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 18

Apr 18

bigger subtypes of fixnum in ACL2

Hi acl2-books, I'm in the process of making ACL2 source changes by, in essence, replacing

unread,

bigger subtypes of fixnum in ACL2

Hi acl2-books, I'm in the process of making ACL2 source changes by, in essence, replacing

Apr 18

Apr 17

[acl2/acl2] 7990b6: [axe] Clarify some STP-related and type-related code.

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 7990b6: [axe] Clarify some STP-related and type-related code.

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 17

Apr 16

[acl2/acl2] 0c794a: [axe] Improve improve-book.

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 0c794a: [axe] Improve improve-book.

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 16

Apr 15

[acl2/acl2] f045e4: Comment fix only (typo).

Branch: refs/heads/testing-kestrel Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] f045e4: Comment fix only (typo).

Branch: refs/heads/testing-kestrel Home: https://github.com/acl2/acl2 Commit:

Apr 15

Apr 14

[acl2/acl2] bf74e6: Fixed script for generating tags table for sources...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] bf74e6: Fixed script for generating tags table for sources...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 14

Apr 14

[acl2/acl2] efc90b: Cause explicit error with user-friendly message wh...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] efc90b: Cause explicit error with user-friendly message wh...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 14

acl2buildserver2

Apr 14

[acl2/acl2] 54e399: [Std/osets] Lowercase some code.

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 54e399: [Std/osets] Lowercase some code.

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 14

Apr 14

[acl2/acl2] 7a255a: [utilities] Fix comment typo.

Branch: refs/heads/testing-user-01 Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 7a255a: [utilities] Fix comment typo.

Branch: refs/heads/testing-user-01 Home: https://github.com/acl2/acl2 Commit:

Apr 14

acl2buildserver2

Apr 14

[acl2/acl2] 224653: Improved error messages for the use of a DO loop$ ...

Branch: refs/heads/master Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 224653: Improved error messages for the use of a DO loop$ ...

Branch: refs/heads/master Home: https://github.com/acl2/acl2 Commit:

Apr 14

Apr 12

[acl2/acl2] 576c19: [kestrel] Fix comment/doc typos.

Branch: refs/heads/master Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 576c19: [kestrel] Fix comment/doc typos.

Branch: refs/heads/master Home: https://github.com/acl2/acl2 Commit:

Apr 12

Apr 11

[acl2/acl2] 4bb493: [build] Ignore some generated files.

Branch: refs/heads/master Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 4bb493: [build] Ignore some generated files.

Branch: refs/heads/master Home: https://github.com/acl2/acl2 Commit:

Apr 11

Apr 11

[acl2/acl2] 26fd95: Improved documentation on redefined and hidden pac...

Branch: refs/heads/testing-kestrel Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 26fd95: Improved documentation on redefined and hidden pac...

Branch: refs/heads/testing-kestrel Home: https://github.com/acl2/acl2 Commit:

Apr 11

Apr 11

[acl2/acl2] 8e417a: [axe/x86] Tweak rule-lists.

Branch: refs/heads/testing-acl2s Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 8e417a: [axe/x86] Tweak rule-lists.

Branch: refs/heads/testing-acl2s Home: https://github.com/acl2/acl2 Commit:

Apr 11

acl2buildserver2

Apr 11

[acl2/acl2] 240ef0: [C] Doc fixes.

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 240ef0: [C] Doc fixes.

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 11

Apr 11

[acl2/acl2] d9b784: [axe] Clarify/optimize depth-array machinery.

Branch: refs/heads/testing-user-01 Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] d9b784: [axe] Clarify/optimize depth-array machinery.

Branch: refs/heads/testing-user-01 Home: https://github.com/acl2/acl2 Commit:

Apr 11

Alessandro Coglio, Eric Smith3

Apr 11

Loose list recognizers

That's the first thing I tried, but there were failures which I didn't want to spend time

unread,

Loose list recognizers

That's the first thing I tried, but there were failures which I didn't want to spend time

Apr 11

Apr 11

[acl2/acl2] 3a88d8: Improved an error message produced by runes-diff, ...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 3a88d8: Improved an error message produced by runes-diff, ...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 11

Apr 10

[acl2/acl2] 33d7f9: Made minor update to getenv$ for LispWorks based o...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

unread,

[acl2/acl2] 33d7f9: Made minor update to getenv$ for LispWorks based o...

Branch: refs/heads/testing Home: https://github.com/acl2/acl2 Commit:

Apr 10

Search

Clear search

Close search

Google apps

Main menu