lp://qastaging/~alessandro-bruni/+junk/unfolder

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

42. By Alessandro Bruni on 2010-04-16

Removed adequate orders

41. By Alessandro Bruni on 2010-04-13

Fix on closure check algorithm
Removed __DEBUG__

40. By Alessandro Bruni on 2010-04-13

Private co-structures for conditions, keeping the reverse side of co-relations.

39. By Alessandro Bruni on 2010-04-07

Updating reverse side of co-relation.

38. By Alessandro Bruni on 2010-03-31

Simplified on the ideas we had in december and still not working

37. By Alessandro Bruni on 2009-12-06

Closure check algorithm updated

36. By Alessandro Bruni on 2009-12-04

Refactoring;
added drop_context.

35. By Alessandro Bruni on 2009-11-27

Closure check algorithm

34. By Alessandro Bruni on 2009-07-09

Fix: initial marking was not inserted in the unfolding
Added new example

33. By Alessandro Bruni on 2009-07-08

Removed electric fence, fix on pairwise concurrent