Skip to content

Actions: ucsd-progsys/liquid-fixpoint

Actions

stack

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stack.yml
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extensional reasoning on Values stack #427: Pull request #705 synchronize by AlecsFerra
September 17, 2024 12:47 12m 58s AlecsFerra:develop
AlecsFerra:develop
September 17, 2024 12:47 12m 58s
Extensional reasoning on Values stack #426: Pull request #705 synchronize by AlecsFerra
September 17, 2024 10:33 12m 24s AlecsFerra:develop
AlecsFerra:develop
September 17, 2024 10:33 12m 24s
Extensional reasoning on Values stack #425: Pull request #705 synchronize by AlecsFerra
September 17, 2024 08:10 14m 16s AlecsFerra:develop
AlecsFerra:develop
September 17, 2024 08:10 14m 16s
Extensional reasoning on Values stack #424: Pull request #705 synchronize by AlecsFerra
September 17, 2024 08:09 13m 27s AlecsFerra:develop
AlecsFerra:develop
September 17, 2024 08:09 13m 27s
Extensional reasoning on Values stack #423: Pull request #705 synchronize by AlecsFerra
September 17, 2024 07:26 12m 35s AlecsFerra:develop
AlecsFerra:develop
September 17, 2024 07:26 12m 35s
Merge pull request #703 from clayrat/elab-map stack #422: Commit 9809266 pushed by nikivazou
September 16, 2024 14:43 12m 28s develop
develop
September 16, 2024 14:43 12m 28s
Extensional reasoning on Values stack #421: Pull request #705 synchronize by AlecsFerra
September 16, 2024 13:09 14m 7s AlecsFerra:develop
AlecsFerra:develop
September 16, 2024 13:09 14m 7s
Extensional reasoning on Values stack #420: Pull request #705 synchronize by AlecsFerra
September 16, 2024 10:48 12m 49s AlecsFerra:develop
AlecsFerra:develop
September 16, 2024 10:48 12m 49s
Extensional reasoning on Values stack #419: Pull request #705 synchronize by AlecsFerra
September 16, 2024 08:32 12m 44s AlecsFerra:develop
AlecsFerra:develop
September 16, 2024 08:32 12m 44s
Extensional reasoning on Values stack #418: Pull request #705 opened by AlecsFerra
September 13, 2024 15:16 12m 13s AlecsFerra:develop
AlecsFerra:develop
September 13, 2024 15:16 12m 13s
Merge pull request #704 from AlecsFerra/develop stack #417: Commit 9765308 pushed by nikivazou
September 12, 2024 09:52 15m 57s develop
develop
September 12, 2024 09:52 15m 57s
Unfold-unfolded definitions when the extentionality flag is active stack #415: Pull request #704 synchronize by AlecsFerra
September 11, 2024 11:05 12m 41s AlecsFerra:develop
AlecsFerra:develop
September 11, 2024 11:05 12m 41s
Unfold-unfolded definitions when the extentionality flag is active stack #414: Pull request #704 synchronize by AlecsFerra
September 11, 2024 10:04 12m 42s AlecsFerra:develop
AlecsFerra:develop
September 11, 2024 10:04 12m 42s
Unfold-unfolded definitions when the extentionality flag is active stack #411: Pull request #704 opened by AlecsFerra
September 10, 2024 15:25 14m 7s AlecsFerra:develop
AlecsFerra:develop
September 10, 2024 15:25 14m 7s
Split out Bag theory, elaborate Maps and Bags into Arrays stack #410: Pull request #703 opened by clayrat
September 9, 2024 21:13 13m 44s clayrat:elab-map
clayrat:elab-map
September 9, 2024 21:13 13m 44s
Merge pull request #702 from nilehmann/nico/fix-set-coercion stack #409: Commit b57124c pushed by ranjitjhala
August 28, 2024 09:44 12m 51s develop
develop
August 28, 2024 09:44 12m 51s
Recursively coerce sets in FApp when not a set stack #408: Pull request #702 synchronize by nilehmann
August 27, 2024 21:01 12m 38s nilehmann:nico/fix-set-coercion
nilehmann:nico/fix-set-coercion
August 27, 2024 21:01 12m 38s
Further update liquid-fixpoint.cabal to release 0.9.6.3.1 stack #406: Commit fa855d1 pushed by facundominguez
August 21, 2024 14:39 12m 44s develop
develop
August 21, 2024 14:39 12m 44s
Bump version to 0.9.3.1 and update changelog stack #405: Commit 54ec6f3 pushed by facundominguez
August 21, 2024 14:31 12m 52s develop
develop
August 21, 2024 14:31 12m 52s
More updates for ghc 9.10 stack #404: Commit 6723e1b pushed by facundominguez
August 21, 2024 12:26 13m 51s develop
develop
August 21, 2024 12:26 13m 51s
Build LF with ghc 9.10 stack #403: Commit 14aa91c pushed by facundominguez
August 21, 2024 11:34 13m 56s develop
develop
August 21, 2024 11:34 13m 56s
Merge pull request #700 from ucsd-progsys/semicolon stack #402: Commit ed6bda8 pushed by ranjitjhala
August 6, 2024 22:49 12m 5s develop
develop
August 6, 2024 22:49 12m 5s
Use ; for comments in SMTParse (as done in SMTLIB) stack #401: Pull request #700 synchronize by ranjitjhala
August 6, 2024 22:37 12m 11s semicolon
semicolon
August 6, 2024 22:37 12m 11s
Use ; for comments in SMTParse (as done in SMTLIB) stack #400: Pull request #700 opened by ranjitjhala
August 6, 2024 22:16 12m 52s semicolon
semicolon
August 6, 2024 22:16 12m 52s
Merge pull request #699 from ucsd-progsys/mod-parse-fix stack #399: Commit 7fa8b7b pushed by ranjitjhala
August 6, 2024 19:04 13m 14s develop
develop
August 6, 2024 19:04 13m 14s