log

age author description
Sun, 11 Dec 2016 17:10:39 +0900 Yasutaka Higa Fix ruby version for presentation default tip
Sun, 11 Dec 2016 17:09:25 +0900 Yasutaka Higa Fix english abstract
Sun, 11 Dec 2016 16:55:59 +0900 Yasutaka Higa Import abstract for proceedings
Wed, 10 Aug 2016 15:10:07 +0900 Yasutaka Higa Update slide for presentation
Mon, 08 Aug 2016 22:11:48 +0900 Yasutaka Higa Update slide
Fri, 05 Aug 2016 18:47:03 +0900 Yasutaka Higa Removed tag presentation_submit
Fri, 05 Aug 2016 18:46:44 +0900 Yasutaka Higa Update paper for presentation submit
Fri, 05 Aug 2016 18:36:25 +0900 Yasutaka Higa Added tag presentation_submit for changeset 1bd97f13e718
Fri, 05 Aug 2016 18:36:12 +0900 Yasutaka Higa Update slide and generate slide and pdf
Fri, 05 Aug 2016 18:31:20 +0900 Yasutaka Higa Update slides
Fri, 05 Aug 2016 17:01:36 +0900 Yasutaka Higa Update slide
Thu, 04 Aug 2016 18:53:59 +0900 Yasutaka Higa Update slides
Thu, 04 Aug 2016 18:46:58 +0900 Yasutaka Higa Update slides
Thu, 04 Aug 2016 18:23:40 +0900 Yasutaka Higa Add meta cs/ds image
Thu, 04 Aug 2016 18:11:02 +0900 Yasutaka Higa Add rbtree image
Wed, 03 Aug 2016 17:53:25 +0900 Yasutaka Higa Update slide
Tue, 02 Aug 2016 17:56:27 +0900 Yasutaka Higa Fix slides
Tue, 02 Aug 2016 16:56:14 +0900 Yasutaka Higa Add images
Tue, 02 Aug 2016 15:48:45 +0900 Yasutaka Higa Update presentation
Tue, 26 Jul 2016 17:33:52 +0900 Yasutaka Higa Add presentation slide
Fri, 08 Jul 2016 15:52:15 +0900 Yasutaka Higa Added tag paper_submit2 for changeset 40d53d900609
Fri, 08 Jul 2016 15:48:10 +0900 Yasutaka Higa Fix ref in appendix code paper_submit2
Fri, 08 Jul 2016 15:31:10 +0900 Yasutaka Higa Fix lstlisting caption
Fri, 08 Jul 2016 13:01:16 +0900 Yasutaka Higa Added tag paper_submit for changeset fae89e4e6163
Fri, 08 Jul 2016 11:17:21 +0900 Yasutaka Higa Add rbtree source paper_submit
Thu, 07 Jul 2016 19:32:23 +0900 atton Wrote abstract with kono-teacher
Thu, 07 Jul 2016 18:39:23 +0900 Yasutaka Higa Mini fixes
Thu, 07 Jul 2016 17:22:35 +0900 atton Improvements with kono-teacher
Wed, 06 Jul 2016 19:40:01 +0900 Yasutaka Higa Mini fixes
Wed, 06 Jul 2016 18:58:49 +0900 Yasutaka Higa Add bibliographies
Wed, 06 Jul 2016 18:34:20 +0900 Yasutaka Higa Add section which describe verification using CBMC
Wed, 06 Jul 2016 17:59:13 +0900 Yasutaka Higa Wrote verification metthod using akasha
Wed, 06 Jul 2016 16:41:18 +0900 Yasutaka Higa Add rbtree ds
Wed, 06 Jul 2016 16:16:36 +0900 Yasutaka Higa Merge
Wed, 06 Jul 2016 16:16:20 +0900 Yasutaka Higa Fix lstlisting
Wed, 06 Jul 2016 16:04:51 +0900 Yasutaka Higa Add description of Red-Black Tree
Wed, 06 Jul 2016 14:56:42 +0900 Yasutaka Higa Add description meta/normal level
Wed, 06 Jul 2016 14:27:50 +0900 Yasutaka Higa cbmc -> CBMC
Wed, 06 Jul 2016 14:26:44 +0900 Yasutaka Higa Add new section which describe software verification
Tue, 05 Jul 2016 09:47:13 +0000 atton Add original sample sources
Tue, 05 Jul 2016 17:54:23 +0900 Yasutaka Higa For seminar
Tue, 05 Jul 2016 17:53:21 +0900 Yasutaka Higa Add pdf(WIP)
Tue, 05 Jul 2016 17:53:06 +0900 Yasutaka Higa Add figure
Tue, 05 Jul 2016 17:51:28 +0900 Yasutaka Higa Mini fixes
Tue, 05 Jul 2016 17:34:31 +0900 Yasutaka Higa Mini fixes
Tue, 05 Jul 2016 13:34:52 +0900 Yasutaka Higa Add bibliographies
Tue, 05 Jul 2016 12:00:31 +0900 Yasutaka Higa Add sample codes
Mon, 04 Jul 2016 16:03:53 +0900 Yasutaka Higa Update profile
Mon, 04 Jul 2016 15:58:58 +0900 Yasutaka Higa Add CbC sources
Mon, 04 Jul 2016 15:02:26 +0900 Yasutaka Higa Add figure
Mon, 04 Jul 2016 14:50:21 +0900 Yasutaka Higa Add bibliographies
Mon, 04 Jul 2016 14:22:10 +0900 Yasutaka Higa Update .hgignore
Mon, 04 Jul 2016 14:10:14 +0900 Yasutaka Higa Wrote section 4
Mon, 04 Jul 2016 13:59:34 +0900 Yasutaka Higa Wrote section 3
Fri, 01 Jul 2016 19:36:48 +0900 Yasutaka Higa Writing section 3
Fri, 01 Jul 2016 19:21:17 +0900 Yasutaka Higa Add TODO
Fri, 01 Jul 2016 19:20:34 +0900 Yasutaka Higa Wrote section 2
Fri, 01 Jul 2016 19:05:53 +0900 Yasutaka Higa Wrote section 1
Fri, 01 Jul 2016 18:31:36 +0900 Yasutaka Higa Fix Newline code
Tue, 28 Jun 2016 18:27:26 +0900 Yasutaka Higa Add mindmap