GitHub - williehwc/SafeGuards: A proof of concept for an event guard-handling system (à la SPIN Operating System) with conflict checks.

Name		Name	Last commit message	Last commit date
Latest commit History 57 Commits
deprecated		deprecated
hw2		hw2
.gitignore		.gitignore
100process1guard.txt		100process1guard.txt
10process1guard.txt		10process1guard.txt
1process1guard.txt		1process1guard.txt
200process1guard.txt		200process1guard.txt
20process1guard.txt		20process1guard.txt
2process1guard.txt		2process1guard.txt
500process1guard.txt		500process1guard.txt
50process1guard.txt		50process1guard.txt
5process1guard.txt		5process1guard.txt
Makefile		Makefile
cryptography.cpp		cryptography.cpp
experiments.py		experiments.py
experiments.sh		experiments.sh
experiments_2var.py		experiments_2var.py
experiments_multi.py		experiments_multi.py
experiments_multi2.py		experiments_multi2.py
experiments_new.py		experiments_new.py
msg_sender.py		msg_sender.py
msg_sender_2.py		msg_sender_2.py
safeguards.cpp		safeguards.cpp
safeguards.hpp		safeguards.hpp
test_case_e.py		test_case_e.py
test_cases_ab.py		test_cases_ab.py
test_cases_cd.py		test_cases_cd.py
utilities.py		utilities.py
z3_example.c		z3_example.c
z3_example.cpp		z3_example.cpp