Skip to content

Actions: ucsd-progsys/liquid-fixpoint

Actions

hlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.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 hlint #416: Pull request #716 synchronize by facundominguez
October 31, 2024 15:18 29s fd/unfold-undecided-guards
fd/unfold-undecided-guards
October 31, 2024 15:18 29s
Unfold with undecided guards in PLE when new equalities are discovered hlint #415: Pull request #716 opened by facundominguez
October 31, 2024 14:54 32s fd/unfold-undecided-guards
fd/unfold-undecided-guards
October 31, 2024 14:54 32s
Merge pull request #715 from shingarov/confusing-dedicated-monoid hlint #414: Commit 03b5be0 pushed by facundominguez
October 24, 2024 14:33 29s develop
develop
October 24, 2024 14:33 29s
Remove the preference for ∧ as the dedicated monoid on Preds hlint #413: Pull request #715 opened by shingarov
October 24, 2024 10:25 33s shingarov:confusing-dedicated-monoid
shingarov:confusing-dedicated-monoid
October 24, 2024 10:25 33s
Merge pull request #714 from ucsd-progsys/fd/tuple-update hlint #412: Commit 4d43925 pushed by facundominguez
October 24, 2024 00:30 27s develop
develop
October 24, 2024 00:30 27s
Generalize hacks to work with ghc-9.10.1 tuples hlint #411: Pull request #714 opened by facundominguez
October 21, 2024 21:29 40s fd/tuple-update
fd/tuple-update
October 21, 2024 21:29 40s
Merge pull request #713 from ucsd-progsys/fd/remove-miscs hlint #410: Commit 08ae7be pushed by facundominguez
October 18, 2024 21:25 28s develop
develop
October 18, 2024 21:25 28s
Remove unused or redundant functions hlint #409: Pull request #713 opened by facundominguez
October 18, 2024 20:34 32s fd/remove-miscs
fd/remove-miscs
October 18, 2024 20:34 32s
Merge pull request #712 from gergoerdi/cactus/fileless hlint #408: Commit d69618e pushed by facundominguez
October 17, 2024 09:41 30s develop
develop
October 17, 2024 09:41 30s
Only produce .smt2 files when the save flag is turned on hlint #407: Pull request #712 synchronize by gergoerdi
October 17, 2024 04:29 32s gergoerdi:cactus/fileless
gergoerdi:cactus/fileless
October 17, 2024 04:29 32s
Merge pull request #710 from AlecsFerra/develop hlint #406: Commit d1acfdc pushed by facundominguez
October 16, 2024 16:00 31s develop
develop
October 16, 2024 16:00 31s
Local rewrites hlint #405: Pull request #710 synchronize by facundominguez
October 16, 2024 15:39 27s AlecsFerra:develop
AlecsFerra:develop
October 16, 2024 15:39 27s
Only produce .smt2 files when the save flag is turned on hlint #404: Pull request #712 opened by gergoerdi
October 16, 2024 09:16 34s gergoerdi:cactus/fileless
gergoerdi:cactus/fileless
October 16, 2024 09:16 34s
Local rewrites hlint #403: Pull request #710 synchronize by facundominguez
October 15, 2024 19:51 30s AlecsFerra:develop
AlecsFerra:develop
October 15, 2024 19:51 30s
Merge pull request #711 from ucsd-progsys/fd/deanf-fix hlint #402: Commit 0254339 pushed by facundominguez
October 15, 2024 19:23 27s develop
develop
October 15, 2024 19:23 27s
Fix deANF to avoid inlining non-anf bindings hlint #401: Pull request #711 opened by facundominguez
October 15, 2024 16:52 33s fd/deanf-fix
fd/deanf-fix
October 15, 2024 16:52 33s
Local rewrites hlint #400: Pull request #710 synchronize by AlecsFerra
October 15, 2024 13:29 36s AlecsFerra:develop
AlecsFerra:develop
October 15, 2024 13:29 36s
Local rewrites hlint #399: Pull request #710 synchronize by AlecsFerra
October 15, 2024 12:53 34s AlecsFerra:develop
AlecsFerra:develop
October 15, 2024 12:53 34s
Local rewrites hlint #398: Pull request #710 synchronize by AlecsFerra
October 15, 2024 08:41 27s AlecsFerra:develop
AlecsFerra:develop
October 15, 2024 08:41 27s
Local rewrites hlint #397: Pull request #710 synchronize by AlecsFerra
October 15, 2024 07:57 33s AlecsFerra:develop
AlecsFerra:develop
October 15, 2024 07:57 33s
Local rewrites hlint #396: Pull request #710 synchronize by AlecsFerra
October 15, 2024 07:55 30s AlecsFerra:develop
AlecsFerra:develop
October 15, 2024 07:55 30s
Local rewrites hlint #395: Pull request #710 synchronize by AlecsFerra
October 14, 2024 14:23 40s AlecsFerra:develop
AlecsFerra:develop
October 14, 2024 14:23 40s
Local rewrites hlint #394: Pull request #710 synchronize by AlecsFerra
October 14, 2024 14:18 27s AlecsFerra:develop
AlecsFerra:develop
October 14, 2024 14:18 27s
Local rewrites hlint #393: Pull request #710 synchronize by AlecsFerra
October 14, 2024 09:49 28s AlecsFerra:develop
AlecsFerra:develop
October 14, 2024 09:49 28s
Local rewrites hlint #392: Pull request #710 synchronize by AlecsFerra
October 14, 2024 08:17 27s AlecsFerra:develop
AlecsFerra:develop
October 14, 2024 08:17 27s