Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 14, 2023

• Merge pull request #2124 from spechub/2119_regularly_update_Hets_docker_image

  Show description for 5d7c575
  tillmo

  authored
  5d7c575

  Copy full SHA for 5d7c575

Commits on Jul 27, 2023

• Merge branch 'master' into 2119_regularly_update_Hets_docker_image

  b-gehrke

  authored
  de235a7

  Copy full SHA for de235a7

Commits on Jun 11, 2023

• Merge pull request #2127 from rosento/shell_subst

  Show description for 8fd7828
  b-gehrke

  authored
  8fd7828

  Copy full SHA for 8fd7828

• Merge branch 'master' into shell_subst

  b-gehrke

  authored
  8591bb0

  Copy full SHA for 8591bb0

Commits on Jun 9, 2023

• Merge pull request #2145 from spechub/fix_warnings

  Show description for adb6a48
  b-gehrke

  authored
  adb6a48

  Copy full SHA for adb6a48

• Merge branch 'master' into fix_warnings

  b-gehrke

  authored
  97a2a10

  Copy full SHA for 97a2a10

Commits on Jun 6, 2023

• new Hets mailing lists

  tillmo

  committed
  d290b99

  Copy full SHA for d290b99

• docker workflow: context doc is confusing

  jelmd

  committed
  92a9866

  Copy full SHA for 92a9866

• docker workflow: fix context + use recommended order

  jelmd

  committed
  2b3f4cc

  Copy full SHA for 2b3f4cc

• docker workflow: rm redundant checkout

  Show description for a8eb234
  jelmd

  committed
  a8eb234

  Copy full SHA for a8eb234

• yaml gamml spaces ...

  jelmd

  committed
  bd5398d

  Copy full SHA for bd5398d

• docker workflow fix: 18.04 is unsupported by GHA

  jelmd

  committed
  7ead68f

  Copy full SHA for 7ead68f

Commits on Jun 2, 2023

• add env inspection

  jelmd

  committed
  8622488

  Copy full SHA for 8622488

• 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

• Fixed warnings

  b-gehrke

  committed
  2c84af6

  Copy full SHA for 2c84af6

• Fixed substition error exclusively for gnumake>=4.3

  b-gehrke

  committed
  750d14c

  Copy full SHA for 750d14c

• Merge remote-tracking branch 'origin/master' into shell_subst

  b-gehrke

  committed
  a5dee80

  Copy full SHA for a5dee80

• 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

Pagination

Previous

Next