Mercurial > hg > GearsTemplate
log
age | author | description |
---|---|---|
Fri, 29 Dec 2017 18:49:13 +0900 | Tatsuki IHA | Use main generate script for examples |
Fri, 29 Dec 2017 18:31:15 +0900 | Tatsuki IHA | Merge |
Fri, 29 Dec 2017 17:51:36 +0900 | Tatsuki IHA | Fix extern cudainit parameter |
Fri, 29 Dec 2017 17:16:24 +0900 | Tatsuki IHA | Add cudaflag if Linux |
Fri, 29 Dec 2017 19:27:39 +0900 | ryokka | proof pop2 function in agda |
Fri, 29 Dec 2017 18:29:01 +0900 | ryokka | pop2 and get2 in agda |