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

Fix proofs: switch to BigUint instead of Saturating<usize> for pr… Build and Test #603: Commit 556a6b3 pushed by mwillsey
April 24, 2024 23:18 3m 36s main
main
April 24, 2024 23:18 3m 36s
Rename RecExpr to Expr Build and Test #602: Pull request #314 synchronize by cospectrum
April 24, 2024 22:13 3m 35s cospectrum:rename-recexpr
cospectrum:rename-recexpr
April 24, 2024 22:13 3m 35s
Rename RecExpr to Expr Build and Test #601: Pull request #314 opened by cospectrum
April 24, 2024 22:11 3m 43s cospectrum:rename-recexpr
cospectrum:rename-recexpr
April 24, 2024 22:11 3m 43s
Add hashmap_with_capacity Build and Test #600: Pull request #313 synchronize by cospectrum
April 24, 2024 21:37 3m 32s cospectrum:hash-map-with-capacity
cospectrum:hash-map-with-capacity
April 24, 2024 21:37 3m 32s
Add hashmap_with_capacity Build and Test #599: Pull request #313 opened by cospectrum
April 24, 2024 20:43 3m 37s cospectrum:hash-map-with-capacity
cospectrum:hash-map-with-capacity
April 24, 2024 20:43 3m 37s
Return Language::len in O(1) Build and Test #598: Pull request #312 opened by cospectrum
April 24, 2024 19:27 4m 10s cospectrum:language-len
cospectrum:language-len
April 24, 2024 19:27 4m 10s
Fix proofs: switch to BigUint instead of Saturating<usize> for proof cost Build and Test #597: Pull request #310 synchronize by bksaiki
April 17, 2024 21:47 3m 29s bksaiki:fix-proofs
bksaiki:fix-proofs
April 17, 2024 21:47 3m 29s
Fix proofs: switch to BigUint instead of Saturating<usize> for proof cost Build and Test #596: Pull request #310 opened by bksaiki
April 17, 2024 21:42 3m 31s bksaiki:fix-proofs
bksaiki:fix-proofs
April 17, 2024 21:42 3m 31s
Fix matching perf regression Build and Test #595: Commit 2f1514c pushed by mwillsey
April 16, 2024 15:24 3m 38s main
main
April 16, 2024 15:24 3m 38s
Add example in doc comment of 'RecExpr' (#308) Build and Test #594: Commit 6401363 pushed by mwillsey
April 3, 2024 19:04 3m 4s main
main
April 3, 2024 19:04 3m 4s
Add nodes field to EGraph (#291) Build and Test #593: Commit 3231b86 pushed by mwillsey
April 3, 2024 19:04 3m 21s main
main
April 3, 2024 19:04 3m 21s
Add example in doc comment of 'RecExpr' Build and Test #592: Pull request #308 synchronize by marcusrossel
April 3, 2024 14:56 5m 14s marcusrossel:main
marcusrossel:main
April 3, 2024 14:56 5m 14s
Add nodes field to EGraph Build and Test #591: Pull request #291 synchronize by dewert99
April 3, 2024 01:50 3m 30s dewert99:egraph_nodes
dewert99:egraph_nodes
April 3, 2024 01:50 3m 30s
Add example in doc comment of 'RecExpr' Build and Test #590: Pull request #308 opened by marcusrossel
April 2, 2024 15:26 3m 24s marcusrossel:main
marcusrossel:main
April 2, 2024 15:26 3m 24s
Add way to create numeric variables without parsing Build and Test #589: Commit c7e9284 pushed by mwillsey
March 22, 2024 22:40 15m 31s main
main
March 22, 2024 22:40 15m 31s
Add nodes field to EGraph Build and Test #588: Pull request #291 synchronize by dewert99
March 21, 2024 22:34 2m 44s dewert99:egraph_nodes
dewert99:egraph_nodes
March 21, 2024 22:34 2m 44s
Add nodes field to EGraph Build and Test #587: Pull request #291 synchronize by dewert99
March 21, 2024 22:17 1m 52s dewert99:egraph_nodes
dewert99:egraph_nodes
March 21, 2024 22:17 1m 52s
Translate between EGraph types (#306) Build and Test #586: Commit ec37e2f pushed by mwillsey
March 21, 2024 16:45 3m 10s main
main
March 21, 2024 16:45 3m 10s
Extracted out RawEGraph type Build and Test #585: Pull request #296 synchronize by dewert99
March 21, 2024 16:42 3m 4s dewert99:raw-egraph
dewert99:raw-egraph
March 21, 2024 16:42 3m 4s
Extracted out RawEGraph type Build and Test #584: Pull request #296 synchronize by dewert99
March 21, 2024 00:09 3m 18s dewert99:raw-egraph
dewert99:raw-egraph
March 21, 2024 00:09 3m 18s
Add nodes field to EGraph Build and Test #583: Pull request #291 synchronize by dewert99
March 20, 2024 21:58 49m 45s dewert99:egraph_nodes
dewert99:egraph_nodes
March 20, 2024 21:58 49m 45s
Add nodes field to EGraph Build and Test #582: Pull request #291 synchronize by dewert99
March 20, 2024 21:34 51m 30s dewert99:egraph_nodes
dewert99:egraph_nodes
March 20, 2024 21:34 51m 30s
Translate between EGraph types Build and Test #581: Pull request #306 synchronize by sgpthomas
March 20, 2024 21:30 3m 10s sgpthomas:egraph_map
sgpthomas:egraph_map
March 20, 2024 21:30 3m 10s
Translate between EGraph types Build and Test #580: Pull request #306 synchronize by sgpthomas
March 20, 2024 19:17 1m 39s sgpthomas:egraph_map
sgpthomas:egraph_map
March 20, 2024 19:17 1m 39s
Translate between EGraph types Build and Test #579: Pull request #306 synchronize by sgpthomas
March 20, 2024 17:53 3m 0s sgpthomas:egraph_map
sgpthomas:egraph_map
March 20, 2024 17:53 3m 0s