Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Allow to draw without edge labels (commit: f6a3c2c) (details)
  2. Code formatting (commit: 3418534) (details)
  3. Use svg-pan-zoom for witness context graphs (commit: b1bddcd) (details)
  4. Added scaling script to components and conflict graphs. (commit: c28ed83) (details)
  5. Visualize DAG and transitive reduction (commit: 8abd37b) (details)
Commit f6a3c2c38ea9e0764804d0e3c1e1a1ffe61a8a38 by Thorsten Vitt
Allow to draw without edge labels
 (commit: f6a3c2c)
The file was modifiedvisualize.py (diff)
The file was modifiedgraph.py (diff)
The file was modifieduris.py (diff)
Commit b1bddcd26472df4bd9da2a93197f6efb96e4b2e0 by Thorsten Vitt
Use svg-pan-zoom for witness context graphs
 (commit: b1bddcd)
The file was modifiedreport.py (diff)
Commit c28ed83169ddfcd68e693ec0864eec94951c2171 by Thorsten Vitt
Added scaling script to components and conflict graphs.
 (commit: c28ed83)
The file was modifiedreport.py (diff)
Commit 8abd37b7a00e8ad3bce5155f213723ada0f096e7 by Thorsten Vitt
Visualize DAG and transitive reduction
 (commit: 8abd37b)
The file was modifiedreport.py (diff)
The file was modifiedmain.py (diff)