Skip to content

Actions: alt-romes/linear-core

Actions

Haskell-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
haskell-ci.yml
190 workflow runs
190 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

progress (not the theorem)g Haskell-CI #110: Commit 8abf4ad pushed by alt-romes
September 28, 2023 10:32 2m 50s master
master
September 28, 2023 10:32 2m 50s
Edit pass from notes in paper Haskell-CI #109: Commit 5131610 pushed by alt-romes
September 27, 2023 20:05 2m 52s master
master
September 27, 2023 20:05 2m 52s
call notes Haskell-CI #108: Commit fde9d89 pushed by alt-romes
September 25, 2023 20:06 3m 18s master
master
September 25, 2023 20:06 3m 18s
Structure, fixes, improvements, related work Haskell-CI #107: Commit 0d5e6d4 pushed by alt-romes
September 25, 2023 19:51 2m 53s master
master
September 25, 2023 19:51 2m 53s
Future work going good, tweak assumptions Haskell-CI #106: Commit 9bd9c74 pushed by alt-romes
September 25, 2023 12:03 2m 50s master
master
September 25, 2023 12:03 2m 50s
Briefly discuss operational semantics Haskell-CI #105: Commit 08af710 pushed by alt-romes
September 24, 2023 23:19 2m 44s master
master
September 24, 2023 23:19 2m 44s
Update and fix Section 3.1 on semantic linearity Haskell-CI #104: Commit d0d57c3 pushed by alt-romes
September 24, 2023 19:37 2m 52s master
master
September 24, 2023 19:37 2m 52s
Delete 3.1 Summary Blocks Haskell-CI #103: Commit 1860aec pushed by alt-romes
September 24, 2023 17:56 3m 18s master
master
September 24, 2023 17:56 3m 18s
Write on binder swap and reverse bs Haskell-CI #102: Commit 5d1802b pushed by alt-romes
September 24, 2023 17:52 2m 54s master
master
September 24, 2023 17:52 2m 54s
Evaluation strategies in background Haskell-CI #101: Commit 11ee59f pushed by alt-romes
September 24, 2023 15:28 3m 20s master
master
September 24, 2023 15:28 3m 20s
Improve introduction example Haskell-CI #100: Commit 6528db8 pushed by alt-romes
September 24, 2023 10:25 2m 44s master
master
September 24, 2023 10:25 2m 44s
tweaks to introduction Haskell-CI #99: Commit ce2de9f pushed by alt-romes
September 24, 2023 10:25 2m 45s master
master
September 24, 2023 10:25 2m 45s
Delete noise in introduction Haskell-CI #98: Commit f8e5ca8 pushed by alt-romes
September 24, 2023 00:38 2m 44s master
master
September 24, 2023 00:38 2m 44s
Normalize optimize/optimizing a bit Haskell-CI #97: Commit af9ac20 pushed by alt-romes
September 24, 2023 00:35 2m 51s master
master
September 24, 2023 00:35 2m 51s
Finish writing introduction and contributions Haskell-CI #96: Commit 3197a61 pushed by alt-romes
September 24, 2023 00:34 3m 40s master
master
September 24, 2023 00:34 3m 40s
Future work, discussion, introduction Haskell-CI #95: Commit 33850c3 pushed by alt-romes
September 23, 2023 19:11 2m 51s master
master
September 23, 2023 19:11 2m 51s
Conclusion of C3 and more Haskell-CI #94: Commit c8f243c pushed by alt-romes
September 22, 2023 20:06 3m 4s master
master
September 22, 2023 20:06 3m 4s
Write case of case, linear core examples, and moer Haskell-CI #93: Commit 9144820 pushed by alt-romes
September 22, 2023 17:48 2m 48s master
master
September 22, 2023 17:48 2m 48s
Write on more optimisations Haskell-CI #92: Commit 88c255d pushed by alt-romes
September 22, 2023 10:50 3m 31s master
master
September 22, 2023 10:50 3m 31s
Comment out let floating Haskell-CI #91: Commit b96a06a pushed by alt-romes
September 21, 2023 13:04 2m 54s master
master
September 21, 2023 13:04 2m 54s
Tweaks after meeting Haskell-CI #90: Commit 32fcee9 pushed by alt-romes
September 21, 2023 12:53 3m 17s master
master
September 21, 2023 12:53 3m 17s
Tweaks after meeting Haskell-CI #89: Commit 8969230 pushed by alt-romes
September 21, 2023 12:23 2m 57s master
master
September 21, 2023 12:23 2m 57s
Writing metatheory section Haskell-CI #88: Commit 938ecbe pushed by alt-romes
September 21, 2023 10:25 3m 6s master
master
September 21, 2023 10:25 3m 6s
Write some bits Haskell-CI #87: Commit b415e9e pushed by alt-romes
September 20, 2023 10:23 2m 57s master
master
September 20, 2023 10:23 2m 57s
Attempts to run examples Haskell-CI #86: Commit 0878cbf pushed by alt-romes
September 19, 2023 17:03 2m 44s master
master
September 19, 2023 17:03 2m 44s