Custom Query (1030 matches)
Results (298 - 300 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 |
|||
| #657 | fixed | :proc aborts threads waiting on a semaphore in a timed manner | ||
| Description |
Hello, When waiting on a semaphore with a timeout (via the function timed-wait-on-semaphore), if you issue a :proc from the listener thread, it interrupts the thread waiting on the semaphore in a way that causes the thread to abort the waiting. It still runs the unwind portion of the unwind-protect. Perhaps the printing of the thread via :proc causes an interrupt that's incorrectly handled? This is on 64 bit Ubuntu with kernel 2.6.24.6+desktop10+25.63 The following script reproduces the problem on the updated version of CCL 1.4. The problem also exhibits itself in 1.3. Does running the script in your own environments allow you to duplicate the problem, and can it be fixed? Thanks! (defvar *sem* (ccl:make-semaphore)) (ccl:process-run-function "sadf"
(sleep 1) :proc |
|||
| #113 | fixed | Preferences:Paths:CCL Directory truncates selected directory | ||
| Description |
The preference for setting the ccl directory truncates the selected directory so that the last path element is lost. Workaround: select a directory within the ccl directory and the resulting pathname will be the correct ccl directory. |
|||
