Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 2, 2019

• namedFile does not throw an exception anymore

  

  Tobias Gleißner

  committed
  a670c90

  Copy full SHA for a670c90

• fixed bug that config cannot be saved if config file/dir does not exist

  

  Tobias Gleißner

  committed
  354cd41

  Copy full SHA for 354cd41

Commits on Oct 1, 2019

• updated zip/lambda

  

  Tobias Gleißner

  committed
  d8b7dae

  Copy full SHA for d8b7dae

• added tempfile manager

  

  Tobias Gleißner

  committed
  2154d9b

  Copy full SHA for 2154d9b

• added config

  

  Tobias Gleißner

  committed
  c20685b

  Copy full SHA for c20685b

Commits on Sep 28, 2019

• added aws s3 and lambda utils

  

  Tobias Gleißner

  committed
  7ca4aa8

  Copy full SHA for 7ca4aa8

• added zipping support

  

  Tobias Gleißner

  committed
  9bb51e8

  Copy full SHA for 9bb51e8

Commits on Sep 24, 2019

• added dev goals

  

  Tobias Gleißner

  committed
  3d72085

  Copy full SHA for 3d72085

• added more types of traces

  Show description for 2a32341
  

  Tobias Gleißner

  committed
  2a32341

  Copy full SHA for 2a32341

• renamed statistics to plots

  

  Tobias Gleißner

  committed
  b2ba82b

  Copy full SHA for b2ba82b

• updated .gitignore

  

  Tobias Gleißner

  committed
  bf56c7b

  Copy full SHA for bf56c7b

• added exception for systemontptp

  Show description for 7fce6a1
  

  Tobias Gleißner

  committed
  7fce6a1

  Copy full SHA for 7fce6a1

• Cleanup: created contrib and dev folder, moved stuff around.

  traeger

  committed
  ef90485

  Copy full SHA for ef90485

• Added linter

  traeger

  committed
  3b6af8c

  Copy full SHA for 3b6af8c

• Merge remote-tracking branch 'origin/master'

  

  Tobias Gleißner

  committed
  d673359

  Copy full SHA for d673359

• added dev info

  

  Tobias Gleißner

  committed
  8f0d97a

  Copy full SHA for 8f0d97a

• removed invalid import

  

  Tobias Gleißner

  committed
  7f16a11

  Copy full SHA for 7f16a11

• Competition: added csv export for competition.

  traeger

  committed
  b42a1e0

  Copy full SHA for b42a1e0

Commits on Sep 23, 2019

• renamed bin.py to __main__.py

  

  Tobias Gleißner

  committed
  60d9f9c

  Copy full SHA for 60d9f9c

• display help if no tool is specified in binary

  

  Tobias Gleißner

  committed
  1f81c87

  Copy full SHA for 1f81c87

• added executable creation on setup

  

  Tobias Gleißner

  committed
  2a4135b

  Copy full SHA for 2a4135b

• added some language support

  

  Tobias Gleißner

  committed
  6cd94ab

  Copy full SHA for 6cd94ab

Commits on Sep 20, 2019

• added tests

  

  Tobias Gleißner

  committed
  5b671e0

  Copy full SHA for 5b671e0

• added trace to chart interface

  Show description for 23c6caf
  

  Tobias Gleißner

  committed
  23c6caf

  Copy full SHA for 23c6caf

Commits on Sep 15, 2019

• moved time text from plots outside the figure function

  

  Tobias Gleißner

  committed
  0903bbf

  Copy full SHA for 0903bbf

• updated text position in graphs

  Show description for 22326bd
  

  Tobias Gleißner

  committed
  22326bd

  Copy full SHA for 22326bd

• Competition, Cleanup: some code cleanup for szsStatus and plots, added commandline options for plots, add time used for correct solutions in plots, add time out for competition.

  traeger

  committed
  bf4d8c3

  Copy full SHA for bf4d8c3

Commits on Sep 14, 2019

• added unsoundness out to graphics of casc

  

  Tobias Gleißner

  committed
  65b61ab

  Copy full SHA for 65b61ab

• dummy timeout adjustment

  Show description for dfcbaee
  

  Tobias Gleißner

  committed
  dfcbaee

  Copy full SHA for dfcbaee

• update graphical output

  Show description for 6d94eb0
  

  Tobias Gleißner

  committed
  6d94eb0

  Copy full SHA for 6d94eb0

• Merge branch 'master' of github.com:leoprover/tptp

  traeger

  committed
  13d7ab6

  Copy full SHA for 13d7ab6

• LocalSolver: fixed error handling in cases where nothing is returned by the solver and no exception is thrown, now: the status Unknown is returned, which is correct by the SZS status specification.

  traeger

  committed
  fd19126

  Copy full SHA for fd19126

Commits on Sep 13, 2019

• update graphical output for new szs implementation

  

  Tobias Gleißner

  committed
  51fcf41

  Copy full SHA for 51fcf41

• Merge remote-tracking branch 'origin/master'

  

  Tobias Gleißner

  committed
  4a034c0

  Copy full SHA for 4a034c0

• added some graphical output for benchmark results

  

  Tobias Gleißner

  committed
  cca1126

  Copy full SHA for cca1126

Pagination

Previous

Next