Owner
acl2
1 indexiertes Repository · Auf GitHub ansehen
-
acl2
ACL2 System and Books as Maintained by the Community
Common Lisp · 447 Sterne
-
Remove older rtl books Offenbug Component: Arith Maintainability Performance Priority: Default
acl2/acl2#7 · 14 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: STD enhancement Priority: Default Starter
acl2/acl2#18 · 7 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Priority: Default Usability
acl2/acl2#24 · 6 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: STD enhancement Priority: Default Usability
acl2/acl2#39 · 7 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: STD enhancement Priority: Default
acl2/acl2#43 · 4 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: STD enhancement Priority: Medium
acl2/acl2#57 · 3 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: STD enhancement Maintainability Organization Priority: Default
acl2/acl2#68 · 7 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Community Component: STD Priority: Default
acl2/acl2#70 · 4 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
enhancement Priority: Default Usability
acl2/acl2#76 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
bug Priority: Default
acl2/acl2#80 · 4 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
enhancement Maintainability Priority: Default
acl2/acl2#82 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
bug Component: XDOC Priority: Default Usability
acl2/acl2#86 · 4 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
bug Priority: Default Usability
acl2/acl2#91 · 6 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: VL enhancement Organization Priority: Default
acl2/acl2#98 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: XDOC Difficulty: Medium enhancement Priority: Default Usability
acl2/acl2#104 · 3 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
bug Component: XDOC Priority: Default Usability
acl2/acl2#108 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: Docs enhancement Priority: Default Starter Usability
acl2/acl2#113 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Community enhancement Organization Priority: Default
acl2/acl2#118 · 4 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Bits OffenComponent: STD Difficulty: Medium Priority: Default
acl2/acl2#123 · 5 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Community Component: Docs enhancement Priority: Medium
acl2/acl2#126 · 12 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Component: XDOC Difficulty: Medium enhancement Priority: Default Usability
acl2/acl2#128 · 4 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
ash-natp-type Offen
acl2/acl2#143 · 6 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: STD Priority: Default
acl2/acl2#144 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Component: XDOC Difficulty: Medium enhancement Priority: Default Usability
acl2/acl2#147 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Community Component: Docs Difficulty: Easy Priority: Default Starter
acl2/acl2#158 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: STD Difficulty: Medium Priority: Default
acl2/acl2#167 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person ·
-
Difficulty: Hard Priority: Default
acl2/acl2#171 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Component: Docs Difficulty: Easy Priority: Default
acl2/acl2#172 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Component: UI Difficulty: Easy Priority: Default
acl2/acl2#177 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
acl2/acl2#182 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: Docs enhancement Priority: Default
acl2/acl2#188 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
bug Difficulty: Medium Priority: Default
acl2/acl2#194 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person ·
-
acl2/acl2#196 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
Component: STD enhancement Priority: Default
acl2/acl2#209 · 4 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Difficulty: Hard Priority: Contentious
acl2/acl2#213 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: STD Difficulty: Easy Priority: Default
acl2/acl2#218 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Difficulty: Medium Priority: Contentious
acl2/acl2#224 · 6 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Component: XDOC Difficulty: Medium help wanted Priority: Default Starter
acl2/acl2#252 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Component: XDOC Difficulty: Hard
acl2/acl2#272 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person ·
-
Difficulty: Easy
acl2/acl2#281 · 6 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: Parallelism
acl2/acl2#292 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Component: VL Difficulty: Medium
acl2/acl2#298 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
Component: VL
acl2/acl2#299 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Component: VL
acl2/acl2#300 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Component: VL Difficulty: Hard
acl2/acl2#301 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Component: XDOC
acl2/acl2#310 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Difficulty: Easy help wanted Maintainability Priority: Medium Usability
acl2/acl2#314 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Component: Sidekick enhancement
acl2/acl2#328 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Component: Parallelism
acl2/acl2#335 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
bug Component: Parallelism Priority: Medium
acl2/acl2#342 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·