pydivine: Summary

2010-03-21	Martin Vejnar	Refactoring. default tip	changeset \| files
2010-03-21	Martin Vejnar	Added support for Buchi automata and synchronous product.	changeset \| files
2010-03-18	Martin Vejnar	Refactoring, added support for ramp functions, Calin's model and MonoDevelop solution.	changeset \| files
2010-01-28	Martin Vejnar	Fixed a bug in ParamSet.union, added a verification step.	changeset \| files
2010-01-22	Martin Vejnar	The algorithm walks the verteces in DFS order.	changeset \| files
2010-01-13	Martin Vejnar	Added support for initial states and threshold refinement.	changeset \| files
2009-12-19	Martin Vejnar	Replaced the variation generator with a shorter and more pythonic version.	changeset \| files
2009-12-19	Martin Vejnar	StateSpace.successors renamed to StateSpace.out_edges which now returns an object with `source` and `target` properties.	changeset \| files
2009-12-19	Martin Vejnar	Added __str__ and __repr__ for Model.	changeset \| files
2009-12-19	Martin Vejnar	Split the code to multiple files.	changeset \| files
...

2010-03-21	899a9734926a	default	changeset \| changelog \| files
...