Skip to content

Actions: alt-romes/linear-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
190 workflow runs
190 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removed todo on case-let Haskell-CI #185: Commit 4c09a2e pushed by btoninho
February 12, 2024 17:28 1m 46s master
master
February 12, 2024 17:28 1m 46s
typo Haskell-CI #184: Commit 712e877 pushed by btoninho
February 12, 2024 17:27 1m 52s master
master
February 12, 2024 17:27 1m 52s
generalized B9 further Haskell-CI #183: Commit 59a9960 pushed by btoninho
February 12, 2024 17:26 1m 47s master
master
February 12, 2024 17:26 1m 47s
proof of commuting case-let Haskell-CI #182: Commit d79c1f2 pushed by btoninho
February 12, 2024 15:48 1m 47s master
master
February 12, 2024 15:48 1m 47s
fixed proofs in appendix Haskell-CI #181: Commit e1e894b pushed by btoninho
February 12, 2024 01:09 2m 43s master
master
February 12, 2024 01:09 2m 43s
RM Edit Section 1 Haskell-CI #180: Commit 68339f7 pushed by alt-romes
February 7, 2024 13:30 1m 49s master
master
February 7, 2024 13:30 1m 49s
Reproducibility instructions Haskell-CI #179: Commit c8fc57f pushed by alt-romes
February 7, 2024 12:04 1m 48s master
master
February 7, 2024 12:04 1m 48s
Haskell-CI Haskell-CI #178: by alt-romes
January 30, 2024 17:19 1m 48s ThesisFinal
ThesisFinal
January 30, 2024 17:19 1m 48s
further touches in appendices Haskell-CI #177: Commit 6e9b9d6 pushed by btoninho
January 30, 2024 15:04 1m 46s master
master
January 30, 2024 15:04 1m 46s
fixed bibliography and compilation errors in appendices Haskell-CI #176: Commit f9a4f70 pushed by btoninho
January 30, 2024 14:58 1m 49s master
master
January 30, 2024 14:58 1m 49s
Passed through Section 6 Haskell-CI #175: Commit 96e57c9 pushed by btoninho
January 30, 2024 13:53 1m 44s master
master
January 30, 2024 13:53 1m 44s
finished section 5 Haskell-CI #174: Commit 82286a9 pushed by btoninho
January 30, 2024 13:40 1m 50s master
master
January 30, 2024 13:40 1m 50s
up to 5.2, now at 25 pages Haskell-CI #173: Commit 61d7c9e pushed by btoninho
January 30, 2024 02:27 1m 47s master
master
January 30, 2024 02:27 1m 47s
passed through seciton 5 Haskell-CI #172: Commit 49187cd pushed by btoninho
January 29, 2024 13:38 1m 49s master
master
January 29, 2024 13:38 1m 49s
worked up to section 4 Haskell-CI #171: Commit 29578ef pushed by btoninho
January 29, 2024 13:02 1m 52s master
master
January 29, 2024 13:02 1m 52s
passed up to section 3.6.2 Haskell-CI #170: Commit 0746cb9 pushed by btoninho
January 26, 2024 23:16 1m 45s master
master
January 26, 2024 23:16 1m 45s
passed up to section 3.6.2 Haskell-CI #169: Commit e2a00ae pushed by btoninho
January 26, 2024 02:07 1m 48s master
master
January 26, 2024 02:07 1m 48s
passed through Section 2 Haskell-CI #168: Commit fd4c68c pushed by btoninho
January 25, 2024 01:09 1m 45s master
master
January 25, 2024 01:09 1m 45s
Turns assumptions into lemmas, and make lemma 2 provable Haskell-CI #167: Commit 076a349 pushed by alt-romes
January 24, 2024 22:03 1m 58s master
master
January 24, 2024 22:03 1m 58s
revised a bit of 2 Haskell-CI #166: Commit abcd439 pushed by btoninho
January 24, 2024 10:57 1m 44s master
master
January 24, 2024 10:57 1m 44s
revised intro Haskell-CI #165: Commit 2dc07c1 pushed by btoninho
January 24, 2024 01:04 1m 49s master
master
January 24, 2024 01:04 1m 49s
stopped at newMArray Haskell-CI #164: Commit bd8c8be pushed by btoninho
January 23, 2024 00:40 1m 47s master
master
January 23, 2024 00:40 1m 47s
added tex source file Haskell-CI #163: Commit 8787f9b pushed by btoninho
January 22, 2024 23:30 1m 48s master
master
January 22, 2024 23:30 1m 48s
Ponto de partida para a ICFP Haskell-CI #162: Commit 008c3c2 pushed by alt-romes
January 20, 2024 11:39 1m 47s master
master
January 20, 2024 11:39 1m 47s
c2: Drop mention to GADTs examples Haskell-CI #161: Commit c3c0810 pushed by alt-romes
December 7, 2023 23:12 1m 46s master
master
December 7, 2023 23:12 1m 46s