projects / model-checker.git / history
| 2012-04-10 | Brian Norris | scheduler: kill 'replaceable' scheduler | blob | commitdiff | raw |
| 2012-04-10 | Brian Norris | model: add print_trace() function | blob | commitdiff | raw | diff to current |
| 2012-04-10 | Brian Norris | model: add check_current_action() function | blob | commitdiff | raw | diff to current |
| 2012-04-10 | Brian Norris | threads_internal: pass the current 'action' to the... | blob | commitdiff | raw | diff to current |
| 2012-04-10 | Brian Norris | model: add class ModelAction | blob | commitdiff | raw | diff to current |
| 2012-03-15 | Brian Norris | remove unnecessary #includes | blob | commitdiff | raw | diff to current |
| 2012-03-14 | Brian Norris | schedule: create 'class Scheduler' with implementation... | blob | commitdiff | raw | diff to current |
| 2012-03-14 | Brian Norris | model: use 'this' uniformly | blob | commitdiff | raw | diff to current |
| 2012-03-14 | Brian Norris | model: move model.c --> model.cc | blob | commitdiff | raw | diff to current |