Skip to content

Actions: pacastega/plink

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Remove unsound optimization (and prove soundness of the rest) Haskell CI #272: Commit 643d18e pushed by pacastega
6h 0m 20s type-env
type-env
6h 0m 20s
Extend Theorem 1 to assertions Haskell CI #271: Commit 949a678 pushed by pacastega
6h 0m 19s type-env
type-env
6h 0m 19s
Rename fundamental theorem for expressions (parts 1 and 2) Haskell CI #270: Commit 2a49a3a pushed by pacastega
6h 0m 19s type-env
type-env
6h 0m 19s
Rename Uniqueness2 to UniquenessLemmas2 Haskell CI #269: Commit 01f5f06 pushed by pacastega
6h 0m 18s type-env
type-env
6h 0m 18s
Fix RemoveConstants.hs Haskell CI #268: Commit bcf0cfd pushed by pacastega
6h 0m 19s type-env
type-env
6h 0m 19s
Don't skip RemoveConstants Haskell CI #267: Commit 4c70a3c pushed by pacastega
6h 0m 18s type-env
type-env
6h 0m 18s
Add compileProof for labeled assertions Haskell CI #266: Commit 1c08b38 pushed by pacastega
6h 0m 18s type-env
type-env
6h 0m 18s
Prove second part of the Fundamental Theorem Haskell CI #265: Commit c1b273b pushed by pacastega
6h 0m 18s type-env
type-env
6h 0m 18s
Begin statement of Fundamental Theorem Haskell CI #264: Commit bd31c7f pushed by pacastega
6h 0m 18s type-env
type-env
6h 0m 18s
Add Show instance for DSL values Haskell CI #263: Commit 4133ac2 pushed by pacastega
6h 0m 20s type-env
type-env
6h 0m 20s
Add forgotten CPP pragma Haskell CI #262: Commit 10cd014 pushed by pacastega
6h 0m 19s type-env
type-env
6h 0m 19s
Add comment on "unsafe" logic gates Haskell CI #261: Commit 139d3d2 pushed by pacastega
6h 0m 20s type-env
type-env
6h 0m 20s
More straightforward semantics for AND Haskell CI #260: Commit dfb12ea pushed by pacastega
1h 5m 27s type-env
type-env
1h 5m 27s
Remove unneeded type constraint Haskell CI #259: Commit eb76f13 pushed by pacastega
6h 0m 19s type-env
type-env
6h 0m 19s
Improved compiler proof almost? finished Haskell CI #258: Commit 959b9e9 pushed by pacastega
1h 7m 19s type-env
type-env
1h 7m 19s
Add top level theorem about uniqueness of solutions Haskell CI #257: Commit 33e9a33 pushed by pacastega
1h 7m 37s type-env
type-env
1h 7m 37s
Circumvent crash and take one more step in binary operators case Haskell CI #256: Commit 419bd90 pushed by pacastega
4h 23m 13s type-env
type-env
4h 23m 13s
Merge branch 'labeled-vectors' Haskell CI #255: Commit 5be025d pushed by pacastega
51m 41s master
master
51m 41s
Rename sigmaVar to evalWire Haskell CI #254: Commit c9d5349 pushed by pacastega
54m 49s labeled-vectors
labeled-vectors
54m 49s
Tidy Haskell CI #253: Commit d018871 pushed by pacastega
54m 37s labeled-vectors
labeled-vectors
54m 37s
Don't export auxiliary lemmas in AgreeLemma.hs Haskell CI #252: Commit 07ef703 pushed by pacastega
44m 49s labeled-vectors
labeled-vectors
44m 49s
Finish soundness proof Haskell CI #251: Commit 82e5670 pushed by pacastega
6h 5m 5s labeled-vectors
labeled-vectors
6h 5m 5s
Move valueUnOp and valueBinOp to DSL for use in coherentE Haskell CI #250: Commit fe880f2 pushed by pacastega
6h 5m 5s labeled-vectors
labeled-vectors
6h 5m 5s
Update Liquid Fixpoint Haskell CI #249: Commit d3648f4 pushed by pacastega
6h 5m 5s labeled-vectors
labeled-vectors
6h 5m 5s
Use LH from github Haskell CI #248: Commit c17f66d pushed by pacastega
10m 26s labeled-vectors
labeled-vectors
10m 26s