Commit Graph

  • 2c9359c9cf Merge branch 'phase00' into main main Michael Chen 2022-07-15 12:03:08 +02:00
  • f973e4db11 Finished task 3 Michael Chen 2022-07-15 12:01:37 +02:00
  • d8470790b2 Finished Task 1 Michael Chen 2022-07-15 09:16:20 +02:00
  • 938711eef5 Merge branch 'phase05' into main Michael Chen 2022-07-14 13:49:44 +02:00
  • 3d6defd78e Added missing project 03 task zip Michael Chen 2022-07-14 13:49:37 +02:00
  • c79f151e2e Finished Task 3 Michael Chen 2022-07-14 13:47:30 +02:00
  • c76e075ac4 Created TypeUtils.num(char[4]) uppaal model (trivial) Michael Chen 2022-07-12 20:49:28 +02:00
  • ba3078b2b5 WIP task 3 Michael Chen 2022-07-12 18:42:18 +02:00
  • 9548c87325 Added build template for phase 00 Michael Chen 2022-07-06 09:43:11 +02:00
  • 2bb46b0d2c Finished task 2 Michael Chen 2022-07-05 19:03:10 +02:00
  • b10388b9b1 WIP task 2 Michael Chen 2022-07-04 19:43:35 +02:00
  • 606ecf8fb1 Finished task 1 Michael Chen 2022-07-04 16:05:32 +02:00
  • 7c93ab7f20 Added phase 05 project template Michael Chen 2022-07-04 13:49:43 +02:00
  • 56d0a7df53 Merge branch 'studipsync' into main Michael Chen 2022-07-04 11:51:32 +02:00
  • 86b0982b2a Stud.IP Sync at 7/4/2022 11:48:30 AM Stud.IP Sync 2022-07-04 11:48:23 +02:00
  • 6e62a7dba2 Merge branch 'phase04' into main Michael Chen 2022-06-28 12:10:48 +02:00
  • d5f0d32b05 WIP Task 3 already submitted after Task 2 so no points Michael Chen 2022-06-28 12:10:01 +02:00
  • 5069ae84e0 Merge branch 'studipsync' into main Michael Chen 2022-06-27 17:34:47 +02:00
  • b2eca50887 Stud.IP Sync at 6/27/2022 5:32:54 PM Stud.IP Sync 2022-06-27 17:32:49 +02:00
  • 52a777598a Added task 2 Michael Chen 2022-06-15 23:31:28 +02:00
  • 4cb6095c92 Added concat full lecture handout generator Michael Chen 2022-06-15 22:03:46 +02:00
  • ffea41af73 Finished task 1 Michael Chen 2022-06-15 22:03:06 +02:00
  • 37750c2395 Merge branch 'studipsync' into main Michael Chen 2022-06-15 20:00:15 +02:00
  • cea0257717 Stud.IP Sync at 6/15/2022 7:33:56 PM Stud.IP Sync 2022-06-15 19:33:49 +02:00
  • eda472b3d0 Added phase 04 project template Michael Chen 2022-06-08 11:08:26 +02:00
  • ce621dd1f4 Stud.IP Sync at 6/3/2022 1:16:03 PM Michael Chen 2022-06-08 11:03:59 +02:00
  • f2b3b1e3b6 Merge branch 'studipsync' into main Michael Chen 2022-05-31 09:59:48 +02:00
  • 1e3260a07d Added week 7 handout Michael Chen 2022-05-31 09:58:57 +02:00
  • 096a3d18d4 Merge branch 'phase03' into main Michael Chen 2022-05-19 09:39:34 +02:00
  • 63807f4c0a Fixed test suite Michael Chen 2022-05-19 09:34:34 +02:00
  • 89e4bb84ee Solved task 3 Michael Chen 2022-05-19 08:07:46 +02:00
  • 7aade7fac7 Solved task 2 Michael Chen 2022-05-18 22:07:39 +02:00
  • 18a1b3ad44 Added CFG Michael Chen 2022-05-18 21:05:23 +02:00
  • 8571c450c3 Finished task 1 Michael Chen 2022-05-18 17:25:41 +02:00
  • 1850fab30d Unpacked project template for phase03 Michael Chen 2022-05-18 16:40:39 +02:00
  • 5f81bb0bdf Stud.IP Sync at 5/18/2022 4:21:40 PM Stud.IP Sync 2022-05-18 16:21:15 +02:00
  • a7e092013a Merge branch 'main' into studipsync Michael Chen 2022-05-10 21:45:42 +02:00
  • 459a7c1655 Stud.IP Sync at 5/10/2022 9:53:55 AM Stud.IP Sync 2022-05-10 09:53:09 +02:00
  • d764be8736 Worked on second introduction Michael Chen 2022-05-09 18:25:56 +02:00
  • 5cad123ad2 Working on introduction 1 finished Michael Chen 2022-05-09 13:56:14 +02:00
  • ab407e762f Moved research task special session files and added build system Michael Chen 2022-05-09 13:55:55 +02:00
  • a4dcf0a069 Added week 5 handout Michael Chen 2022-05-09 13:54:44 +02:00
  • 410612159b Added research task Michael Chen 2022-05-06 15:20:04 +02:00
  • ae7f86004a Merge branch 'studipsync' into main Michael Chen 2022-05-05 17:52:38 +02:00
  • 6db7868f38 Added research paper Michael Chen 2022-05-05 17:50:48 +02:00
  • 7aac71993c Stud.IP Sync at 5/5/2022 5:42:36 PM Stud.IP Sync 2022-05-05 17:42:13 +02:00
  • f45923c4ff Merge branch 'phase02' into 'main' Michael Chen 2022-05-04 21:59:57 +00:00
  • fa3c062d2d Phase 02 Submission V1 Michael Chen 2022-05-04 23:56:21 +02:00
  • 0cebf35e25 Finished task 2 Michael Chen 2022-05-04 21:48:33 +02:00
  • 5a4e12e7bd Finish task 1 Michael Chen 2022-05-04 19:56:23 +02:00
  • 67b7a04034 Merge remote-tracking branch 'origin/main' into phase02 Michael Chen 2022-05-04 19:17:23 +02:00
  • e9dec446af Finish first task Michael Chen 2022-05-04 19:17:14 +02:00
  • 5a08ed557c Added phase 2 template Michael Chen 2022-05-04 19:06:20 +02:00
  • 7d381d7dff Added make build system Michael Chen 2022-05-04 19:13:53 +02:00
  • eab1d12870 Added phase 1 solution Michael Chen 2022-05-02 18:04:49 +02:00
  • 585aa19e0c Added project tasks 0-2 and R and handouts 1-4 Michael Chen 2022-04-08 11:01:05 +02:00