Skip to content

Actions: egraphs-good/egg

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
131 workflow runs
131 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Translate between EGraph types Build and Test #578: Pull request #306 opened by sgpthomas
March 20, 2024 17:10 3m 30s sgpthomas:egraph_map
sgpthomas:egraph_map
March 20, 2024 17:10 3m 30s
Push Pop API Build and Test #577: Pull request #300 synchronize by dewert99
March 12, 2024 20:51 4m 3s dewert99:semi-persistent
dewert99:semi-persistent
March 12, 2024 20:51 4m 3s
Push Pop API Build and Test #576: Pull request #300 synchronize by dewert99
March 11, 2024 23:33 5m 26s dewert99:semi-persistent
dewert99:semi-persistent
March 11, 2024 23:33 5m 26s
Push Pop API Build and Test #575: Pull request #300 synchronize by dewert99
March 8, 2024 18:51 7m 29s dewert99:semi-persistent
dewert99:semi-persistent
March 8, 2024 18:51 7m 29s
Push Pop API Build and Test #574: Pull request #300 synchronize by dewert99
March 8, 2024 18:29 7m 35s dewert99:semi-persistent
dewert99:semi-persistent
March 8, 2024 18:29 7m 35s
Update readme Build and Test #573: Commit 2718440 pushed by mwillsey
February 13, 2024 16:49 5m 16s main
main
February 13, 2024 16:49 5m 16s
Push Pop API Build and Test #572: Pull request #300 synchronize by dewert99
February 13, 2024 00:11 6m 35s dewert99:semi-persistent
dewert99:semi-persistent
February 13, 2024 00:11 6m 35s
Push Pop API Build and Test #571: Pull request #300 opened by dewert99
February 13, 2024 00:10 6m 49s dewert99:semi-persistent
dewert99:semi-persistent
February 13, 2024 00:10 6m 49s
Extracted out RawEGraph type Build and Test #569: Pull request #296 synchronize by dewert99
February 11, 2024 00:57 5m 6s dewert99:raw-egraph
dewert99:raw-egraph
February 11, 2024 00:57 5m 6s
Add note in is_not_zero example. Build and Test #568: Commit 38be469 pushed by mwillsey
February 9, 2024 21:59 5m 12s main
main
February 9, 2024 21:59 5m 12s
Extracted out RawEGraph type Build and Test #567: Pull request #296 synchronize by dewert99
February 8, 2024 01:14 5m 8s dewert99:raw-egraph
dewert99:raw-egraph
February 8, 2024 01:14 5m 8s
Extracted out RawEGraph type Build and Test #566: Pull request #296 opened by dewert99
February 6, 2024 19:16 5m 17s dewert99:raw-egraph
dewert99:raw-egraph
February 6, 2024 19:16 5m 17s
Generic analysis Build and Test #565: Pull request #293 opened by dewert99
January 12, 2024 23:19 2m 35s dewert99:generic_analysis
dewert99:generic_analysis
January 12, 2024 23:19 2m 35s
Add nodes field to EGraph Build and Test #564: Pull request #291 synchronize by dewert99
January 4, 2024 03:22 3m 28s dewert99:egraph_nodes
dewert99:egraph_nodes
January 4, 2024 03:22 3m 28s
Add nodes field to EGraph Build and Test #563: Pull request #291 synchronize by dewert99
January 3, 2024 21:09 4m 34s dewert99:egraph_nodes
dewert99:egraph_nodes
January 3, 2024 21:09 4m 34s
Add nodes field to EGraph Build and Test #562: Pull request #291 synchronize by dewert99
January 3, 2024 20:35 4m 8s dewert99:egraph_nodes
dewert99:egraph_nodes
January 3, 2024 20:35 4m 8s
Add nodes field to EGraph Build and Test #561: Pull request #291 opened by dewert99
January 3, 2024 20:12 3m 50s dewert99:egraph_nodes
dewert99:egraph_nodes
January 3, 2024 20:12 3m 50s
Added push/pop API Build and Test #560: Pull request #290 synchronize by dewert99
January 2, 2024 23:37 3m 20s dewert99:semi-persistent2
dewert99:semi-persistent2
January 2, 2024 23:37 3m 20s
Added push/pop API Build and Test #559: Pull request #290 opened by dewert99
January 2, 2024 23:31 3m 43s dewert99:semi-persistent2
dewert99:semi-persistent2
January 2, 2024 23:31 3m 43s
Make explain_id_equivalence public (#289) Build and Test #558: Commit 812c76c pushed by mwillsey
December 24, 2023 23:46 3m 25s main
main
December 24, 2023 23:46 3m 25s
Make explain_id_equivalence public Build and Test #557: Pull request #289 synchronize by dewert99
December 22, 2023 23:46 3m 26s dewert99:non-canonical
dewert99:non-canonical
December 22, 2023 23:46 3m 26s
Make explain_id_equivalence public Build and Test #556: Pull request #289 opened by dewert99
December 22, 2023 23:40 3m 31s dewert99:non-canonical
dewert99:non-canonical
December 22, 2023 23:40 3m 31s
Optimised the classes field of EGraph to avoid extra hashing Build and Test #554: Pull request #284 synchronize by dewert99
November 28, 2023 19:12 5m 55s dewert99:optimize-class-lookup
dewert99:optimize-class-lookup
November 28, 2023 19:12 5m 55s
Optimised the classes field of EGraph to avoid extra hashing Build and Test #553: Pull request #284 opened by dewert99
November 28, 2023 18:33 6m 20s dewert99:optimize-class-lookup
dewert99:optimize-class-lookup
November 28, 2023 18:33 6m 20s
Merge pull request #283 from dewert99/non-canonical Build and Test #552: Commit 034f12e pushed by oflatt
November 28, 2023 17:58 6m 21s main
main
November 28, 2023 17:58 6m 21s