README.md: use HTML URL, not PHP
[c11tester.git] / execution.h
2013-06-06 Brian Norrisexecution: document promises list; it is assumed to...
2013-05-08 Brian Norrisexecution: bugfix - resolved promises should propagate...
2013-05-08 Brian Norrisexecution: refactor common CV propagation into its...
2013-04-18 Brian DemskyAdd yield block support. The idea is to not generate...
2013-04-17 Brian DemskyBug: ModelExecution had bogus model_params reference.
2013-04-16 Brian Norrisnodestack: localize the model-checker parameters
2013-04-16 Brian Norrisexecution: embed obj_map directly in class
2013-04-16 Brian Norrisexecution: convert HashTable to SnapVector
2013-04-16 Brian Norrisexecution: embed action_list as full member
2013-04-16 Brian Norrisexecution: embed more data structures directly in class
2013-04-16 Brian Norrisexecution: embed snapshotted data structures in class
2013-04-16 Brian Norrisexecution: make structure snapshotting
2013-04-16 Brian Norrisexecution: move execution number back to ModelChecker...
2013-04-16 Brian Norrisclean out includes, etc.
2013-04-16 Brian NorrisMerge cleanup branch
2013-04-16 Brian Norrisexecution: add 'const'
2013-04-16 Brian NorrisBROKEN: restructure much of ModelChecker as ModelExecut...