Skip to content

Actions: ninehusky/chompy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
92 workflow runs
92 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed issue #69 Rust #92: Pull request #70 opened by Riddhimaan-Senapati
January 25, 2025 18:25 Action required Riddhimaan-Senapati:main
Riddhimaan-Senapati:main
January 25, 2025 18:25 Action required
Remove ite; add new conditional rule application algorithm Rust #91: Pull request #68 synchronize by ninehusky
January 25, 2025 03:39 1h 33m 42s ninehusky-add-egglog-conditional-interpreter
ninehusky-add-egglog-conditional-interpreter
January 25, 2025 03:39 1h 33m 42s
Remove ite; add new conditional rule application algorithm Rust #90: Pull request #68 opened by ninehusky
January 22, 2025 23:12 6m 25s ninehusky-add-egglog-conditional-interpreter
ninehusky-add-egglog-conditional-interpreter
January 22, 2025 23:12 6m 25s
Merge pull request #65 from ninehusky/ninehusky-add-rule-sorting Rust #89: Commit 2b49bca pushed by ninehusky
January 22, 2025 22:27 6h 0m 25s main
main
January 22, 2025 22:27 6h 0m 25s
Sort rules by size, add them in ascending order Rust #88: Pull request #65 synchronize by ninehusky
January 22, 2025 22:26 6h 0m 28s ninehusky-add-rule-sorting
ninehusky-add-rule-sorting
January 22, 2025 22:26 6h 0m 28s
Sort rules by size, add them in ascending order Rust #87: Pull request #65 opened by ninehusky
January 21, 2025 20:04 20m 19s ninehusky-add-rule-sorting
ninehusky-add-rule-sorting
January 21, 2025 20:04 20m 19s
Merge pull request #63 from ninehusky/ninehusky-improve-logs Rust #86: Commit cd9f425 pushed by ninehusky
January 20, 2025 23:37 55m 29s main
main
January 20, 2025 23:37 55m 29s
Improve logs to have rule search/apply duration Rust #85: Pull request #63 synchronize by ninehusky
January 20, 2025 23:36 56m 51s ninehusky-improve-logs
ninehusky-improve-logs
January 20, 2025 23:36 56m 51s
Improve logs to have rule search/apply duration Rust #84: Pull request #63 opened by ninehusky
January 17, 2025 02:45 55m 12s ninehusky-improve-logs
ninehusky-improve-logs
January 17, 2025 02:45 55m 12s
Merge pull request #60 from ninehusky/ninehusky-reduce-egraph-reconst… Rust #83: Commit d6b9436 pushed by ninehusky
January 15, 2025 00:35 58m 30s main
main
January 15, 2025 00:35 58m 30s
Move adding rewrites to "derivability" e-graph to preprocessing phase Rust #82: Pull request #60 synchronize by ninehusky
January 15, 2025 00:35 57m 3s ninehusky-reduce-egraph-reconstruction
ninehusky-reduce-egraph-reconstruction
January 15, 2025 00:35 57m 3s
Move adding rewrites to "derivability" e-graph to preprocessing phase Rust #81: Pull request #60 synchronize by ninehusky
January 15, 2025 00:24 57m 42s ninehusky-reduce-egraph-reconstruction
ninehusky-reduce-egraph-reconstruction
January 15, 2025 00:24 57m 42s
Move adding rewrites to "derivability" e-graph to preprocessing phase Rust #80: Pull request #60 opened by ninehusky
January 15, 2025 00:23 50m 20s ninehusky-reduce-egraph-reconstruction
ninehusky-reduce-egraph-reconstruction
January 15, 2025 00:23 50m 20s
Merge pull request #58 from ninehusky/ninehusky-memoize-rule-concreti… Rust #79: Commit 5a0be94 pushed by ninehusky
January 14, 2025 23:39 1h 40m 6s main
main
January 14, 2025 23:39 1h 40m 6s
Memoize rule concretization Rust #78: Pull request #58 synchronize by ninehusky
January 14, 2025 23:39 1h 42m 20s ninehusky-memoize-rule-concretization
ninehusky-memoize-rule-concretization
January 14, 2025 23:39 1h 42m 20s
Memoize rule concretization Rust #77: Pull request #58 synchronize by ninehusky
January 14, 2025 23:34 1h 37m 29s ninehusky-memoize-rule-concretization
ninehusky-memoize-rule-concretization
January 14, 2025 23:34 1h 37m 29s
Memoize rule concretization Rust #76: Pull request #58 opened by ninehusky
January 13, 2025 22:33 6m 33s ninehusky-memoize-rule-concretization
ninehusky-memoize-rule-concretization
January 13, 2025 22:33 6m 33s
Merge pull request #53 from ninehusky/ninehusky-cleanup Rust #75: Commit 6238b35 pushed by ninehusky
January 9, 2025 21:29 6h 0m 25s main
main
January 9, 2025 21:29 6h 0m 25s
Cleanup! Rust #74: Pull request #53 synchronize by ninehusky
January 9, 2025 21:28 6h 0m 25s ninehusky-cleanup
ninehusky-cleanup
January 9, 2025 21:28 6h 0m 25s
Cleanup! Rust #73: Pull request #53 synchronize by ninehusky
January 9, 2025 21:27 6h 0m 23s ninehusky-cleanup
ninehusky-cleanup
January 9, 2025 21:27 6h 0m 23s
Cleanup! Rust #72: Pull request #53 synchronize by ninehusky
January 9, 2025 20:36 6h 0m 27s ninehusky-cleanup
ninehusky-cleanup
January 9, 2025 20:36 6h 0m 27s
Cleanup! Rust #71: Pull request #53 synchronize by ninehusky
January 9, 2025 20:22 6m 19s ninehusky-cleanup
ninehusky-cleanup
January 9, 2025 20:22 6m 19s
Cleanup! Rust #70: Pull request #53 synchronize by ninehusky
January 9, 2025 20:21 6m 14s ninehusky-cleanup
ninehusky-cleanup
January 9, 2025 20:21 6m 14s
Cleanup! Rust #69: Pull request #53 synchronize by ninehusky
January 8, 2025 23:54 59m 17s ninehusky-cleanup
ninehusky-cleanup
January 8, 2025 23:54 59m 17s
Cleanup! Rust #68: Pull request #53 synchronize by ninehusky
January 8, 2025 23:42 48m 6s ninehusky-cleanup
ninehusky-cleanup
January 8, 2025 23:42 48m 6s