Mercurial > hg > Gears > GearsAgda
diff src/parallel_execution/Todo @ 322:366baa247572
Use generate_stub for queue_test
author | Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 21 Mar 2017 03:58:31 +0900 |
parents | a9a6d571fa80 |
children | d9887056ae5b |
line wrap: on
line diff
--- a/src/parallel_execution/Todo Wed Mar 01 18:28:49 2017 +0900 +++ b/src/parallel_execution/Todo Tue Mar 21 03:58:31 2017 +0900 @@ -1,6 +1,6 @@ Wed Mar 1 18:25:36 JST 2017 - parallel_executtion/text/ を .cbc に書き直す + parallel_executtion/test/ を .cbc に書き直す rb_tree の stub をできるだけ取り外す synchornizedQueue の meta部分を分離する synchronizedQueue のバグをとる