A

acl2

Settings | Report Duplicate

2

I Use This!

Very High Activity

Commits : Listings

Analyzed about 18 hours ago. based on code collected about 23 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 24, 2023 — Apr 24, 2024 Showing page 1 of 1,243 Search / Filter on:
[ACL2s] Updating cgen to use updated fixnums, which went up from ~2^29 to ~2^60	Pete Manolios	More...				1 day ago
Added swap-stobj example developed with J and referenced it in DOC topics nested-stobjs and swap-stobjs. Also fixed a typo found by J in :DOC brr-commands.	Matt Kaufmann	More...				3 days ago
Increased ACL2 analogue of maximum fixnum from 2^29-1 to 2^60-1.	Matt Kaufmann	More...				5 days ago
Merge commit 'bca8c344287004a7d8090ca85c1ed824e8753052' into HEAD	ACL2 Build Server	More...				6 days ago
[axe/x86] Fix rule name.	Eric Smith	More...				6 days ago
[x86] Add more read-of-write rules.	Eric Smith	More...				6 days ago
[axe] Tweak error message.	Eric Smith	More...				6 days ago
[axe] Organize elim code and localize some rules.	Eric Smith	More...				6 days ago
[axe] Use simpler library function.	Eric Smith	More...				6 days ago
[axe] Improve a rule.	Eric Smith	More...				6 days ago
[utilities] Add/improve rules about make-var-names, etc.	Eric Smith	More...				6 days ago
Merge commit 'cc260f5ed69b47d2b59b86d771876ec8766e1edd' into HEAD	ACL2 Build Server	More...				6 days ago
[ACL2s] Update to defdata to speed up some of the recrod reasoning. Thanks to Ankit Kumar for the suggestion.	Pete Manolios	More...				6 days ago
Merge commit '549104730ff87513a9545e14935a7e91caa869f4' into HEAD	ACL2 Build Server	More...				6 days ago
[axe] Reorganize file, comment out function int-hyps (deprecated).	Eric Smith	More...				6 days ago
[utilities] Tweaks.	Eric Smith	More...				6 days ago
[utilities] Start cleaning up make-var-names, etc.	Eric Smith	More...				6 days ago
[axe] Drop redundant util.	Eric Smith	More...				6 days ago
[axe] Start adding :sweep-and-merge tactic to tactic-prover.	Eric Smith	More...				7 days ago
[axe] Fix probably fact finding.	Eric Smith	More...				7 days ago
[axe] Clarify hyp generators.	Eric Smith	More...				7 days ago
[utilities] Fix comment typo.	Eric Smith	More...				7 days ago
[utilities] Have the book about >=-len disable it.	Eric Smith	More...				7 days ago
[axe] Organize and localize some rules.	Eric Smith	More...				7 days ago
[axe] Tweak.	Eric Smith	More...				7 days ago
Merge.	Eric Smith	More...				7 days ago
[axe] Disable a function.	Eric Smith	More...				7 days ago
[axe] Export fewer rules.	Eric Smith	More...				7 days ago
[axe] Continue clarifying and adding guards.	Eric Smith	More...				7 days ago
Merge commit 'a7844a551a837ebe4d5182062d915ced831aad31' into HEAD	ACL2 Build Server	More...				7 days ago

←
1
2
3
4
5
6
7
8
9
…
1242
1243
→