Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 11, 2012

• - Changed caching behaviour

  Show description for c840d47
  scranen

  committed
  c840d47

  Copy full SHA for c840d47

Commits on Sep 28, 2012

• - Fixed some errors related to caching

  Show description for cb145aa
  scranen

  committed
  cb145aa

  Copy full SHA for cb145aa

Commits on Sep 27, 2012

• - Various fixes

  Show description for 7ed8153
  scranen

  committed
  7ed8153

  Copy full SHA for 7ed8153

Commits on Sep 19, 2012

• Added support for next() on partial relations (i.e., relations defined for a projection of a source state MDD).

  scranen

  committed
  764b226

  Copy full SHA for 764b226

Commits on Sep 18, 2012

• - Bugfixes

  Show description for 97896e7
  scranen

  committed
  97896e7

  Copy full SHA for 97896e7

Commits on Sep 13, 2012

• Added match(), project() and count() operations to MDD.

  scranen

  committed
  f60219a

  Copy full SHA for f60219a

Commits on Sep 6, 2012

• - Added caching for rel_next

  Show description for a43ab35
  scranen

  committed
  a43ab35

  Copy full SHA for a43ab35

• - Added rel_next

  Show description for ba4ce8e
  scranen

  committed
  ba4ce8e

  Copy full SHA for ba4ce8e

• - Added set_contains

  Show description for ab04421
  scranen

  committed
  ab04421

  Copy full SHA for ab04421

Commits on Sep 4, 2012

• - Made bisimulation test more precise

  scranen

  committed
  2f2f956

  Copy full SHA for 2f2f956

• - Fixed bisimulation test

  Show description for e69015f
  scranen

  committed
  e69015f

  Copy full SHA for e69015f

• - Added relabel operation

  Show description for 0862027
  scranen

  committed
  0862027

  Copy full SHA for 0862027

Commits on Aug 31, 2012

• Fixed bug in interleaved-sequential relation composition.

  scranen

  committed
  343d498

  Copy full SHA for 343d498

• - Added interleaved-sequential relation composition

  Show description for 3bdb88b
  scranen

  committed
  3bdb88b

  Copy full SHA for 3bdb88b

• Added transitive closure for interleaved relations.

  scranen

  committed
  c041db1

  Copy full SHA for c041db1

• - Added mdd_irel class for interleaved relations.

  Show description for 132a5a9
  scranen

  committed
  132a5a9

  Copy full SHA for 132a5a9

Commits on Aug 30, 2012

• - Completed set intersection

  Show description for db997a7
  scranen

  committed
  db997a7

  Copy full SHA for db997a7

• Added set intersection.

  scranen

  committed
  00f2510

  Copy full SHA for 00f2510

• Changed operations on MDDs to functors, so they can be implemented in separate files.

  scranen

  committed
  a5052d2

  Copy full SHA for a5052d2

• - Moved class implementations to separate files.

  Show description for abb4cf6
  scranen

  committed
  abb4cf6

  Copy full SHA for abb4cf6

• - Added iterator for MDDs (should work with STL algorithms and for (auto x: mdd) syntax).

  Show description for 64f348a
  scranen

  committed
  64f348a

  Copy full SHA for 64f348a

Commits on Aug 28, 2012

• Added some documentation.

  scranen

  committed
  37aa0bc

  Copy full SHA for 37aa0bc

• Added test for set_union, fixed bug in set_union.

  scranen

  committed
  624c035

  Copy full SHA for 624c035

• Added set_union operation.

  scranen

  committed
  6af866f

  Copy full SHA for 6af866f

• Fixed reference counting, added clean() method to factory.

  scranen

  committed
  4f6c10a

  Copy full SHA for 4f6c10a

Commits on Aug 24, 2012

• Found one bug. Now there's still a node with usecount 0 that gets freed.

  scranen

  committed
  8862d53

  Copy full SHA for 8862d53

• First draft. The reference counting does not work yet; it behaves differently each run, so I must have messed up something with pointers.

  scranen

  committed
  c3c77d1

  Copy full SHA for c3c77d1

• Initial commit

  scranen

  committed
  3f54590

  Copy full SHA for 3f54590