Skip to content

Actions: ucsd-progsys/liquid-fixpoint

Actions

stan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stan.yml
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unfold with undecided guards in PLE when new equalities are discovered stan #402: Pull request #716 synchronize by facundominguez
October 31, 2024 15:18 10m 37s fd/unfold-undecided-guards
fd/unfold-undecided-guards
October 31, 2024 15:18 10m 37s
Unfold with undecided guards in PLE when new equalities are discovered stan #401: Pull request #716 opened by facundominguez
October 31, 2024 14:54 10m 5s fd/unfold-undecided-guards
fd/unfold-undecided-guards
October 31, 2024 14:54 10m 5s
Merge pull request #715 from shingarov/confusing-dedicated-monoid stan #400: Commit 03b5be0 pushed by facundominguez
October 24, 2024 14:33 10m 4s develop
develop
October 24, 2024 14:33 10m 4s
Remove the preference for ∧ as the dedicated monoid on Preds stan #399: Pull request #715 opened by shingarov
October 24, 2024 10:25 10m 2s shingarov:confusing-dedicated-monoid
shingarov:confusing-dedicated-monoid
October 24, 2024 10:25 10m 2s
Merge pull request #714 from ucsd-progsys/fd/tuple-update stan #398: Commit 4d43925 pushed by facundominguez
October 24, 2024 00:30 9m 51s develop
develop
October 24, 2024 00:30 9m 51s
Generalize hacks to work with ghc-9.10.1 tuples stan #397: Pull request #714 opened by facundominguez
October 21, 2024 21:29 10m 2s fd/tuple-update
fd/tuple-update
October 21, 2024 21:29 10m 2s
Merge pull request #713 from ucsd-progsys/fd/remove-miscs stan #396: Commit 08ae7be pushed by facundominguez
October 18, 2024 21:25 9m 44s develop
develop
October 18, 2024 21:25 9m 44s
Remove unused or redundant functions stan #395: Pull request #713 opened by facundominguez
October 18, 2024 20:34 10m 9s fd/remove-miscs
fd/remove-miscs
October 18, 2024 20:34 10m 9s
Merge pull request #712 from gergoerdi/cactus/fileless stan #394: Commit d69618e pushed by facundominguez
October 17, 2024 09:41 9m 52s develop
develop
October 17, 2024 09:41 9m 52s
Only produce .smt2 files when the save flag is turned on stan #393: Pull request #712 synchronize by gergoerdi
October 17, 2024 04:29 10m 3s gergoerdi:cactus/fileless
gergoerdi:cactus/fileless
October 17, 2024 04:29 10m 3s
Merge pull request #710 from AlecsFerra/develop stan #392: Commit d1acfdc pushed by facundominguez
October 16, 2024 16:00 10m 6s develop
develop
October 16, 2024 16:00 10m 6s
Local rewrites stan #391: Pull request #710 synchronize by facundominguez
October 16, 2024 15:39 10m 43s AlecsFerra:develop
AlecsFerra:develop
October 16, 2024 15:39 10m 43s
Only produce .smt2 files when the save flag is turned on stan #390: Pull request #712 opened by gergoerdi
October 16, 2024 09:16 10m 23s gergoerdi:cactus/fileless
gergoerdi:cactus/fileless
October 16, 2024 09:16 10m 23s
Local rewrites stan #389: Pull request #710 synchronize by facundominguez
October 15, 2024 19:51 9m 58s AlecsFerra:develop
AlecsFerra:develop
October 15, 2024 19:51 9m 58s
Merge pull request #711 from ucsd-progsys/fd/deanf-fix stan #388: Commit 0254339 pushed by facundominguez
October 15, 2024 19:23 11m 2s develop
develop
October 15, 2024 19:23 11m 2s
Fix deANF to avoid inlining non-anf bindings stan #387: Pull request #711 opened by facundominguez
October 15, 2024 16:52 9m 57s fd/deanf-fix
fd/deanf-fix
October 15, 2024 16:52 9m 57s
Local rewrites stan #386: Pull request #710 synchronize by AlecsFerra
October 15, 2024 13:29 10m 41s AlecsFerra:develop
AlecsFerra:develop
October 15, 2024 13:29 10m 41s
Local rewrites stan #385: Pull request #710 synchronize by AlecsFerra
October 15, 2024 12:53 10m 30s AlecsFerra:develop
AlecsFerra:develop
October 15, 2024 12:53 10m 30s
Local rewrites stan #384: Pull request #710 synchronize by AlecsFerra
October 15, 2024 08:41 9m 48s AlecsFerra:develop
AlecsFerra:develop
October 15, 2024 08:41 9m 48s
Local rewrites stan #383: Pull request #710 synchronize by AlecsFerra
October 15, 2024 07:57 10m 4s AlecsFerra:develop
AlecsFerra:develop
October 15, 2024 07:57 10m 4s
Local rewrites stan #382: Pull request #710 synchronize by AlecsFerra
October 15, 2024 07:55 9m 54s AlecsFerra:develop
AlecsFerra:develop
October 15, 2024 07:55 9m 54s
Local rewrites stan #381: Pull request #710 synchronize by AlecsFerra
October 14, 2024 14:23 10m 4s AlecsFerra:develop
AlecsFerra:develop
October 14, 2024 14:23 10m 4s
Local rewrites stan #380: Pull request #710 synchronize by AlecsFerra
October 14, 2024 14:18 10m 34s AlecsFerra:develop
AlecsFerra:develop
October 14, 2024 14:18 10m 34s
Local rewrites stan #379: Pull request #710 synchronize by AlecsFerra
October 14, 2024 09:49 9m 59s AlecsFerra:develop
AlecsFerra:develop
October 14, 2024 09:49 9m 59s
Local rewrites stan #378: Pull request #710 synchronize by AlecsFerra
October 14, 2024 08:17 10m 5s AlecsFerra:develop
AlecsFerra:develop
October 14, 2024 08:17 10m 5s