Skip to content

Actions: gruhn/SMT

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
59 workflow runs
59 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
AffineExpr: set constraint operator precedence Haskell CI #59: Commit 5d4e86d pushed by gruhn
April 28, 2024 21:23 2m 17s master
master
April 28, 2024 21:23 2m 17s
Allow multiplication of constant AffineExpr Haskell CI #58: Commit 1313196 pushed by gruhn
April 28, 2024 19:46 2m 10s master
master
April 28, 2024 19:46 2m 10s
Simplex: equality constraints and cutting planes Haskell CI #57: Commit 1e3c0c5 pushed by gruhn
April 26, 2024 21:55 2m 12s master
master
April 26, 2024 21:55 2m 12s
add CHANGELOG.md file Haskell CI #56: Commit 865afa5 pushed by gruhn
April 22, 2024 18:39 2m 19s master
master
April 22, 2024 18:39 2m 19s
use pattern+guard notation Haskell CI #55: Commit 0fbf6b6 pushed by gruhn
April 22, 2024 12:52 4m 28s master
master
April 22, 2024 12:52 4m 28s
tinker: NonLinearArithmatic Haskell CI #54: Commit 5e05eb2 pushed by gruhn
March 25, 2024 19:28 19m 41s master
master
March 25, 2024 19:28 19m 41s
subtropical: handle all constraint types Haskell CI #53: Commit e0212b2 pushed by gruhn
December 30, 2023 00:10 4m 2s master
master
December 30, 2023 00:10 4m 2s
subtropical: handle all constraint types Haskell CI #52: Pull request #7 synchronize by gruhn
December 30, 2023 00:10 2m 16s subtropical
subtropical
December 30, 2023 00:10 2m 16s
tinker: Cylindrical Algebraic Decomposition Haskell CI #51: Commit 865e82a pushed by gruhn
December 30, 2023 00:07 6h 0m 24s master
master
December 30, 2023 00:07 6h 0m 24s
subtropical: handle all constraint types Haskell CI #50: Pull request #7 opened by gruhn
December 28, 2023 21:08 4m 16s subtropical
subtropical
December 28, 2023 21:08 4m 16s
Implement theory interface for Simplex Haskell CI #49: Pull request #6 opened by gruhn
July 30, 2023 20:19 2m 25s simplex-theory-interface
simplex-theory-interface
July 30, 2023 20:19 2m 25s
refactor uninterpreted functions Haskell CI #48: Commit 6e6732d pushed by gruhn
July 30, 2023 17:06 6m 8s master
master
July 30, 2023 17:06 6m 8s
refactor uninterpreted functions Haskell CI #47: Pull request #5 synchronize by gruhn
July 30, 2023 16:47 3m 15s refactor-uninterpreted-functions
refactor-uninterpreted-functions
July 30, 2023 16:47 3m 15s
refactor uninterpreted functions Haskell CI #46: Pull request #5 synchronize by gruhn
July 30, 2023 16:42 3m 32s refactor-uninterpreted-functions
refactor-uninterpreted-functions
July 30, 2023 16:42 3m 32s
refactor uninterpreted functions Haskell CI #45: Pull request #5 synchronize by gruhn
July 30, 2023 15:27 5m 53s refactor-uninterpreted-functions
refactor-uninterpreted-functions
July 30, 2023 15:27 5m 53s
refactor uninterpreted functions Haskell CI #44: Pull request #5 synchronize by gruhn
July 30, 2023 15:25 17m 40s refactor-uninterpreted-functions
refactor-uninterpreted-functions
July 30, 2023 15:25 17m 40s
refactor uninterpreted functions Haskell CI #43: Pull request #5 synchronize by gruhn
June 30, 2023 23:10 5m 20s refactor-uninterpreted-functions
refactor-uninterpreted-functions
June 30, 2023 23:10 5m 20s
refactor uninterpreted functions Haskell CI #42: Pull request #5 synchronize by gruhn
June 30, 2023 22:54 12m 12s refactor-uninterpreted-functions
refactor-uninterpreted-functions
June 30, 2023 22:54 12m 12s
Minimal Nix config Haskell CI #41: Commit 6728683 pushed by gruhn
June 16, 2023 13:14 6m 19s master
master
June 16, 2023 13:14 6m 19s
refactor uninterpreted functions Haskell CI #40: Pull request #5 synchronize by gruhn
June 15, 2023 16:11 6m 50s refactor-uninterpreted-functions
refactor-uninterpreted-functions
June 15, 2023 16:11 6m 50s
refactor uninterpreted functions Haskell CI #39: Pull request #5 opened by gruhn
April 14, 2023 22:15 2m 40s refactor-uninterpreted-functions
refactor-uninterpreted-functions
April 14, 2023 22:15 2m 40s
CDCL refactor (#4) Haskell CI #38: Commit 48fbdfb pushed by gruhn
April 14, 2023 21:54 3m 5s master
master
April 14, 2023 21:54 3m 5s
CDCL refactor Haskell CI #37: Pull request #4 synchronize by gruhn
April 14, 2023 21:15 13m 10s cdcl-refactor
cdcl-refactor
April 14, 2023 21:15 13m 10s
CDCL refactor Haskell CI #36: Pull request #4 opened by gruhn
April 14, 2023 17:50 2m 49s cdcl-refactor
cdcl-refactor
April 14, 2023 17:50 2m 49s
refactor boolean expressions Haskell CI #35: Pull request #2 synchronize by gruhn
April 12, 2023 21:17 2m 58s refactor-prop-expressions
refactor-prop-expressions
April 12, 2023 21:17 2m 58s