|
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 |
|