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

2018-08-06
2018-08-05
11:18
JPL
[SVN] リビジョン 80 をコミットしました
add regression-test for catching mismatched sub-types in stack
09:01
JPL
[SVN] リビジョン 77 をコミットしました
implement while-loop & use to avoid stack-overflow
2018-08-03
02:17
JPL
[SVN] リビジョン 73 をコミットしました
let totality-requirement carry proof (if supplied)
00:21
JPL
[SVN] リビジョン 72 をコミットしました
add regression-test for mismatched return-type
2018-08-02
23:58
JPL
[SVN] リビジョン 71 をコミットしました
cleanup (changes some error line numbers)
23:26
JPL
[SVN] リビジョン 69 をコミットしました
avoid copy when iterating over stack & "freeze" stack-size inside loop but transfer original muta...
22:23
JPL
[SVN] リビジョン 68 をコミットしました
treat stack as constant while iterating over it
2018-07-31
2018-07-30
05:56
JPL
[SVN] リビジョン 64 をコミットしました
replace scope system (tested memory OK)
01:55
JPL
[SVN] リビジョン 62 をコミットしました
fix bug in memory-management (superfluous initialization caused memory-leak)