List view

• Version 2.0

  No due date

  •0/3 issues closed
  0% complete3 open0 closed

• Grammars with Layers

  No due date
  0% complete0 open0 closed

• Attributed Graphs

  Minimal working implementation of attributed graphs. Involves: implementation based on Symbolic Graphs, with a fixed data algebra of integers, booleans and strings; interop with AGG; Critical Pair Analysis; use of SMT solvers to handle attributes.

  No due date

  •0/5 issues closed
  0% complete5 open0 closed

• Inheritance

  No due date
  0% complete0 open0 closed

• Conflict Reason

  No due date
  0% complete0 open0 closed

• Graph Processes

  No due date
  0% complete0 open0 closed