Propriétaire
acl2
1 dépôt indexé · Voir sur GitHub
-
acl2
ACL2 System and Books as Maintained by the Community
Common Lisp · 447 étoiles
-
Community Component: Docs
acl2/acl2#348 · 3 commentaires · 0 réactions · 1 personne assignée ·
-
Component: OSLIB Difficulty: Medium Portability wishlist
acl2/acl2#353 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
acl2/acl2#368 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
xdoc::save is inefficient OuverteComponent: XDOC Difficulty: Medium enhancement Performance
acl2/acl2#372 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
Difficulty: Hard Maintainability
acl2/acl2#374 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Component: OSLIB
acl2/acl2#382 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
Component: Build Difficulty: Easy enhancement
acl2/acl2#388 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
OR gate encounters error OuverteComponent: SV
acl2/acl2#392 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
idea for accumulated-persistence Ouvertewishlist
acl2/acl2#397 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
Component: XDOC Difficulty: Hard Maintainability Performance Priority: Contentious
acl2/acl2#401 · 5 commentaires · 0 réactions · 0 personnes assignées ·
-
Component: SV
acl2/acl2#430 · 4 commentaires · 0 réactions · 0 personnes assignées ·
-
Component: FTY
acl2/acl2#445 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
acl2/acl2#448 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
bug Component: Build Component: System (core theorem prover) Portability
acl2/acl2#453 · 4 commentaires · 0 réactions · 1 personne assignée ·
-
Component: Parallelism Difficulty: Medium
acl2/acl2#454 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
Component: XDOC
acl2/acl2#455 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
Parse tasks in SV OuverteComponent: SV Component: VL
acl2/acl2#506 · 4 commentaires · 0 réactions · 0 personnes assignées ·
-
Component: SV
acl2/acl2#510 · 10 commentaires · 0 réactions · 0 personnes assignées ·
-
Component: Docs
acl2/acl2#536 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
std::define more-returns and GL OuverteComponent: GL
acl2/acl2#539 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
Component: SV Difficulty: Hard Priority: Contentious wishlist
acl2/acl2#542 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
acl2/acl2#543 · 3 commentaires · 0 réactions · 0 personnes assignées ·
-
acl2/acl2#547 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
acl2/acl2#548 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
ACL2(p) problem with defoption Ouvertebug
acl2/acl2#563 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
Component: Parallelism Difficulty: Medium
acl2/acl2#568 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
Component: Docs
acl2/acl2#579 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
Remove rtl/rel9 from the books OuverteDifficulty: Medium help wanted Priority: Medium
acl2/acl2#581 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Rename std/osets to std/set OuverteComponent: STD
acl2/acl2#597 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
ACL2(p) can hang when profiling OuverteComponent: Parallelism
acl2/acl2#638 · 6 commentaires · 0 réactions · 1 personne assignée ·
-
bug Component: FTY
acl2/acl2#654 · 7 commentaires · 0 réactions · 1 personne assignée ·
-
bug Component: STD Component: XDOC
acl2/acl2#656 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Component: Hons Difficulty: Hard Priority: Medium
acl2/acl2#728 · 7 commentaires · 0 réactions · 0 personnes assignées ·
-
Component: STD help wanted Starter wishlist
acl2/acl2#790 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
Fix-up BOZOs in documentation OuverteComponent: Docs Difficulty: Easy help wanted
acl2/acl2#812 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Distracting quicklisp warnings Ouverte
acl2/acl2#861 · 13 commentaires · 0 réactions · 0 personnes assignées ·
-
Component: Docs
acl2/acl2#873 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
acl2/acl2#890 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
help wanted wishlist
acl2/acl2#1162 · 9 commentaires · 0 réactions · 0 personnes assignées ·
-
acl2/acl2#1175 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
bug Community Component: STD Component: XDOC
acl2/acl2#1176 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
acl2::deflist bugs Ouverte
acl2/acl2#1192 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
books/data-structures Ouverte
acl2/acl2#1193 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
acl2/acl2#1332 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
acl2/acl2#1432 · 4 commentaires · 0 réactions · 0 personnes assignées ·
-
acl2/acl2#1445 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
acl2/acl2#1454 · 10 commentaires · 0 réactions · 0 personnes assignées ·
-
Priority: High
acl2/acl2#1495 · 7 commentaires · 0 réactions · 0 personnes assignées ·
-
preventing include-raw reloading Ouverte
acl2/acl2#1507 · 5 commentaires · 0 réactions · 0 personnes assignées ·
-
acl2/acl2#1508 · 1 commentaire · 0 réactions · 0 personnes assignées ·