Commits

Branch selector

 aea7f44

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 2, 2023

• yaml gamml whitespaces =8-(

  jelmd

  committed
  aea7f44

  Copy full SHA for aea7f44

• fix workflow (hopefully)

  jelmd

  committed
  41d666a

  Copy full SHA for 41d666a

• Build env needs to match docker files.

  jelmd

  committed
  a701e51

  Copy full SHA for a701e51

• separate docker workflow since unrelated to build & test

  jelmd

  committed
  e095e63

  Copy full SHA for e095e63

• 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

• Merge pull request #2032 from TpmKranz/proofgraphs

  Show description for 550bdb5
  tillmo

  authored
  550bdb5

  Copy full SHA for 550bdb5

Commits on Jun 1, 2023

• Merge branch 'master' into proofgraphs

  tillmo

  authored
  19225e0

  Copy full SHA for 19225e0

• Merge pull request #2138 from spechub/2108_python_api

  Show description for f940cc9
  b-gehrke

  authored
  f940cc9

  Copy full SHA for f940cc9

• Optimized hetsapi docker builds

  b-gehrke

  committed
  cc5ecbd

  Copy full SHA for cc5ecbd

Commits on May 31, 2023

• Correctly install hyphen with pip

  b-gehrke

  committed
  9b43d99

  Copy full SHA for 9b43d99

• Ensured utf8 support for json conversions

  b-gehrke

  committed
  b392c63

  Copy full SHA for b392c63

Commits on May 25, 2023

• Corrected OMap in python stubs

  b-gehrke

  committed
  48c9935

  Copy full SHA for 48c9935

• Added missing files.

  b-gehrke

  committed
  9476cef

  Copy full SHA for 9476cef

Commits on May 23, 2023

• Restructured python stub files to reflect the haskell structure

  b-gehrke

  committed
  054d557

  Copy full SHA for 054d557

• Added GlobalAnnotations and GMorphism to python API

  b-gehrke

  committed
  7a87598

  Copy full SHA for 7a87598

Commits on Apr 26, 2023

• Added logic and signature of theory

  b-gehrke

  committed
  d8977eb

  Copy full SHA for d8977eb

• Added GMorphism to GraphEdges

  b-gehrke

  committed
  95ac022

  Copy full SHA for 95ac022

• Reexport members to conform with naming convention

  b-gehrke

  committed
  df9bd9b

  Copy full SHA for df9bd9b

• Ensured naming conventions in python files

  b-gehrke

  committed
  c5308b5

  Copy full SHA for c5308b5

• Ensured naming conventions

  b-gehrke

  committed
  1523464

  Copy full SHA for 1523464

Commits on Apr 25, 2023

• Exposed json structure of sentences

  b-gehrke

  committed
  d6a3a18

  Copy full SHA for d6a3a18

Commits on Apr 19, 2023

• Exposed getDGNodeName

  b-gehrke

  committed
  aece872

  Copy full SHA for aece872

• Added license headers

  b-gehrke

  committed
  0f67b7b

  Copy full SHA for 0f67b7b

Commits on Mar 31, 2023

• Added edges to development graph

  b-gehrke

  committed
  be1944d

  Copy full SHA for be1944d

Commits on Mar 28, 2023

• Merge remote-tracking branch 'origin/master' into 2108_python_api

  b-gehrke

  committed
  18faf76

  Copy full SHA for 18faf76

• Provided functions to retrieve proven and required consistency

  b-gehrke

  committed
  d9a6067

  Copy full SHA for d9a6067

• Moved proving and consistency to nodes

  b-gehrke

  committed
  7ed3275

  Copy full SHA for 7ed3275

Commits on Mar 15, 2023

• Record proof and consistency results to lib env

  b-gehrke

  committed
  1a935f0

  Copy full SHA for 1a935f0

Commits on Mar 4, 2023

• Merge pull request #2139 from neilmayhew/unsafe-coerce

  Show description for 3468cdb
  tillmo

  authored
  3468cdb

  Copy full SHA for 3468cdb

Commits on Mar 3, 2023

• Change import for unsafeCoerce#

  neilmayhew

  committed
  2490fb7

  Copy full SHA for 2490fb7

Commits on Mar 2, 2023

• Add licenses/attribution

  TpmKranz

  committed
  580a74e

  Copy full SHA for 580a74e

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 22, 2023

• Import functions only from a single module and ignore modules on the way to improve performance.

  b-gehrke

  committed
  7a56eb9

  Copy full SHA for 7a56eb9

Pagination

Previous

Next