Custom Query (1030 matches)
Results (631 - 633 of 1030)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #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. |
|||
| #1129 | notabug | Windows version CL 1.9 wx86cl.exe is virus infected | ||
| Description |
After downloading and extracting CL 1.9 for Windows "G-Data Anti-virus 2013" reports wx86cl.exe is infected with Gen:Trojan.Heur.GM.2008040880. |
|||
| #522 | fixed | Windows: Device component lost in pathname handling | ||
| Description |
? (pathname-device (make-pathname :host "blub" :device "h" :name "hello" :directory '(:absolute "a" "b") :type "txt")) :UNSPECIFIC This breaks wildcard DIRECTORY searches on drives other than CCL's default drive, presumably C:. I have spent some time trying to find the problem myself, but got lost in the innards of the pathname handling code that I don't understand. |
|||
Note:
See TracQuery
for help on using queries.
