Skip to content

Actions: eytans/easter-egg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'multipattern-explain' of github.com:eytans/easter-egg i… Build and Test #40: Commit c29b667 pushed by eytans
October 21, 2024 08:31 41s multipattern-explain
multipattern-explain
October 21, 2024 08:31 41s
Also into usize Build and Test #39: Commit ce48c5a pushed by eytans
October 6, 2024 10:19 32s multipattern-explain
multipattern-explain
October 6, 2024 10:19 32s
Id is being used for its inner representation too much, so impl into Build and Test #38: Commit 4839263 pushed by eytans
October 6, 2024 10:13 36s multipattern-explain
multipattern-explain
October 6, 2024 10:13 36s
Some cleanup Build and Test #37: Commit b413c9b pushed by eytans
September 20, 2024 18:16 38s multipattern-explain
multipattern-explain
September 20, 2024 18:16 38s
Applied bind limit of 1000 in correct place Build and Test #36: Commit b41d76c pushed by eytans
September 16, 2024 09:19 31s master
master
September 16, 2024 09:19 31s
Added some support for case split conclusions in rebuild Build and Test #35: Commit a62c16b pushed by eytans
September 15, 2024 16:14 29s master
master
September 15, 2024 16:14 29s
Dont drop hooks Build and Test #34: Commit b43cae4 pushed by eytans
September 15, 2024 13:30 36s master
master
September 15, 2024 13:30 36s
A better colored union find for parallel runs Build and Test #33: Commit 35da4f4 pushed by eytans
September 15, 2024 13:20 36s master
master
September 15, 2024 13:20 36s
Finally updated doc Build and Test #32: Commit fd9f9e1 pushed by eytans
September 13, 2024 14:18 31s master
master
September 13, 2024 14:18 31s
Merged with egg master Build and Test #31: Commit c2dd230 pushed by eytans
August 9, 2024 06:40 4m 11s fix_existance_exp
fix_existance_exp
August 9, 2024 06:40 4m 11s
Setting thread limit is now public Build and Test #30: Commit 7693035 pushed by eytans
July 15, 2024 19:58 58s multipattern-explain
multipattern-explain
July 15, 2024 19:58 58s
Suppoting thread_limit in parallel backoff scheduler Build and Test #29: Commit 370ff6d pushed by eytans
July 15, 2024 19:55 47s multipattern-explain
multipattern-explain
July 15, 2024 19:55 47s
Starting to add support for multipattern. Need to change existance\un… Build and Test #28: Commit 241df81 pushed by eytans
July 1, 2024 12:51 49s multipattern-explain-full-support
multipattern-explain-full-support
July 1, 2024 12:51 49s
Cleanup Build and Test #27: Commit 591f234 pushed by eytans
June 26, 2024 19:46 53s multipattern-explain
multipattern-explain
June 26, 2024 19:46 53s
nits Build and Test #26: Commit 70a6908 pushed by eytans
June 22, 2024 08:15 2m 27s multipattern-explain
multipattern-explain
June 22, 2024 08:15 2m 27s
nits Build and Test #25: Commit 08753eb pushed by eytans
June 22, 2024 08:13 3m 42s fix_existance_exp
fix_existance_exp
June 22, 2024 08:13 3m 42s
Closes #316; Added test for existance + fix bad connection choice and… Build and Test #24: Commit 9dee755 pushed by eytans
June 22, 2024 07:46 3m 47s fix_existance_exp
fix_existance_exp
June 22, 2024 07:46 3m 47s
Merge branch 'egraphs-good:main' into multipattern-explain Build and Test #23: Commit 4193d51 pushed by eytans
June 21, 2024 14:40 2m 44s multipattern-explain
multipattern-explain
June 21, 2024 14:40 2m 44s
Merge remote-tracking branch 'upstream/main' into multipattern-explain Build and Test #22: Commit 38ebcb6 pushed by eytans-techy
April 19, 2024 11:52 2m 16s multipattern-explain
multipattern-explain
April 19, 2024 11:52 2m 16s
Changed union to optionally accept a reason message Build and Test #21: Commit 8bcbc34 pushed by eytans-techy
April 19, 2024 11:52 2m 42s multipattern-explain
multipattern-explain
April 19, 2024 11:52 2m 42s
Added rewrite display Build and Test #20: Commit 1e68fdd pushed by eytans-techy
March 12, 2024 12:46 2m 3s erewrite
erewrite
March 12, 2024 12:46 2m 3s
Get some display on stuff Build and Test #19: Commit 5020ad6 pushed by eytans-techy
March 12, 2024 12:41 2m 54s erewrite
erewrite
March 12, 2024 12:41 2m 54s
pages build and deployment pages-build-deployment #3: by eytans
December 26, 2023 11:26 31s gh-pages
gh-pages
December 26, 2023 11:26 31s