Commits

Branch selector

 master

User selector

daniilsvc

Datepicker

All time

Commit History

Commits on Jun 2, 2023

• typo

  

  daniilsvc

  authored and

  jelmd

  committed
  30f77a8

  Copy full SHA for 30f77a8

• add CI job for docker publishing

  

  daniilsvc

  authored and

  jelmd

  committed
  34b76eb

  Copy full SHA for 34b76eb

Commits on Feb 23, 2023

• Merge pull request #2135 from spechub/2100_CI_completion_performance

  Show description for 6541344
  daniilsvc

  authored
  6541344

  Copy full SHA for 6541344

• Merge branch 'master' into 2100_CI_completion_performance

  daniilsvc

  authored
  2b2c253

  Copy full SHA for 2b2c253

Commits on Feb 16, 2023

• remove old findComorphismPaths function

  daniilsvc

  committed
  e2cd725

  Copy full SHA for e2cd725

• remove traces

  daniilsvc

  committed
  d3db796

  Copy full SHA for d3db796

• Merge branch 'master' into 2100_CI_completion_performance

  daniilsvc

  authored
  7c4c0d2

  Copy full SHA for 7c4c0d2

• change times_logic_in_branch

  daniilsvc

  committed
  7f04ef8

  Copy full SHA for 7f04ef8

Commits on Feb 9, 2023

• correct weights and some minor changes

  daniilsvc

  committed
  1c9d1ce

  Copy full SHA for 1c9d1ce

Commits on Feb 7, 2023

• final working version

  daniilsvc

  committed
  283e9e7

  Copy full SHA for 283e9e7

Commits on Feb 6, 2023

• revised algo

  daniilsvc

  committed
  c2b3eea

  Copy full SHA for c2b3eea

Commits on Feb 4, 2023

• v1 of new algo, too small completion result

  daniilsvc

  committed
  e04d118

  Copy full SHA for e04d118

Commits on Jan 19, 2023

• move import out of #ifdef HASKELINE

  daniilsvc

  committed
  749e4d5

  Copy full SHA for 749e4d5

• forgotten import and typos

  daniilsvc

  committed
  ffb6557

  Copy full SHA for ffb6557

• fix issues

  daniilsvc

  committed
  ca0e82f

  Copy full SHA for ca0e82f

Commits on Nov 17, 2022

• Merge pull request #2040 from spechub/1636_hets_performance_issues

  Show description for 98f8171
  daniilsvc

  authored
  98f8171

  Copy full SHA for 98f8171

• Merge branch 'master' into 1636_hets_performance_issues

  daniilsvc

  authored
  0eb289a

  Copy full SHA for 0eb289a

Commits on Nov 10, 2022

• remove Debug.Trace

  daniilsvc

  committed
  80a3dea

  Copy full SHA for 80a3dea

• use Xeno as XML parser

  daniilsvc

  committed
  3c35251

  Copy full SHA for 3c35251

• traces in OWL2.StaticAnalysis

  daniilsvc

  committed
  1483718

  Copy full SHA for 1483718

Commits on Oct 20, 2022

• Merge pull request #2125 from spechub/2013_status_for_Vampire_prover_in_TPTP

  Show description for b3caf9b
  daniilsvc

  authored
  b3caf9b

  Copy full SHA for b3caf9b

• check Vampire status correctly

  daniilsvc

  committed
  e50f348

  Copy full SHA for e50f348

Commits on Oct 13, 2022

• use FileInfo data type

  daniilsvc

  committed
  2d8c84c

  Copy full SHA for 2d8c84c

• Merge branch 'master' into 1636_hets_performance_issues

  daniilsvc

  committed
  715cffc

  Copy full SHA for 715cffc

Commits on Oct 6, 2022

• eliminate duplication

  daniilsvc

  committed
  7e4698f

  Copy full SHA for 7e4698f

• exhaustive pattern match

  daniilsvc

  committed
  1f3cddb

  Copy full SHA for 1f3cddb

Commits on Sep 28, 2022

• Merge pull request #2114 from spechub/fix_mysql_errors_jammy

  Show description for fc26b49
  daniilsvc

  authored
  fc26b49

  Copy full SHA for fc26b49

Commits on Sep 27, 2022

• Merge branch 'master' into 1636_hets_performance_issues

  daniilsvc

  committed
  1ae2ec4

  Copy full SHA for 1ae2ec4

• remove warnings compiling DtdToHaskell

  daniilsvc

  committed
  5bd9b57

  Copy full SHA for 5bd9b57

• unused binding in Static.GTheory

  daniilsvc

  committed
  e3d7fad

  Copy full SHA for e3d7fad

• redundant imports in OWL2.OWL22NeSyPatterns

  daniilsvc

  committed
  388298b

  Copy full SHA for 388298b

• changes in Persistence.MySQL

  daniilsvc

  committed
  802ac51

  Copy full SHA for 802ac51

Commits on Sep 15, 2022

• Merge branch 'master' into 1636_hets_performance_issues

  daniilsvc

  committed
  38cea50

  Copy full SHA for 38cea50

Commits on Sep 12, 2022

• Merge pull request #2097 from spechub/fix_compile_error_dtdtohaskell

  Show description for b388632
  daniilsvc

  authored
  b388632

  Copy full SHA for b388632

• fix errors

  daniilsvc

  committed
  3328a57

  Copy full SHA for 3328a57

Pagination

Previous

Next