Propietario
acl2
1 repositorio indexado · Ver en GitHub
-
acl2
ACL2 System and Books as Maintained by the Community
Common Lisp · 447 estrellas
-
Remove older rtl books Abiertobug Component: Arith Maintainability Performance Priority: Default
-
Component: STD enhancement Priority: Default Starter
-
Priority: Default Usability
-
Integrate defenum with xdoc AbiertoComponent: STD enhancement Priority: Default Usability
-
Component: STD enhancement Priority: Default
-
Add defunion/defsum to std/util AbiertoComponent: STD enhancement Priority: Medium
-
Merge coi/osets into std/osets AbiertoComponent: STD enhancement Maintainability Organization Priority: Default
-
Community Component: STD Priority: Default
-
Better names for alist functions Abiertoenhancement Priority: Default Usability
-
bug Priority: Default
-
enhancement Maintainability Priority: Default
-
Fancy manual forward-button bug Abiertobug Component: XDOC Priority: Default Usability
-
Memoize-tests and timing on a VM Abiertobug Priority: Default Usability
-
Component: VL enhancement Organization Priority: Default
-
Warn about <code> inside <p> AbiertoComponent: XDOC Difficulty: Medium enhancement Priority: Default Usability
-
bug Component: XDOC Priority: Default Usability
-
Link to common lisp hyperspec? AbiertoComponent: Docs enhancement Priority: Default Starter Usability
acl2/acl2#113 · 5 comentarios · 0 reacciones · 0 asignados ·
-
Lightweight book reorganization AbiertoCommunity enhancement Organization Priority: Default
-
Bits AbiertoComponent: STD Difficulty: Medium Priority: Default
-
Community Component: Docs enhancement Priority: Medium
acl2/acl2#126 · 12 comentarios · 0 reacciones · 0 asignados ·
-
Component: XDOC Difficulty: Medium enhancement Priority: Default Usability
-
ash-natp-type Abierto
-
Component: STD Priority: Default
acl2/acl2#144 · 2 comentarios · 0 reacciones · 0 asignados ·
-
Implement :long searching AbiertoComponent: XDOC Difficulty: Medium enhancement Priority: Default Usability
-
Community Component: Docs Difficulty: Easy Priority: Default Starter
-
Component: STD Difficulty: Medium Priority: Default
-
Difficulty: Hard Priority: Default
acl2/acl2#171 · 4 comentarios · 0 reacciones · 0 asignados ·
-
Component: Docs Difficulty: Easy Priority: Default
acl2/acl2#172 · 2 comentarios · 0 reacciones · 0 asignados ·
-
Component: UI Difficulty: Easy Priority: Default
-
Component: Docs enhancement Priority: Default
-
bug Difficulty: Medium Priority: Default
-
Component: STD enhancement Priority: Default
-
Difficulty: Hard Priority: Contentious
-
Component: STD Difficulty: Easy Priority: Default
acl2/acl2#218 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Difficulty: Medium Priority: Contentious
acl2/acl2#224 · 6 comentarios · 0 reacciones · 0 asignados ·
-
Component: XDOC Difficulty: Medium help wanted Priority: Default Starter
acl2/acl2#252 · 0 comentarios · 0 reacciones · 0 asignados ·
-
integrate rulesets with xdoc AbiertoComponent: XDOC Difficulty: Hard
-
Difficulty: Easy
-
Component: Parallelism
-
Component: VL Difficulty: Medium
-
Component: VL
acl2/acl2#299 · 3 comentarios · 0 reacciones · 0 asignados ·
-
Component: VL
acl2/acl2#300 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Component: VL Difficulty: Hard
acl2/acl2#301 · 3 comentarios · 0 reacciones · 0 asignados ·
-
Component: XDOC
acl2/acl2#310 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Difficulty: Easy help wanted Maintainability Priority: Medium Usability
acl2/acl2#314 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Component: Sidekick enhancement
acl2/acl2#328 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Array problems in ACL2(hp) AbiertoComponent: Parallelism
acl2/acl2#335 · 0 comentarios · 0 reacciones · 0 asignados ·
-
ACL2(hp) bug centaur/vl/server Abiertobug Component: Parallelism Priority: Medium