表示フィルター RSS
プロジェクト履歴

2018-12-04
06:50
JPL
[SVN] リビジョン 345 をコミットしました
ignore increases SP_MAX but not SP
06:39
JPL
[SVN] リビジョン 344 をコミットしました
fix reference qualifier verifiction
05:50
JPL
2018-12-02
2018-12-01
2018-11-26
05:53
JPL
2018-11-19
07:01
JPL
[SVN] リビジョン 334 をコミットしました
work on compile-time size verification of total programs
06:08
JPL
[SVN] リビジョン 333 をコミットしました
require explicit type for ignored values
2018-11-18
2018-11-15
06:09
JPL
[SVN] リビジョン 330 をコミットしました
make reduce sub-property of loopsafe
05:25
JPL
[SVN] リビジョン 329 をコミットしました
fix bug in function-size calculation
2018-11-13
2018-11-12
02:56
JPL
[SVN] リビジョン 326 をコミットしました
generic equality for all types but lists