Skip to content

Actions: egraphs-good/eggcc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,459 workflow run results
1,459 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add sugar for constructing terms in input schema Test #1462: Pull request #318 opened by oflatt
February 2, 2024 17:38 4m 56s oflatt-input-schema-sugar
oflatt-input-schema-sugar
February 2, 2024 17:38 4m 56s
add sugar for constructing terms in input schema Test #1461: Commit 3c9d91e pushed by oflatt
February 2, 2024 17:37 5m 32s oflatt-input-schema-sugar
oflatt-input-schema-sugar
February 2, 2024 17:37 5m 32s
Input schema rust interpreter Test #1460: Pull request #317 opened by oflatt
February 2, 2024 17:23 5m 44s oflatt-input-schema-interpreter
oflatt-input-schema-interpreter
February 2, 2024 17:23 5m 44s
wrote interpreter Test #1459: Commit 9e032b3 pushed by oflatt
February 2, 2024 17:22 4m 49s oflatt-input-schema-interpreter
oflatt-input-schema-interpreter
February 2, 2024 17:22 4m 49s
Assume schema rust definition Test #1458: Pull request #316 opened by oflatt
February 2, 2024 16:11 4m 59s oflatt-input-schema-rust
oflatt-input-schema-rust
February 2, 2024 16:11 4m 59s
add pub Test #1457: Commit 95427e5 pushed by oflatt
February 2, 2024 16:10 5m 0s oflatt-input-schema-rust
oflatt-input-schema-rust
February 2, 2024 16:10 5m 0s
adding rust schema Test #1456: Commit 185be05 pushed by oflatt
February 2, 2024 16:06 4m 51s oflatt-input-schema-rust
oflatt-input-schema-rust
February 2, 2024 16:06 4m 51s
Assume Schema- New Schema Solves Context with Assume Test #1455: Pull request #315 synchronize by oflatt
February 2, 2024 16:06 5m 2s oflatt-input-schema
oflatt-input-schema
February 2, 2024 16:06 5m 2s
gitignore Test #1454: Commit 5e8f85c pushed by oflatt
February 2, 2024 16:06 4m 50s oflatt-input-schema
oflatt-input-schema
February 2, 2024 16:06 4m 50s
Assume Schema- New Schema Solves Context with Assume Test #1453: Pull request #315 synchronize by oflatt
February 2, 2024 16:04 4m 53s oflatt-input-schema
oflatt-input-schema
February 2, 2024 16:04 4m 53s
move call up Test #1452: Commit acaf5f0 pushed by oflatt
February 2, 2024 16:04 5m 13s oflatt-input-schema
oflatt-input-schema
February 2, 2024 16:04 5m 13s
Assume Schema- New Schema Solves Context with Assume Test #1451: Pull request #315 synchronize by oflatt
February 2, 2024 15:53 5m 12s oflatt-input-schema
oflatt-input-schema
February 2, 2024 15:53 5m 12s
some examples Test #1450: Commit 7a70012 pushed by oflatt
February 2, 2024 15:53 4m 55s oflatt-input-schema
oflatt-input-schema
February 2, 2024 15:53 4m 55s
Assume Schema- New Schema Solves Context with Assume Test #1449: Pull request #315 synchronize by oflatt
February 2, 2024 15:32 4m 51s oflatt-input-schema
oflatt-input-schema
February 2, 2024 15:32 4m 51s
tweak semantics so loops are sound Test #1448: Commit a332665 pushed by oflatt
February 2, 2024 15:32 4m 57s oflatt-input-schema
oflatt-input-schema
February 2, 2024 15:32 4m 57s
Assume Schema- New Schema Solves Context with Assume Test #1447: Pull request #315 synchronize by oflatt
February 2, 2024 15:11 5m 12s oflatt-input-schema
oflatt-input-schema
February 2, 2024 15:11 5m 12s
move schema to tree-inputs Test #1446: Commit 0490d7a pushed by oflatt
February 2, 2024 15:10 5m 3s oflatt-input-schema
oflatt-input-schema
February 2, 2024 15:10 5m 3s
Assume Schema- New Schema Solves Context with Assume Test #1445: Pull request #315 opened by oflatt
February 2, 2024 01:05 5m 6s oflatt-input-schema
oflatt-input-schema
February 2, 2024 01:05 5m 6s
comment tweaks Test #1444: Commit 9928e51 pushed by oflatt
February 2, 2024 01:04 4m 52s oflatt-input-schema
oflatt-input-schema
February 2, 2024 01:04 4m 52s
working on input schema Test #1443: Commit b0888c1 pushed by oflatt
February 2, 2024 00:46 5m 8s oflatt-input-schema
oflatt-input-schema
February 2, 2024 00:46 5m 8s
add symbolic eval egg experiment Test #1442: Commit a2bacff pushed by oflatt
January 31, 2024 23:50 4m 47s oflatt-symbolic-eval
oflatt-symbolic-eval
January 31, 2024 23:50 4m 47s
Add an If variant to Rvsdg struct Test #1441: Pull request #306 synchronize by oflatt
January 31, 2024 21:35 4m 47s oflatt-tree-if-conversion
oflatt-tree-if-conversion
January 31, 2024 21:35 4m 47s
mark gamma as unused Test #1440: Commit 62517f9 pushed by oflatt
January 31, 2024 21:34 4m 54s oflatt-tree-if-conversion
oflatt-tree-if-conversion
January 31, 2024 21:34 4m 54s
add bug repro Test #1439: Commit a86aef9 pushed by oflatt
January 31, 2024 21:31 2m 27s oflatt-rvsdg-bug-repro
oflatt-rvsdg-bug-repro
January 31, 2024 21:31 2m 27s
Add an If variant to Rvsdg struct Test #1438: Pull request #306 synchronize by oflatt
January 31, 2024 21:21 4m 54s oflatt-tree-if-conversion
oflatt-tree-if-conversion
January 31, 2024 21:21 4m 54s