Commit Graph

56 Commits

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

See merge request chenmichael/software-testing!1
2022-05-04 21:59:57 +00:00
Michael Chen
fa3c062d2d
Phase 02 Submission V1 2022-05-04 23:56:21 +02:00
Michael Chen
0cebf35e25
Finished task 2 2022-05-04 21:48:33 +02:00
Michael Chen
5a4e12e7bd
Finish task 1 2022-05-04 19:56:23 +02:00