Custom Query (1030 matches)
Results (388 - 390 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.) |
|||
| #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. |
|||
| #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. |
|||
