これまでに 115 件の issue を索引しました
issue を読み込んでいます
-
Community
Component: Docs
acl2/acl2#348
· コメント 3 件
· リアクション 0 件
· 担当者 1 名
·
-
Component: OSLIB
Difficulty: Medium
Portability
wishlist
acl2/acl2#353
· コメント 0 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#368
· コメント 2 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: XDOC
Difficulty: Medium
enhancement
Performance
acl2/acl2#372
· コメント 0 件
· リアクション 0 件
· 担当者 1 名
·
-
Difficulty: Hard
Maintainability
acl2/acl2#374
· コメント 0 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: OSLIB
acl2/acl2#382
· コメント 0 件
· リアクション 0 件
· 担当者 1 名
·
-
Component: Build
Difficulty: Easy
enhancement
acl2/acl2#388
· コメント 1 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: SV
acl2/acl2#392
· コメント 1 件
· リアクション 0 件
· 担当者 0 名
·
-
wishlist
acl2/acl2#397
· コメント 0 件
· リアクション 0 件
· 担当者 1 名
·
-
Component: XDOC
Difficulty: Hard
Maintainability
Performance
Priority: Contentious
acl2/acl2#401
· コメント 5 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: SV
acl2/acl2#430
· コメント 4 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: FTY
acl2/acl2#445
· コメント 0 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#448
· コメント 0 件
· リアクション 0 件
· 担当者 0 名
·
-
bug
Component: Build
Component: System (core theorem prover)
Portability
acl2/acl2#453
· コメント 4 件
· リアクション 0 件
· 担当者 1 名
·
-
Component: Parallelism
Difficulty: Medium
acl2/acl2#454
· コメント 0 件
· リアクション 0 件
· 担当者 1 名
·
-
Component: XDOC
acl2/acl2#455
· コメント 1 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: SV
Component: VL
acl2/acl2#506
· コメント 4 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: SV
acl2/acl2#510
· コメント 10 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: Docs
acl2/acl2#536
· コメント 0 件
· リアクション 0 件
· 担当者 1 名
·
-
Component: GL
acl2/acl2#539
· コメント 2 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: SV
Difficulty: Hard
Priority: Contentious
wishlist
acl2/acl2#542
· コメント 1 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#543
· コメント 3 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#547
· コメント 0 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#548
· コメント 1 件
· リアクション 0 件
· 担当者 0 名
·
-
bug
acl2/acl2#563
· コメント 0 件
· リアクション 0 件
· 担当者 1 名
·
-
Component: Parallelism
Difficulty: Medium
acl2/acl2#568
· コメント 1 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: Docs
acl2/acl2#579
· コメント 0 件
· リアクション 0 件
· 担当者 1 名
·
-
Difficulty: Medium
help wanted
Priority: Medium
acl2/acl2#581
· コメント 0 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: STD
acl2/acl2#597
· コメント 0 件
· リアクション 0 件
· 担当者 1 名
·
-
Component: Parallelism
acl2/acl2#638
· コメント 6 件
· リアクション 0 件
· 担当者 1 名
·
-
bug
Component: FTY
acl2/acl2#654
· コメント 7 件
· リアクション 0 件
· 担当者 1 名
·
-
bug
Component: STD
Component: XDOC
acl2/acl2#656
· コメント 0 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: Hons
Difficulty: Hard
Priority: Medium
acl2/acl2#728
· コメント 7 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: STD
help wanted
Starter
wishlist
acl2/acl2#790
· コメント 1 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: Docs
Difficulty: Easy
help wanted
acl2/acl2#812
· コメント 0 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#861
· コメント 13 件
· リアクション 0 件
· 担当者 0 名
·
-
Component: Docs
acl2/acl2#873
· コメント 0 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#890
· コメント 0 件
· リアクション 0 件
· 担当者 0 名
·
-
help wanted
wishlist
acl2/acl2#1162
· コメント 9 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#1175
· コメント 1 件
· リアクション 0 件
· 担当者 0 名
·
-
bug
Community
Component: STD
Component: XDOC
acl2/acl2#1176
· コメント 0 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#1192
· コメント 0 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#1193
· コメント 0 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#1332
· コメント 1 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#1432
· コメント 4 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#1445
· コメント 2 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#1454
· コメント 10 件
· リアクション 0 件
· 担当者 0 名
·
-
Priority: High
acl2/acl2#1495
· コメント 7 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#1507
· コメント 5 件
· リアクション 0 件
· 担当者 0 名
·
-
acl2/acl2#1508
· コメント 1 件
· リアクション 0 件
· 担当者 0 名
·