Search results

<code>defstobj</code> event with <code>(complex rational)</code> field fails

Status: Open.

#1852 In acl2/acl2;

· copperteal opened on Sep 21, 2025

<code>:pr</code> returns empty when applied to function names introduced via <code>defstobj</code>

Status: Open.

#1851 In acl2/acl2;

· copperteal opened on Sep 21, 2025

ACL2 Bridge server hangs on <code>(bridge::stop)</code>

Status: Open.

#1845 In acl2/acl2;

· copperteal opened on Sep 14, 2025

XDoc: Plan for potential deprecation/removal of XSLT from browsers

Status: Open.

#1833 In acl2/acl2;

· mister-walter opened on Aug 29, 2025

Improve the pre-built distribution story for ACL2

Status: Open.

#1616 In acl2/acl2;

· mister-walter opened on Aug 7, 2024

About issue related to acl2/books/projects/arm/second/fdiv8/fdiv8.cpp.

Status: Open.

#1609 In acl2/acl2;

· whitecloudsun opened on Jul 19, 2024

Improvements to ACL2 installation page

Status: Open.

#1608 In acl2/acl2;

· mister-walter opened on Jul 17, 2024

<code>pattern-match</code> requires import, says nothing about that

Status: Open.

#1607 In acl2/acl2;

· calebegg opened on Jul 16, 2024

Is there an automated way to convert Cpp files into lisp files

Status: Open.

#1542 In acl2/acl2;

· whitecloudsun opened on Sep 25, 2023

About books/projects/arm/second/fsqrt4/fsqrt4.cpp proof using ACL2

Status: Open.

#1539 In acl2/acl2;

· whitecloudsun opened on Sep 13, 2023

Quicklisp books failure for CMUCL

Status: Open.

#1532 In acl2/acl2;

· MattKaufmann opened on Sep 5, 2023

x86isa instruction issues

Status: Open.

#1528 In acl2/acl2;

· bacam opened on Aug 27, 2023