目前已索引 115 個未關閉的 Issue
正在載入 Issue
-
bug
Component: Arith
Maintainability
Performance
Priority: Default
acl2/acl2#7
· 14 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: STD
enhancement
Priority: Default
Starter
acl2/acl2#18
· 7 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Priority: Default
Usability
acl2/acl2#24
· 6 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: STD
enhancement
Priority: Default
Usability
acl2/acl2#39
· 7 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: STD
enhancement
Priority: Default
acl2/acl2#43
· 4 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: STD
enhancement
Priority: Medium
acl2/acl2#57
· 3 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: STD
enhancement
Maintainability
Organization
Priority: Default
acl2/acl2#68
· 7 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Community
Component: STD
Priority: Default
acl2/acl2#70
· 4 則留言
· 0 個 reaction
· 已指派 1 人
·
-
enhancement
Priority: Default
Usability
acl2/acl2#76
· 2 則留言
· 0 個 reaction
· 已指派 1 人
·
-
bug
Priority: Default
acl2/acl2#80
· 4 則留言
· 0 個 reaction
· 已指派 1 人
·
-
enhancement
Maintainability
Priority: Default
acl2/acl2#82
· 2 則留言
· 0 個 reaction
· 已指派 1 人
·
-
bug
Component: XDOC
Priority: Default
Usability
acl2/acl2#86
· 4 則留言
· 0 個 reaction
· 已指派 1 人
·
-
bug
Priority: Default
Usability
acl2/acl2#91
· 6 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: VL
enhancement
Organization
Priority: Default
acl2/acl2#98
· 2 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: XDOC
Difficulty: Medium
enhancement
Priority: Default
Usability
acl2/acl2#104
· 3 則留言
· 0 個 reaction
· 已指派 1 人
·
-
bug
Component: XDOC
Priority: Default
Usability
acl2/acl2#108
· 1 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: Docs
enhancement
Priority: Default
Starter
Usability
acl2/acl2#113
· 5 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Community
enhancement
Organization
Priority: Default
acl2/acl2#118
· 4 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: STD
Difficulty: Medium
Priority: Default
acl2/acl2#123
· 5 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Community
Component: Docs
enhancement
Priority: Medium
acl2/acl2#126
· 12 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Component: XDOC
Difficulty: Medium
enhancement
Priority: Default
Usability
acl2/acl2#128
· 4 則留言
· 0 個 reaction
· 已指派 1 人
·
-
acl2/acl2#143
· 6 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: STD
Priority: Default
acl2/acl2#144
· 2 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Component: XDOC
Difficulty: Medium
enhancement
Priority: Default
Usability
acl2/acl2#147
· 0 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Community
Component: Docs
Difficulty: Easy
Priority: Default
Starter
acl2/acl2#158
· 2 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: STD
Difficulty: Medium
Priority: Default
acl2/acl2#167
· 1 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Difficulty: Hard
Priority: Default
acl2/acl2#171
· 4 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Component: Docs
Difficulty: Easy
Priority: Default
acl2/acl2#172
· 2 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Component: UI
Difficulty: Easy
Priority: Default
acl2/acl2#177
· 0 則留言
· 0 個 reaction
· 已指派 1 人
·
-
acl2/acl2#182
· 2 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: Docs
enhancement
Priority: Default
acl2/acl2#188
· 1 則留言
· 0 個 reaction
· 已指派 0 人
·
-
bug
Difficulty: Medium
Priority: Default
acl2/acl2#194
· 1 則留言
· 0 個 reaction
· 已指派 1 人
·
-
acl2/acl2#196
· 1 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Component: STD
enhancement
Priority: Default
acl2/acl2#209
· 4 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Difficulty: Hard
Priority: Contentious
acl2/acl2#213
· 0 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: STD
Difficulty: Easy
Priority: Default
acl2/acl2#218
· 0 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Difficulty: Medium
Priority: Contentious
acl2/acl2#224
· 6 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Component: XDOC
Difficulty: Medium
help wanted
Priority: Default
Starter
acl2/acl2#252
· 0 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Component: XDOC
Difficulty: Hard
acl2/acl2#272
· 1 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Difficulty: Easy
acl2/acl2#281
· 6 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: Parallelism
acl2/acl2#292
· 0 則留言
· 0 個 reaction
· 已指派 1 人
·
-
Component: VL
Difficulty: Medium
acl2/acl2#298
· 1 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Component: VL
acl2/acl2#299
· 3 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Component: VL
acl2/acl2#300
· 0 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Component: VL
Difficulty: Hard
acl2/acl2#301
· 3 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Component: XDOC
acl2/acl2#310
· 0 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Difficulty: Easy
help wanted
Maintainability
Priority: Medium
Usability
acl2/acl2#314
· 0 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Component: Sidekick
enhancement
acl2/acl2#328
· 0 則留言
· 0 個 reaction
· 已指派 0 人
·
-
Component: Parallelism
acl2/acl2#335
· 0 則留言
· 0 個 reaction
· 已指派 0 人
·
-
bug
Component: Parallelism
Priority: Medium
acl2/acl2#342
· 2 則留言
· 0 個 reaction
· 已指派 1 人
·