Custom Query (1030 matches)
Results (937 - 939 of 1030)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #625 | fixed | lisp symbols in elf file not recognized by oprofile 0.9.5 | ||
| Description |
We never actually load the ELF file used to provide symbolic information for opreport on Linux, but (just in case ...) set the flags in the "lisp" section in which those symbols are defined to indicate that the section shouldn't be loaded into memory. In oprofile 0.9.5, symbols defined in sections that aren't loaded are ignored by opreport. (oprofile 0.9.5 was released on 2009-07-31 and is present in Fedora 11 and Ubuntu 9.10, at least.) |
|||
| #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. |
|||
| #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 |
|||
