David L. Rager
David L. Rager
Putting the request here, in case someone gets the inkling to implement it. It'd be good to be able to type: ``` (define address-fix ((address address-p)) :returns (retval ubyte32p :enable...
_From [[email protected]](https://code.google.com/u/102895947197065323718/) on November 26, 2013 13:16:02_ I'd like to close bug 110 and start a new bug for centralizing the documentation that explains how to build the books. Both...
Kaufmann writes: > I did a search in the documentation for BOZO (or bozo) and found a > bunch of occurrences (many dozens). I wonder if it would be best...
Currently there's a problem when moving the quicklisp books. In particular, when I try to build a book that builds a custom manual (as opposed to the one that `books/doc/top.lisp`...
SBCL made it through a lot of forms more efficiently than CCL. (e.g., one file with a large defsvtv seems to only take about 65% of the time). That being...
HI @jaredcdavis , If you agree that it's an improvement, do you mind moving std/osets to std/set? It'd be helpful if the package name was the same as the directory...
I've sent out an email to the community to see if anyone objects to removing rel9 from the books. There are 17 books that reference it in the community books....
Contain the information in: https://github.com/acl2/acl2/wiki/Convention-for-relocating-books Make the topic a child of at least best-practices. Then delete the wiki page.
Not that important, but it's bothered me for a good while that waterfall parallelism is named with implementation-based terminology instead of the user-based terminology. I also consider `subgoal-parallelism` to be...
Jared added support for parsing System Verilog Assertions (SVAs) in VL. It'd be nice if these SVAs could have meaningful semantics in SV. Furthermore, it'd be good SVAs could be...