Skip to content

Actions: ucsd-progsys/liquid-fixpoint

Actions

.github/workflows/cabal.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cabal.yml
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #729 from ucsd-progsys/issue-728 .github/workflows/cabal.yml #541: Commit 9a82815 pushed by ranjitjhala
December 23, 2024 04:56 Failure develop
develop
December 23, 2024 04:56 Failure
use bv2nat for all solvers .github/workflows/cabal.yml #540: Commit 7f79954 pushed by ranjitjhala
December 20, 2024 18:34 Failure issue-728
issue-728
December 20, 2024 18:34 Failure
simplify theorySymbols export .github/workflows/cabal.yml #539: Commit 5948817 pushed by ranjitjhala
December 19, 2024 00:38 Failure issue-728
issue-728
December 19, 2024 00:38 Failure
add cvc5 to stack/cabal github actions .github/workflows/cabal.yml #538: Commit 46a8b24 pushed by ranjitjhala
December 18, 2024 23:44 Failure issue-728
issue-728
December 18, 2024 23:44 Failure
Clean up support for CVC5 .github/workflows/cabal.yml #537: Pull request #729 synchronize by ranjitjhala
December 18, 2024 22:45 6m 22s issue-728
issue-728
December 18, 2024 22:45 6m 22s
Clean up support for CVC5 .github/workflows/cabal.yml #536: Pull request #729 synchronize by ranjitjhala
December 18, 2024 22:44 6m 13s issue-728
issue-728
December 18, 2024 22:44 6m 13s
Clean up support for CVC5 .github/workflows/cabal.yml #535: Pull request #729 opened by ranjitjhala
December 18, 2024 22:42 6m 16s issue-728
issue-728
December 18, 2024 22:42 6m 16s
Merge pull request #727 from vrindisbacher/vrindisbacher/add-cvc5 .github/workflows/cabal.yml #534: Commit f6e1b24 pushed by ranjitjhala
December 17, 2024 18:45 6m 38s develop
develop
December 17, 2024 18:45 6m 38s
Add support for cvc5 .github/workflows/cabal.yml #533: Pull request #727 opened by vrindisbacher
December 17, 2024 18:22 6m 58s vrindisbacher:vrindisbacher/add-cvc5
vrindisbacher:vrindisbacher/add-cvc5
December 17, 2024 18:22 6m 58s
Merge pull request #725 from AlecsFerra/develop .github/workflows/cabal.yml #532: Commit 48ea289 pushed by nikivazou
December 16, 2024 09:02 14m 35s develop
develop
December 16, 2024 09:02 14m 35s
Support for lambdas :) .github/workflows/cabal.yml #531: Pull request #725 synchronize by AlecsFerra
December 13, 2024 18:18 7m 30s AlecsFerra:develop
AlecsFerra:develop
December 13, 2024 18:18 7m 30s
Support for lambdas :) .github/workflows/cabal.yml #530: Pull request #725 synchronize by AlecsFerra
December 12, 2024 15:30 12m 27s AlecsFerra:develop
AlecsFerra:develop
December 12, 2024 15:30 12m 27s
Support for lambdas :) .github/workflows/cabal.yml #529: Pull request #725 opened by AlecsFerra
December 12, 2024 15:27 14m 29s AlecsFerra:develop
AlecsFerra:develop
December 12, 2024 15:27 14m 29s
Merge pull request #724 from ucsd-progsys/fd/bagop-sorts .github/workflows/cabal.yml #528: Commit 66b710d pushed by facundominguez
December 3, 2024 18:44 9m 30s develop
develop
December 3, 2024 18:44 9m 30s
Fix sorts of bag theory operations in Theories.hs .github/workflows/cabal.yml #527: Pull request #724 opened by facundominguez
December 2, 2024 18:19 9m 11s fd/bagop-sorts
fd/bagop-sorts
December 2, 2024 18:19 9m 11s
Revert "Parameterize EquationVs eqName field type" .github/workflows/cabal.yml #526: Commit 2acb214 pushed by facundominguez
December 1, 2024 18:13 9m 6s develop
develop
December 1, 2024 18:13 9m 6s
Merge pull request #723 from ucsd-progsys/fd/eqname-type .github/workflows/cabal.yml #525: Commit f94832b pushed by facundominguez
November 30, 2024 23:51 9m 2s develop
develop
November 30, 2024 23:51 9m 2s
Parameterize EquationVs eqName field type .github/workflows/cabal.yml #524: Pull request #723 opened by facundominguez
November 30, 2024 20:22 9m 45s fd/eqname-type
fd/eqname-type
November 30, 2024 20:22 9m 45s
Merge pull request #722 from ucsd-progsys/fd/op-locs-2 .github/workflows/cabal.yml #523: Commit abd36d1 pushed by facundominguez
November 28, 2024 19:59 8m 52s develop
develop
November 28, 2024 19:59 8m 52s
More polishing for preserving the location of operators .github/workflows/cabal.yml #522: Pull request #722 opened by facundominguez
November 28, 2024 18:59 9m 23s fd/op-locs-2
fd/op-locs-2
November 28, 2024 18:59 9m 23s
Merge pull request #720 from clayrat/array-applys .github/workflows/cabal.yml #521: Commit b12d578 pushed by nikivazou
November 28, 2024 11:39 9m 14s develop
develop
November 28, 2024 11:39 9m 14s
Merge pull request #721 from ucsd-progsys/fd/op-locations .github/workflows/cabal.yml #520: Commit 149733d pushed by facundominguez
November 27, 2024 17:27 8m 57s develop
develop
November 27, 2024 17:27 8m 57s
Preserve location of operators in the parser .github/workflows/cabal.yml #519: Pull request #721 opened by facundominguez
November 27, 2024 17:08 9m 6s fd/op-locations
fd/op-locations
November 27, 2024 17:08 9m 6s
Merge pull request #708 from ucsd-progsys/fd/parameterize-expr .github/workflows/cabal.yml #518: Commit 4d86f35 pushed by facundominguez
November 25, 2024 10:37 9m 11s develop
develop
November 25, 2024 10:37 9m 11s
Parameterize Expr and Reft by the variable type .github/workflows/cabal.yml #517: Pull request #708 synchronize by facundominguez
November 23, 2024 20:49 9m 19s fd/parameterize-expr
fd/parameterize-expr
November 23, 2024 20:49 9m 19s