Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Thu, 29 Jun 2017 19:21:18 +0900 | Nozomi Teruya | bitonic_sort's loop is work, but bitonic_sort is not work |
Thu, 29 Jun 2017 18:33:02 +0900 | Tatsuki IHA | Revert perl script |
Thu, 29 Jun 2017 18:04:33 +0900 | Tatsuki IHA | Add Time interface |
Thu, 29 Jun 2017 01:14:21 +0900 | Tatsuki IHA | Fix twice |
Wed, 28 Jun 2017 05:51:32 +0900 | Tatsuki IHA | Merge |
Wed, 28 Jun 2017 05:48:39 +0900 | Tatsuki IHA | Add synchronized queue of paper |
Tue, 27 Jun 2017 01:29:43 +0900 | Nozomi Teruya | add bitonic_sort but not work |