GitHub - hadarlh/AGR

This repository has been archived by the owner on Jul 1, 2022. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
README.txt		README.txt
SimpleProtocolDecomposed1.txt		SimpleProtocolDecomposed1.txt
SimpleProtocolDecomposedHadar.txt		SimpleProtocolDecomposedHadar.txt
SimpleProtocolDecomposedNoConstraints.txt		SimpleProtocolDecomposedNoConstraints.txt
SimpleProtocolDecomposedNoConstraints_error.txt		SimpleProtocolDecomposedNoConstraints_error.txt
client1.txt		client1.txt
client1_c.txt		client1_c.txt
client1_c_constraints.txt		client1_c_constraints.txt
client1_c_error_constraints.txt		client1_c_error_constraints.txt
client2.txt		client2.txt
client2_c.txt		client2_c.txt
client2_c_error.txt		client2_c_error.txt
client2_c_error_constraints.txt		client2_c_error_constraints.txt
client4.txt		client4.txt
client4_c.txt		client4_c.txt
client4_c_error.txt		client4_c_error.txt
clt1.txt		clt1.txt
clt1_transit.txt		clt1_transit.txt
clt2_transit.txt		clt2_transit.txt
clt2_transit_errEq1.txt		clt2_transit_errEq1.txt
complexData.txt		complexData.txt
infinite_bugs_c1.txt		infinite_bugs_c1.txt
simple_error.txt		simple_error.txt
simple_error3.txt		simple_error3.txt
with _constraints.txt		with _constraints.txt
with _constraints_1.txt		with _constraints_1.txt
with _constraints_complex.txt		with _constraints_complex.txt
with _constraints_n.txt		with _constraints_n.txt
with _constraints_simple.txt		with _constraints_simple.txt

Repository files navigation

examples to run on AGR tool.
all examples were tested also in a larger scale, where our tool first composed the components with themselves as many times as we want, 
to create larger components (up to sizes of above 200 states).