http://www.ratatanek.cz/hg/pydivine/ en-us pydivine Changelog pydivine Changelog Refactoring. http://www.ratatanek.cz/hg/pydivine/rev/899a9734926a Martin Vejnar <avakar@ratatanek.cz> Sun, 21 Mar 2010 18:46:14 +0100 Added support for Buchi automata and synchronous product. http://www.ratatanek.cz/hg/pydivine/rev/cd0ad5f8582f Martin Vejnar <avakar@ratatanek.cz> Sun, 21 Mar 2010 14:37:49 +0100 Refactoring, added support for ramp functions, Calin's model and MonoDevelop solution. http://www.ratatanek.cz/hg/pydivine/rev/f2c17822b9bf Martin Vejnar <avakar@ratatanek.cz> Thu, 18 Mar 2010 11:57:26 +0100 Fixed a bug in ParamSet.union, added a verification step. http://www.ratatanek.cz/hg/pydivine/rev/aa0926f29413 Martin Vejnar <avakar@ratatanek.cz> Thu, 28 Jan 2010 19:50:25 +0100 The algorithm walks the verteces in DFS order. http://www.ratatanek.cz/hg/pydivine/rev/ecca9619d2ee Martin Vejnar <avakar@ratatanek.cz> Fri, 22 Jan 2010 18:38:44 +0100 Added support for initial states and threshold refinement. http://www.ratatanek.cz/hg/pydivine/rev/44208a6e210c Martin Vejnar <avakar@ratatanek.cz> Wed, 13 Jan 2010 21:16:11 +0100 Replaced the variation generator with a shorter and more pythonic version. http://www.ratatanek.cz/hg/pydivine/rev/ceca4c197704 Martin Vejnar <avakar@ratatanek.cz> Sat, 19 Dec 2009 23:47:46 +0100 StateSpace.successors renamed to StateSpace.out_edges which now returns an object with `source` and `target` properties. http://www.ratatanek.cz/hg/pydivine/rev/4d6ee5c13d3d Martin Vejnar <avakar@ratatanek.cz> Sat, 19 Dec 2009 17:17:06 +0100 Added __str__ and __repr__ for Model. http://www.ratatanek.cz/hg/pydivine/rev/5eab02f90bcc Martin Vejnar <avakar@ratatanek.cz> Sat, 19 Dec 2009 16:46:11 +0100 Split the code to multiple files. http://www.ratatanek.cz/hg/pydivine/rev/9997074b9b10 Martin Vejnar <avakar@ratatanek.cz> Sat, 19 Dec 2009 16:05:43 +0100