started with transitions, I think agent transitions work...
[mc1516pa.git] / modelchecker / object.c
2016-04-12 Mart Lubbersstarted with transitions, I think agent transitions...
2016-04-09 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh...
2016-04-08 Mart Lubbersinitial state encoding done, I think
2016-04-07 Mart Lubbersmade a stub for object oriented appearch