gleiss/saturation-visualization

Issues

• Clean up backend code

  #48 opened 5 years ago
  0

• Add typescript

  #47 opened 5 years ago
  0

• Implement subgraph selection features

  #46 opened 5 years ago
  0

• Implement file upload

  #45 opened 5 years ago
  0

• Implement node selection features

  #44 opened 5 years ago
  0

• Re-add history versions

  #43 opened 5 years ago
  0

• Re-add markers

  #42 opened 5 years ago
  0

• Re-add node selection

  #41 opened 5 years ago
  0

• Rewrite utils and generate network from new layout

  #40 opened 5 years ago
  0

• Use viz.js to generate layout

  #39 opened 5 years ago
  0

• parse proof_extra full

  #38 opened 5 years ago
  1

• show uploaded file name

  #37 opened 5 years ago
  1

• Make width of right column constant

  #36 opened 6 years ago
  0

• Implement highlighting of nodes

  #35 opened 6 years ago
  0

• Don't clear search after clicking on search-result

  #34 opened 6 years ago
  0

• Keep selection after "render selection only"

  #33 opened 6 years ago
  0

• Add findCommonConsequences

  #32 opened 6 years ago
  0

• Add select Children

  #31 opened 6 years ago
  0

• Add Node Information

  #30 opened 6 years ago
  0

• filterTheoryDecendents(proof)

  #29 opened 6 years ago
  1

• filterCompletelyPassive(proof)

  #28 opened 6 years ago
  1

• filterNonParents(proof, nodes)

  #27 opened 6 years ago
  0

• Implement filterNonConsequences(proof, nodes)

  #26 opened 6 years ago
  0

• Implement sanitizeTransformation

  #25 opened 6 years ago
  1

• Implement BreadthFirstPreOrderTraversal

  #24 opened 6 years ago
  1

• Implement DepthFirstPostOrderTraversal

  #23 opened 6 years ago
  0

• Refactor get_layout

  #22 opened 6 years ago
  0

• Extend get_layout to handle active and passive clauses

  #21 opened 6 years ago
  0

• Extend parser to support active and passive clauses

  #20 opened 6 years ago
  0

• Extend the Node-class

  #19 opened 6 years ago
  0

• Add backend functionality for clause edit feature

  #18 opened 5 years ago
  0

• Add ui for clause edit feature

  #17 opened 5 years ago
  0

• Implement zoom feature

  #16 opened 6 years ago
  0

• Display inference history

  #15 opened 6 years ago
  0

• Display formulas in graph

  #14 opened 6 years ago
  0

• Change module/folder names to match mvc pattern

  #13 opened 6 years ago
  0

• Improve folder structure

  #12 opened 6 years ago
  0