Unnamed Project

Start: February 1, 2017
Finish: October 11, 2017
Report Date: March 18, 2017

Gantt Chart

WBS Name Work
     
1 Survey Meteor 13d 4h
2 ChibiOS poster 7d
3 c2ats poster 3d
4 PPL2017 poster
5 Survey GObject Introspection 12d
6 GObject Introspection for ATS 20d
7 Write paper 20d
8 静的コード解析の会 #2
9 ML Workshop 2017 CFP?
10 Survey ATS nodejs package 5d
11 Sample Meteor app 10d
12 Survey ATS on Japascript 10d
13 ATS SPA framework 30d
14 Tweet count SPA application 30d
15 Translate VeriFast tutorial 106d 4h
16 Deadline of Functional Ikamusume
17 Survey NetBSD Rump 20d
18 静的コード解析の会 #3 @名古屋
19 静的コード解析の会 #5 @北海道
20 Work on FreeRTOS 20d
21 Setup FreeRTOS environment
22 Secure OS prototype 23d
23 VeriFast on production 40d
24 Survey VeriFast internal 20d
25 C99 compat VeriFast 76d 3h
26 Secure OS on hypervisor 20d
27 Secure OS functions 116d
Week 6, 2017 Week 7, 2017 Week 8, 2017 Week 9, 2017 Week 10, 2017 Week 11, 2017 Week 12, 2017 Week 13, 2017 Week 14, 2017 Week 15, 2017 Week 16, 2017 Week 17, 2017 Week 18, 2017 Week 19, 2017 Week 20, 2017 Week 21, 2017 Week 22, 2017 Week 23, 2017 Week 24, 2017 Week 25, 2017 Week 26, 2017 Week 27, 2017 Week 28, 2017 Week 29, 2017 Week 30, 2017 Week 31, 2017 Week 32, 2017 Week 33, 2017 Week 34, 2017 Week 35, 2017 Week 36, 2017 Week 37, 2017 Week 38, 2017 Week 39, 2017 Week 40, 2017 Week 41, 2017
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

Tasks

WBS Name Start Finish Work Complete Cost Assigned to
1 Survey Meteor Feb 1 Feb 20 13d 4h 0%
2 ChibiOS poster Feb 20 Mar 1 7d 0%
3 c2ats poster Mar 1 Mar 6 3d 0%
4 PPL2017 poster Mar 8 Mar 8
5 Survey GObject Introspection Mar 6 Mar 22 12d 0%
6 GObject Introspection for ATS Mar 22 Apr 19 20d 0%
7 Write paper Apr 19 May 17 20d 0%
8 静的コード解析の会 #2 May 1 Apr 29
9 ML Workshop 2017 CFP? May 18 May 18
10 Survey ATS nodejs package May 17 May 24 5d 0%
11 Sample Meteor app May 24 Jun 7 10d 0%
12 Survey ATS on Japascript Jun 7 Jun 21 10d 0%
13 ATS SPA framework Jun 21 Aug 2 30d 0%
14 Tweet count SPA application Aug 2 Sep 13 30d 0%
15 Translate VeriFast tutorial Feb 1 Jun 29 106d 4h 0%
16 Deadline of Functional Ikamusume Jun 30 Jun 30
17 Survey NetBSD Rump Sep 13 Oct 11 20d 0%
18 静的コード解析の会 #3 @名古屋 May 29 May 28
19 静的コード解析の会 #5 @北海道 Jul 17 Jul 16
20 Work on FreeRTOS Feb 1 Feb 28 20d 0%
21 Setup FreeRTOS environment Mar 1 Mar 1
22 Secure OS prototype Mar 1 Mar 31 23d 0%
23 VeriFast on production Apr 3 May 26 40d 0%
24 Survey VeriFast internal May 29 Jun 23 20d 0%
25 C99 compat VeriFast Jun 26 Oct 10 76d 3h 0%
26 Secure OS on hypervisor Apr 3 Apr 28 20d 0%
27 Secure OS functions May 1 Oct 9 116d 0%

Resources

Name Short name Type Group Email Cost