Skip to content

Actions: ucsd-progsys/liquid-fixpoint

Actions

stack

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stack.yml
284 workflow runs
284 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fix bug in SMTParse stack #398: Pull request #699 opened by ranjitjhala
August 6, 2024 18:11 12m 31s mod-parse-fix
mod-parse-fix
August 6, 2024 18:11 12m 31s
Merge pull request #698 from ucsd-progsys/bitv-parser stack #397: Commit 20b4525 pushed by ranjitjhala
August 6, 2024 01:36 14m 12s develop
develop
August 6, 2024 01:36 14m 12s
Extend SMTParser to support lits e.g. for bitvec stack #396: Pull request #698 opened by ranjitjhala
August 6, 2024 00:11 13m 22s bitv-parser
bitv-parser
August 6, 2024 00:11 13m 22s
Merge pull request #696 from clayrat/ple-theories stack #395: Commit 61ae4fa pushed by nikivazou
July 22, 2024 08:24 12m 43s develop
develop
July 22, 2024 08:24 12m 43s
Merge pull request #697 from jarctan/updategitignore stack #394: Commit 0c7e1b2 pushed by ranjitjhala
July 15, 2024 15:37 14m 4s develop
develop
July 15, 2024 15:37 14m 4s
Update .gitignore stack #393: Pull request #697 opened by jarctan
July 15, 2024 14:59 13m 31s jarctan:updategitignore
jarctan:updategitignore
July 15, 2024 14:59 13m 31s
refactor Set->Array elaboration stack #392: Pull request #696 synchronize by clayrat
July 11, 2024 16:21 12m 17s clayrat:ple-theories
clayrat:ple-theories
July 11, 2024 16:21 12m 17s
refactor Set->Array elaboration stack #391: Pull request #696 synchronize by clayrat
July 9, 2024 12:42 14m 20s clayrat:ple-theories
clayrat:ple-theories
July 9, 2024 12:42 14m 20s
refactor Set->Array elaboration stack #390: Pull request #696 opened by clayrat
June 17, 2024 23:35 13m 40s clayrat:ple-theories
clayrat:ple-theories
June 17, 2024 23:35 13m 40s
Merge pull request #693 from typechecker/fix/allow-newer-689-addendum stack #389: Commit 7cd250d pushed by facundominguez
May 30, 2024 21:50 12m 38s develop
develop
May 30, 2024 21:50 12m 38s
Bump stack.yaml.lock stack #388: Pull request #693 synchronize by philderbeast
May 30, 2024 21:01 13m 25s typechecker:fix/allow-newer-689-addendum
typechecker:fix/allow-newer-689-addendum
May 30, 2024 21:01 13m 25s