Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 15, 2021

• Delete test directory

  xsk07

  authored
  a68f2df

• bug fixed

  xsk07

  authored
  8b98704

• bug fixed

  xsk07

  authored
  5a90299

• bug fixed

  xsk07

  authored
  df15b47

• Add back conversion functionality classes

  xsk07

  authored
  5307c27

Commits on Dec 14, 2021

• Update README.md

  xsk07

  authored
  783b322

Commits on Dec 11, 2021

• Add files via upload

  xsk07

  authored
  8da37fb

Commits on Dec 7, 2021

• Create LICENSE

  xsk07

  authored
  ed2d70f

• Delete LTLf2DFAcall.py

  xsk07

  authored
  5229ef5

• Add files via upload

  xsk07

  authored
  1c03368

• Update README.md

  xsk07

  authored
  205a3b8

Commits on Nov 25, 2021

• Delete src/separator/FormulaEliminator directory

  xsk07

  authored
  c10ded3

Commits on Nov 22, 2021

• Add files via upload

  xsk07

  authored
  9758c7c

• Delete Proba.java

  xsk07

  authored
  686dd60

• Delete src/simplifier directory

  xsk07

  authored
  0010635

• Delete Lemmas.java

  xsk07

  authored
  ac00c7e

• Delete SeparationSolver.java

  xsk07

  authored
  ab1483f

• Delete SeparationTask.java

  xsk07

  authored
  fa9b632

• Delete State.java

  xsk07

  authored
  b49232c

• Delete OperatorChain.java

  xsk07

  authored
  6909b65

• Delete JunctionPath.java

  xsk07

  authored
  cd406ce

• Delete FormulaSeparator.java

  xsk07

  authored
  c965a84

• Delete BinaryFormula.java

  xsk07

  authored
  871af70

• Add files via upload

  xsk07

  authored
  2e8627c

Commits on Nov 16, 2021

• Add files via upload

  xsk07

  authored
  f25c7ab

• Add files via upload

  xsk07

  authored
  c9fea5a

• Add files via upload

  xsk07

  authored
  90f631e

• Delete SubformulasPatterns.java

  xsk07

  authored
  35c5468

• Delete FormulaEliminator.java

  xsk07

  authored
  74d0e3b

• Delete EliminationRules.java

  xsk07

  authored
  ba7b436

• Delete Direction.java

  xsk07

  authored
  52d84f3

• Delete TypeConstant.java

  xsk07

  authored
  3635561

• Add files via upload

  xsk07

  authored
  b60cb8d

Commits on Nov 10, 2021

• Update README.md

  xsk07

  authored
  759ef2b

Commits on Oct 29, 2021

• Update README.md

  xsk07

  authored
  679942e

Pagination

PreviousNext