Claudio Maggioni maggicl
1 Followers · 1 Following
Repositories
64
 Projects Packages Public Activity Starred Repositories
maggicl pushed to main at maggicl/soft-arch 2023-06-18 14:21:28 +00:00
01f8d3777d Added time tracker data
7a19f17df5 hw14 done, please check
93b766edc0 done hw14 part 1
dbbb30e30f hw12 done, please check
629fd1eb28 almost done hw12
Compare 10 commits »
maggicl created repository maggicl/soft-arch 2023-06-18 14:20:40 +00:00
maggicl pushed to main at maggicl/ima02 2023-06-18 14:20:15 +00:00
066c0d0701 updated report
786d6a0684 documentation
5f30b3b71b done
a6662bc950 all done but practical usefulness
5841b222ee more report
Compare 10 commits »
maggicl created branch main in maggicl/ima02 2023-06-18 14:20:15 +00:00
maggicl created repository maggicl/ima02 2023-06-18 14:20:06 +00:00
maggicl created branch main in maggicl/ima01 2023-06-18 14:19:19 +00:00
maggicl pushed to main at maggicl/ima01 2023-06-18 14:19:19 +00:00
302f53f5ea report almost done
59904646fa done part 1 and 2 of report
12e1f6eed2 Feature vectors code fixed
82a505b60a report part 1 done
703b77a39d done part 3 and part 4
Compare 10 commits »
maggicl created repository maggicl/ima01 2023-06-18 14:17:54 +00:00
maggicl pushed to master at maggicl/soft-an04 2023-06-18 14:16:36 +00:00
a7f3b1c06a report conclusions
38e04a2952 Run script refined
5c64f6dcbc Sad the course is almost over
bd75c7ab34 more report work
171740efd6 Report explains ProMeLa code and all LTLs
Compare 10 commits »
maggicl created branch master in maggicl/soft-an04 2023-06-18 14:16:36 +00:00
maggicl created branch master in maggicl/soft-an03 2023-06-18 14:16:23 +00:00
maggicl pushed to master at maggicl/soft-an03 2023-06-18 14:16:23 +00:00
ae3d05fd7c report corrections
38ca002687 report done
6f1444e751 all but conclusions
f50bfb288b report 70% done
0d3fadaafa wip on report
Compare 10 commits »
maggicl pushed to master at maggicl/soft-an02 2023-06-18 14:15:54 +00:00
58db813ee0 Merge branch 'master' of gitlab.com:usi-si-teaching/msde/2022-2023/software-analysis/maggioni/assignment-2
554f711a6f report done
b9ad3e3509 report done
9511c2303d added TODOs to report wip
2a35025e5a done all fixed, done report on false positives, wip on true positives
maggicl created branch master in maggicl/soft-an02 2023-06-18 14:15:54 +00:00
maggicl created repository maggicl/soft-an04 2023-06-18 14:15:24 +00:00
maggicl created repository maggicl/soft-an03 2023-06-18 14:15:18 +00:00
maggicl created repository maggicl/soft-an02 2023-06-18 14:15:09 +00:00
maggicl pushed to master at maggicl/maggioni.xyz 2023-01-03 23:05:17 +00:00
3c7af26650 Hit it son
maggicl pushed to master at maggicl/maggioni.xyz 2023-01-03 22:47:08 +00:00
53647566bc ROR baby
maggicl pushed to master at maggicl/ddm 2022-12-21 09:22:24 +00:00
664584992e Added assignment descriptions