Custom Query (1030 matches)
Results (541 - 543 of 1030)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #628 | duplicate | Missing function on Windows CCL | ||
| Description |
Hello, Is there a reason that the functions map-file-to-octet-vector and unmap-octet-vector are defined in the Linux version of CCL 1.3 but not the Windows version? The fact that it's missing is causing our cross-platform application (the ACL2 regression suite) to break. We have a work around, but I'm reporting in case its missing was an oversight. Thanks, David |
|||
| #627 | fixed | Windows 1.4 map-file-to-octet-vector | ||
| Description |
The function "map-file-to-octet-vector" is defined in the Linux version of CCL 1.3 but not the Windows version of CCL 1.3. This is causing ACL2 to not be abel to certify the book "serialize". Being able to run regression books in ACL2 on Windows will verify the fix. |
|||
| #626 | fixed | The Darwin lisp kernel should build using 10.5 and 10.6 SDKs | ||
| Description |
There are a few little details that prevent the Darwin lisp kernel from building when using SDKs newer than 10.4. We ought to correct these. |
|||
