[acl2/acl2] f21310: Document ARGLISTP built-in system utility.
0 views
Skip to first unread message
GitHub
Oct 15, 2017, 9:41:27 PM10/15/17
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: f21310ce142ee35fbf93267b7f0b12778f260065
https://github.com/acl2/acl2/commit/f21310ce142ee35fbf93267b7f0b12778f260065
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-13 (Fri, 13 Oct 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
Log Message:
-----------
Document ARGLISTP built-in system utility.
Commit: 553f7955131ac04d9cd02c8424d7fc70ee934b86
https://github.com/acl2/acl2/commit/553f7955131ac04d9cd02c8424d7fc70ee934b86
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-13 (Fri, 13 Oct 2017)
Changed paths:
M books/kestrel/utilities/terms-tests.lisp
M books/kestrel/utilities/terms.lisp
Log Message:
-----------
Remove unneeded term utility.
Commit: bb0143c747cd0711914f4231e32871b6e99612c6
https://github.com/acl2/acl2/commit/bb0143c747cd0711914f4231e32871b6e99612c6
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-13 (Fri, 13 Oct 2017)
Changed paths:
M books/kestrel/utilities/world-queries.lisp
Log Message:
-----------
Move a function within a file.
Commit: c7747376c1b718d87f58caeb6adab1f9203768db
https://github.com/acl2/acl2/commit/c7747376c1b718d87f58caeb6adab1f9203768db
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-13 (Fri, 13 Oct 2017)
Changed paths:
M books/kestrel/top.lisp
Log Message:
-----------
Slightly expand top Kestrel Books doc page.
Commit: d734ad57b0d5638f12bfd2184a04060fa59d3843
https://github.com/acl2/acl2/commit/d734ad57b0d5638f12bfd2184a04060fa59d3843
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/world-queries-tests.lisp
M books/kestrel/utilities/world-queries.lisp
Log Message:
-----------
Add some world query utilities.
Some specialize some built-in system utilities.
Some are "logic-friendly" versions of other system utilities.
Commit: a7846ac14dc4d93a1966d2200b677b9b55214a51
https://github.com/acl2/acl2/commit/a7846ac14dc4d93a1966d2200b677b9b55214a51
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/error-checking.lisp
Log Message:
-----------
Improve documentation string in error-checking function.
Commit: d8339ae1f3ddfbaf60834472e4d1b5d5b6a76fb0
https://github.com/acl2/acl2/commit/d8339ae1f3ddfbaf60834472e4d1b5d5b6a76fb0
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/terms.lisp
Log Message:
-----------
Slightly expand doc of APPLY-TERM and APPLY-TERM*.
Mention that these two utilities extend CONS-TERM and CONS-TERM* to lambda
expressions.
Commit: 758fce33cb2662dd29aba79613f54648d05ba961
https://github.com/acl2/acl2/commit/758fce33cb2662dd29aba79613f54648d05ba961
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/system/kestrel.lisp
Log Message:
-----------
Put FSUBCOR-VAR into logic, guard-verified mode.
Commit: 01a8c311467ef06a1769d6a97f57f24b9b5c6fc5
https://github.com/acl2/acl2/commit/01a8c311467ef06a1769d6a97f57f24b9b5c6fc5
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/apt/tailrec.lisp
Log Message:
-----------
Fix typo in documentation.
Commit: 926009d7410277fc4d6a98414a36d2b0d8d844db
https://github.com/acl2/acl2/commit/926009d7410277fc4d6a98414a36d2b0d8d844db
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/apt/restrict.lisp
M books/kestrel/apt/tailrec.lisp
Log Message:
-----------
Fix some out-of-date documentation.
Also avoid some unnecessary INCLUDE-BOOKs.
Commit: d14a78c5965add8a3d01cdaa11bc3cb042879a4c
https://github.com/acl2/acl2/commit/d14a78c5965add8a3d01cdaa11bc3cb042879a4c
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/apt/restrict.lisp
M books/kestrel/apt/tailrec.lisp
Log Message:
-----------
Fix some outdated documentation.
Commit: b57289d34018e8607455b3887cc8a1ae5a7a02aa
https://github.com/acl2/acl2/commit/b57289d34018e8607455b3887cc8a1ae5a7a02aa
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/keyword-value-lists-tests.lisp
M books/kestrel/utilities/keyword-value-lists.lisp
Log Message:
-----------
Add STRIP-KEYWORDS utility.
This returns the list of keywords of a keyword-value list, in the same order.
Commit: 3704b0db8c81176b32673ff02d9fd472064e12bb
https://github.com/acl2/acl2/commit/3704b0db8c81176b32673ff02d9fd472064e12bb
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/soft/implementation.lisp
M books/kestrel/soft/package.lsp
Log Message:
-----------
Improve SOFT implementation.
Replace local utility with newly added STRIP-KEYWORDS more general utility.
Commit: a6610376932cebe93fdbf9f9dfbe1b5e1ac051d0
https://github.com/acl2/acl2/commit/a6610376932cebe93fdbf9f9dfbe1b5e1ac051d0
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
Log Message:
-----------
Document the CONS-TERM* built-in system utility.
Commit: 1ecd5b536aefa0238f68ff16007087728e54ff01
https://github.com/acl2/acl2/commit/1ecd5b536aefa0238f68ff16007087728e54ff01
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
Log Message:
-----------
Document the FSUBCOR-VAR system utility.
Commit: db64bfa491d81f9a3aedc656e33bed0377ce1012
https://github.com/acl2/acl2/commit/db64bfa491d81f9a3aedc656e33bed0377ce1012
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/terms.lisp
Log Message:
-----------
Improve doc of APPLY-TERM and APPLY-TERM*.
Clarify their relationship to CONS-TERM and CONS-TERM*.
Commit: f2e79e6caadbf167241908d241180dbe6fa17fb8
https://github.com/acl2/acl2/commit/f2e79e6caadbf167241908d241180dbe6fa17fb8
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/terms.lisp
Log Message:
-----------
Add some term utilities.
The new utilities FAPPLY-TERM, FAPPLY-TERM*, and FAPPLY-UNARY-TO-TERMS are
versions of APPLY-TERM, APPLY-TERM*, and APPLY-UNARY-TO-TERMS that do not
perform simplification.
They follow the same naming convention as CONS-TERM vs. FCONS-TERM and other
pairs.
Commit: 20b83f5e0dfe2cad9bc5f12817033e50c7250d2d
https://github.com/acl2/acl2/commit/20b83f5e0dfe2cad9bc5f12817033e50c7250d2d
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/terms.lisp
Log Message:
-----------
Add a term utility.
The FSUBLIS-VAR is a "fast" variant of SUBLIS-VAR, in the same sense in which
FCONS-TERM is a "fast" variant of CONS-TERM -- it does no simplification.
Commit: 03b15e5cebf520e2a2525132357a4510e1293526
https://github.com/acl2/acl2/commit/03b15e5cebf520e2a2525132357a4510e1293526
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/apt/restrict-reference.lisp
M books/kestrel/apt/tailrec-reference.lisp
Log Message:
-----------
Tweak documentation of APT transformations.
Use 'General Form' heading instead of 'Form', for consistency with other ACL2
tools.
Commit: a6633d4635da79a558030990c40d8f99c15ff012
https://github.com/acl2/acl2/commit/a6633d4635da79a558030990c40d8f99c15ff012
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/apt/restrict.lisp
M books/kestrel/apt/tailrec.lisp
Log Message:
-----------
Tweak implementation of APT transformations.
Commit: a9c43da4bb397db093dc482b4847cbaf50191d77
https://github.com/acl2/acl2/commit/a9c43da4bb397db093dc482b4847cbaf50191d77
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-15 (Sun, 15 Oct 2017)
Changed paths:
M books/kestrel/soft/documentation.lisp
M books/kestrel/soft/implementation.lisp
Log Message:
-----------
Improve SOFT.
Generate instances of second-order functions and theorems that use untranslated
terms.
Commit: 8b38e963ef79e0d1ae32ea11ee9d524e74e77703
https://github.com/acl2/acl2/commit/8b38e963ef79e0d1ae32ea11ee9d524e74e77703
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-15 (Sun, 15 Oct 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
Log Message:
-----------
Fix typo in documentation.
Commit: 65b1c9b445f313f590fbfd05a9dba91c3f119100
https://github.com/acl2/acl2/commit/65b1c9b445f313f590fbfd05a9dba91c3f119100
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-15 (Sun, 15 Oct 2017)
Changed paths:
M books/kestrel/soft/implementation.lisp
M books/kestrel/soft/package.lsp
M books/kestrel/utilities/keyword-value-lists-tests.lisp
M books/kestrel/utilities/keyword-value-lists.lisp
Log Message:
-----------
Rename newly introduced function to avoid conflict.
Compare: https://github.com/acl2/acl2/compare/cf2a670d9ac7...65b1c9b445f3
Home: https://github.com/acl2/acl2
Commit: f21310ce142ee35fbf93267b7f0b12778f260065
https://github.com/acl2/acl2/commit/f21310ce142ee35fbf93267b7f0b12778f260065
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-13 (Fri, 13 Oct 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
Log Message:
-----------
Document ARGLISTP built-in system utility.
Commit: 553f7955131ac04d9cd02c8424d7fc70ee934b86
https://github.com/acl2/acl2/commit/553f7955131ac04d9cd02c8424d7fc70ee934b86
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-13 (Fri, 13 Oct 2017)
Changed paths:
M books/kestrel/utilities/terms-tests.lisp
M books/kestrel/utilities/terms.lisp
Log Message:
-----------
Remove unneeded term utility.
Commit: bb0143c747cd0711914f4231e32871b6e99612c6
https://github.com/acl2/acl2/commit/bb0143c747cd0711914f4231e32871b6e99612c6
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-13 (Fri, 13 Oct 2017)
Changed paths:
M books/kestrel/utilities/world-queries.lisp
Log Message:
-----------
Move a function within a file.
Commit: c7747376c1b718d87f58caeb6adab1f9203768db
https://github.com/acl2/acl2/commit/c7747376c1b718d87f58caeb6adab1f9203768db
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-13 (Fri, 13 Oct 2017)
Changed paths:
M books/kestrel/top.lisp
Log Message:
-----------
Slightly expand top Kestrel Books doc page.
Commit: d734ad57b0d5638f12bfd2184a04060fa59d3843
https://github.com/acl2/acl2/commit/d734ad57b0d5638f12bfd2184a04060fa59d3843
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/world-queries-tests.lisp
M books/kestrel/utilities/world-queries.lisp
Log Message:
-----------
Add some world query utilities.
Some specialize some built-in system utilities.
Some are "logic-friendly" versions of other system utilities.
Commit: a7846ac14dc4d93a1966d2200b677b9b55214a51
https://github.com/acl2/acl2/commit/a7846ac14dc4d93a1966d2200b677b9b55214a51
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/error-checking.lisp
Log Message:
-----------
Improve documentation string in error-checking function.
Commit: d8339ae1f3ddfbaf60834472e4d1b5d5b6a76fb0
https://github.com/acl2/acl2/commit/d8339ae1f3ddfbaf60834472e4d1b5d5b6a76fb0
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/terms.lisp
Log Message:
-----------
Slightly expand doc of APPLY-TERM and APPLY-TERM*.
Mention that these two utilities extend CONS-TERM and CONS-TERM* to lambda
expressions.
Commit: 758fce33cb2662dd29aba79613f54648d05ba961
https://github.com/acl2/acl2/commit/758fce33cb2662dd29aba79613f54648d05ba961
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/system/kestrel.lisp
Log Message:
-----------
Put FSUBCOR-VAR into logic, guard-verified mode.
Commit: 01a8c311467ef06a1769d6a97f57f24b9b5c6fc5
https://github.com/acl2/acl2/commit/01a8c311467ef06a1769d6a97f57f24b9b5c6fc5
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/apt/tailrec.lisp
Log Message:
-----------
Fix typo in documentation.
Commit: 926009d7410277fc4d6a98414a36d2b0d8d844db
https://github.com/acl2/acl2/commit/926009d7410277fc4d6a98414a36d2b0d8d844db
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/apt/restrict.lisp
M books/kestrel/apt/tailrec.lisp
Log Message:
-----------
Fix some out-of-date documentation.
Also avoid some unnecessary INCLUDE-BOOKs.
Commit: d14a78c5965add8a3d01cdaa11bc3cb042879a4c
https://github.com/acl2/acl2/commit/d14a78c5965add8a3d01cdaa11bc3cb042879a4c
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/apt/restrict.lisp
M books/kestrel/apt/tailrec.lisp
Log Message:
-----------
Fix some outdated documentation.
Commit: b57289d34018e8607455b3887cc8a1ae5a7a02aa
https://github.com/acl2/acl2/commit/b57289d34018e8607455b3887cc8a1ae5a7a02aa
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/keyword-value-lists-tests.lisp
M books/kestrel/utilities/keyword-value-lists.lisp
Log Message:
-----------
Add STRIP-KEYWORDS utility.
This returns the list of keywords of a keyword-value list, in the same order.
Commit: 3704b0db8c81176b32673ff02d9fd472064e12bb
https://github.com/acl2/acl2/commit/3704b0db8c81176b32673ff02d9fd472064e12bb
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/soft/implementation.lisp
M books/kestrel/soft/package.lsp
Log Message:
-----------
Improve SOFT implementation.
Replace local utility with newly added STRIP-KEYWORDS more general utility.
Commit: a6610376932cebe93fdbf9f9dfbe1b5e1ac051d0
https://github.com/acl2/acl2/commit/a6610376932cebe93fdbf9f9dfbe1b5e1ac051d0
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
Log Message:
-----------
Document the CONS-TERM* built-in system utility.
Commit: 1ecd5b536aefa0238f68ff16007087728e54ff01
https://github.com/acl2/acl2/commit/1ecd5b536aefa0238f68ff16007087728e54ff01
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
Log Message:
-----------
Document the FSUBCOR-VAR system utility.
Commit: db64bfa491d81f9a3aedc656e33bed0377ce1012
https://github.com/acl2/acl2/commit/db64bfa491d81f9a3aedc656e33bed0377ce1012
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/terms.lisp
Log Message:
-----------
Improve doc of APPLY-TERM and APPLY-TERM*.
Clarify their relationship to CONS-TERM and CONS-TERM*.
Commit: f2e79e6caadbf167241908d241180dbe6fa17fb8
https://github.com/acl2/acl2/commit/f2e79e6caadbf167241908d241180dbe6fa17fb8
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/terms.lisp
Log Message:
-----------
Add some term utilities.
The new utilities FAPPLY-TERM, FAPPLY-TERM*, and FAPPLY-UNARY-TO-TERMS are
versions of APPLY-TERM, APPLY-TERM*, and APPLY-UNARY-TO-TERMS that do not
perform simplification.
They follow the same naming convention as CONS-TERM vs. FCONS-TERM and other
pairs.
Commit: 20b83f5e0dfe2cad9bc5f12817033e50c7250d2d
https://github.com/acl2/acl2/commit/20b83f5e0dfe2cad9bc5f12817033e50c7250d2d
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/utilities/terms.lisp
Log Message:
-----------
Add a term utility.
The FSUBLIS-VAR is a "fast" variant of SUBLIS-VAR, in the same sense in which
FCONS-TERM is a "fast" variant of CONS-TERM -- it does no simplification.
Commit: 03b15e5cebf520e2a2525132357a4510e1293526
https://github.com/acl2/acl2/commit/03b15e5cebf520e2a2525132357a4510e1293526
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/apt/restrict-reference.lisp
M books/kestrel/apt/tailrec-reference.lisp
Log Message:
-----------
Tweak documentation of APT transformations.
Use 'General Form' heading instead of 'Form', for consistency with other ACL2
tools.
Commit: a6633d4635da79a558030990c40d8f99c15ff012
https://github.com/acl2/acl2/commit/a6633d4635da79a558030990c40d8f99c15ff012
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-14 (Sat, 14 Oct 2017)
Changed paths:
M books/kestrel/apt/restrict.lisp
M books/kestrel/apt/tailrec.lisp
Log Message:
-----------
Tweak implementation of APT transformations.
Commit: a9c43da4bb397db093dc482b4847cbaf50191d77
https://github.com/acl2/acl2/commit/a9c43da4bb397db093dc482b4847cbaf50191d77
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-15 (Sun, 15 Oct 2017)
Changed paths:
M books/kestrel/soft/documentation.lisp
M books/kestrel/soft/implementation.lisp
Log Message:
-----------
Improve SOFT.
Generate instances of second-order functions and theorems that use untranslated
terms.
Commit: 8b38e963ef79e0d1ae32ea11ee9d524e74e77703
https://github.com/acl2/acl2/commit/8b38e963ef79e0d1ae32ea11ee9d524e74e77703
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-15 (Sun, 15 Oct 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
Log Message:
-----------
Fix typo in documentation.
Commit: 65b1c9b445f313f590fbfd05a9dba91c3f119100
https://github.com/acl2/acl2/commit/65b1c9b445f313f590fbfd05a9dba91c3f119100
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-15 (Sun, 15 Oct 2017)
Changed paths:
M books/kestrel/soft/implementation.lisp
M books/kestrel/soft/package.lsp
M books/kestrel/utilities/keyword-value-lists-tests.lisp
M books/kestrel/utilities/keyword-value-lists.lisp
Log Message:
-----------
Rename newly introduced function to avoid conflict.
Compare: https://github.com/acl2/acl2/compare/cf2a670d9ac7...65b1c9b445f3
GitHub
Oct 15, 2017, 10:06:23 PM10/15/17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Reply all
Reply to author
Forward
0 new messages