Skip to content

Actions: iu-parfunc/gibbon

Actions

Test Gibbon examples

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-gibbon-examples.yml
493 workflow runs
493 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

edits Test Gibbon examples #380: Commit 463a2f0 pushed by vidsinghal
February 15, 2024 16:53 10m 8s tail_recursion
tail_recursion
February 15, 2024 16:53 10m 8s
fixed .gib extension Test Gibbon examples #379: Commit ba66015 pushed by 0xtimmy
February 15, 2024 01:17 21m 21s import-module-collisions
import-module-collisions
February 15, 2024 01:17 21m 21s
Merge pull request #253 from iu-parfunc/jazullo/newtype-elimination Test Gibbon examples #378: Commit 24c41c0 pushed by jazullo
February 14, 2024 19:14 20m 37s main
main
February 14, 2024 19:14 20m 37s
removed qualification from unique name (gets rid of the ugly {package… Test Gibbon examples #377: Commit 9824c51 pushed by 0xtimmy
February 14, 2024 18:54 23m 34s import-module-collisions
import-module-collisions
February 14, 2024 18:54 23m 34s
Tail recursion Test Gibbon examples #376: Pull request #254 synchronize by vidsinghal
February 14, 2024 18:47 20m 25s tail_recursion
tail_recursion
February 14, 2024 18:47 20m 25s
edits Test Gibbon examples #375: Commit cf620df pushed by vidsinghal
February 14, 2024 18:47 19m 39s tail_recursion
tail_recursion
February 14, 2024 18:47 19m 39s
fixing merge issue Test Gibbon examples #374: Commit 0df2511 pushed by 0xtimmy
February 14, 2024 16:49 22m 38s import-module-collisions
import-module-collisions
February 14, 2024 16:49 22m 38s
Merge pull request #255 from iu-parfunc/module-bundler Test Gibbon examples #373: Commit c3e1d6d pushed by 0xtimmy
February 14, 2024 16:48 16m 11s import-module-collisions
import-module-collisions
February 14, 2024 16:48 16m 11s
Module bundler Test Gibbon examples #372: Pull request #255 synchronize by 0xtimmy
February 14, 2024 16:39 13m 6s module-bundler
module-bundler
February 14, 2024 16:39 13m 6s
Merge branch 'import-module-collisions' into module-bundler Test Gibbon examples #371: Commit d5cf3f2 pushed by 0xtimmy
February 14, 2024 16:39 14m 17s module-bundler
module-bundler
February 14, 2024 16:39 14m 17s
passes some tests Test Gibbon examples #370: Commit 2e2e322 pushed by 0xtimmy
February 14, 2024 16:35 24m 1s module-bundler
module-bundler
February 14, 2024 16:35 24m 1s
Tail recursion Test Gibbon examples #369: Pull request #254 synchronize by vidsinghal
February 13, 2024 16:01 23m 50s tail_recursion
tail_recursion
February 13, 2024 16:01 23m 50s
fix bug Test Gibbon examples #368: Commit e913977 pushed by vidsinghal
February 13, 2024 16:01 23m 4s tail_recursion
tail_recursion
February 13, 2024 16:01 23m 4s
Tail recursion Test Gibbon examples #367: Pull request #254 synchronize by vidsinghal
February 12, 2024 19:20 20m 2s tail_recursion
tail_recursion
February 12, 2024 19:20 20m 2s
Ensure ArrowTy Ty2 is printed in debug mode -v4 Test Gibbon examples #366: Commit e5a2a2b pushed by vidsinghal
February 12, 2024 19:20 19m 21s tail_recursion
tail_recursion
February 12, 2024 19:20 19m 21s
Tail recursion Test Gibbon examples #365: Pull request #254 opened by vidsinghal
February 12, 2024 15:19 20m 21s tail_recursion
tail_recursion
February 12, 2024 15:19 20m 21s
Add pass to figure functions with tail calls Test Gibbon examples #364: Commit b3998bb pushed by vidsinghal
February 12, 2024 15:15 18m 44s tail_recursion
tail_recursion
February 12, 2024 15:15 18m 44s
add a pass to infer functions that are TMC or TC Test Gibbon examples #363: Commit c57d980 pushed by vidsinghal
February 11, 2024 22:46 6h 0m 23s tail_recursion
tail_recursion
February 11, 2024 22:46 6h 0m 23s
Jazullo/newtype-elimination Test Gibbon examples #362: Pull request #253 opened by jazullo
February 11, 2024 04:27 19m 39s jazullo/newtype-elimination
jazullo/newtype-elimination
February 11, 2024 04:27 19m 39s
Comment L0's usage of holding type information in location fields Test Gibbon examples #361: Commit aef59c1 pushed by jazullo
February 11, 2024 04:18 18m 22s jazullo/newtype-elimination
jazullo/newtype-elimination
February 11, 2024 04:18 18m 22s
Perform newtype elimination on arguments of cases Test Gibbon examples #360: Commit 820e565 pushed by jazullo
February 11, 2024 03:13 20m 20s jazullo/newtype-elimination
jazullo/newtype-elimination
February 11, 2024 03:13 20m 20s
Perform newtype elimination on contents of cases Test Gibbon examples #359: Commit 2b67a30 pushed by jazullo
February 11, 2024 03:13 19m 28s jazullo/newtype-elimination
jazullo/newtype-elimination
February 11, 2024 03:13 19m 28s
Use loc Test Gibbon examples #358: Commit 14844d0 pushed by jazullo
February 11, 2024 02:45 20m 6s jazullo/newtype-elimination
jazullo/newtype-elimination
February 11, 2024 02:45 20m 6s
Fit right format for LetE Test Gibbon examples #357: Commit f487475 pushed by jazullo
February 11, 2024 01:59 19m 42s jazullo/newtype-elimination
jazullo/newtype-elimination
February 11, 2024 01:59 19m 42s
Use lkp to get datacon type Test Gibbon examples #356: Commit 034661b pushed by jazullo
February 11, 2024 01:49 19m 40s jazullo/newtype-elimination
jazullo/newtype-elimination
February 11, 2024 01:49 19m 40s