AdaCore/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
AdaCore/spark2014 对新手友好吗？
近期外部贡献者向 AdaCore/spark2014 提交的 PR 还不够多，暂时无法判断它们被合并的比例。 目前没有开放的新手友好 issue，下方列出了我们收录的该仓库的其他 issue。
- 星标
- 329
- 派生
- 47
- 开放的新手 issue
- 0
- 已索引 issue
- 14
如何为 AdaCore/spark2014 做贡献
可能已有人在做的 issue 排在最后。 全部按时间排序
-
GNATPROVE Crash未关闭
难度 4/5 3-5 天 新手友好度 38/100
-
难度 5/5 一周以上 新手友好度 20/100
-
难度 3/5 1-2 天 新手友好度 72/100
-
难度 5/5 一周以上 新手友好度 20/100
-
难度 5/5 一周以上 新手友好度 35/100
-
难度 3/5 1-2 天 新手友好度 48/100
-
难度 5/5 一周以上 新手友好度 30/100
-
难度 4/5 3-5 天 新手友好度 25/100
-
难度 4/5 3-5 天 新手友好度 45/100
-
难度 4/5 3-5 天 新手友好度 45/100
-
难度 4/5 3-5 天 新手友好度 38/100
-
难度 5/5 一周以上 新手友好度 25/100
-
GNATprove miscomputes Global aspect for generic formal parameter可能已有人在做 @truemagic-coder 于 63 天前认领。 未关闭
难度 4/5 3-5 天 新手友好度 45/100