Skip to content

Actions: herbie-fp/herbie

Actions

Plugins

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
plugins.yml
3,412 workflow runs
3,412 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updated nightly script Plugins #5352: Commit 1169f7e pushed by AYadrov
February 5, 2025 00:41 2m 20s really-crazy-encodings
really-crazy-encodings
February 5, 2025 00:41 2m 20s
removed dedup rules from lifting/lowering rules - they are not needed Plugins #5351: Commit 71a4759 pushed by AYadrov
February 5, 2025 00:28 3m 34s really-crazy-encodings
really-crazy-encodings
February 5, 2025 00:28 3m 34s
extraction works, but for some reasons spec gets mixed with impl Plugins #5350: Commit e392e31 pushed by AYadrov
February 4, 2025 22:47 2m 25s really-crazy-encodings
really-crazy-encodings
February 4, 2025 22:47 2m 25s
extraction works! Plugins #5349: Commit 33f5ffd pushed by AYadrov
February 4, 2025 03:49 2m 20s really-crazy-encodings
really-crazy-encodings
February 4, 2025 03:49 2m 20s
recovered types Plugins #5348: Commit fe14cdd pushed by AYadrov
February 4, 2025 01:05 2m 11s really-crazy-encodings
really-crazy-encodings
February 4, 2025 01:05 2m 11s
recovered prune-ill-typed! it now checks whether refers only to vars… Plugins #5347: Commit 2199e6d pushed by AYadrov
February 4, 2025 00:07 1m 51s really-crazy-encodings
really-crazy-encodings
February 4, 2025 00:07 1m 51s
some progress on extraction Plugins #5346: Commit e8f0e66 pushed by AYadrov
February 3, 2025 22:45 2m 32s really-crazy-encodings
really-crazy-encodings
February 3, 2025 22:45 2m 32s
Merge pull request #1146 from herbie-fp/parsing-fixes Plugins #5345: Commit f63971d pushed by pavpanchekha
February 2, 2025 00:40 4m 50s main
main
February 2, 2025 00:40 4m 50s
extremely revolutionary ideas on extraction Plugins #5344: Commit 9a9c65d pushed by AYadrov
February 1, 2025 00:55 2m 32s really-crazy-encodings
really-crazy-encodings
February 1, 2025 00:55 2m 32s
an extremely hard thinking session Plugins #5343: Commit e87237a pushed by AYadrov
January 31, 2025 23:43 2m 30s really-crazy-encodings
really-crazy-encodings
January 31, 2025 23:43 2m 30s
Fix bugs in parsing of :alt expressions Plugins #5342: Commit 9e1be2e pushed by pavpanchekha
January 31, 2025 21:45 6m 3s parsing-fixes
parsing-fixes
January 31, 2025 21:45 6m 3s
var need to be parsed as a hole + added lowering rules Plugins #5341: Commit 9e4cf1f pushed by AYadrov
January 31, 2025 00:02 4m 39s really-crazy-encodings
really-crazy-encodings
January 31, 2025 00:02 4m 39s
lifting rules clean uo Plugins #5340: Commit 52e5e6b pushed by AYadrov
January 30, 2025 22:52 5m 10s really-crazy-encodings
really-crazy-encodings
January 30, 2025 22:52 5m 10s
rethinking on lifting rules Plugins #5339: Commit a44e644 pushed by AYadrov
January 30, 2025 21:04 2m 34s really-crazy-encodings
really-crazy-encodings
January 30, 2025 21:04 2m 34s
Merge pull request #1145 from herbie-fp/ganesh-docs-tweak Plugins #5338: Commit 25a83b6 pushed by pavpanchekha
January 30, 2025 00:19 4m 47s main
main
January 30, 2025 00:19 4m 47s
Tweak to docs suggested by Ganesh Plugins #5337: Commit 22acfd9 pushed by pavpanchekha
January 30, 2025 00:14 4m 41s ganesh-docs-tweak
ganesh-docs-tweak
January 30, 2025 00:14 4m 41s
Merge pull request #1144 from herbie-fp/remove-localize Plugins #5336: Commit 5cf9c4f pushed by pavpanchekha
January 30, 2025 00:05 5m 24s main
main
January 30, 2025 00:05 5m 24s
rules are seem to at least be parsed into egg correctly Plugins #5335: Commit 4dbdf17 pushed by AYadrov
January 29, 2025 23:50 2m 9s really-crazy-encodings
really-crazy-encodings
January 29, 2025 23:50 2m 9s
some really crazy new lifting rules that are working with holes Plugins #5334: Commit 8ad324e pushed by AYadrov
January 29, 2025 22:23 2m 8s really-crazy-encodings
really-crazy-encodings
January 29, 2025 22:23 2m 8s
probably it is better to add term inside egg instead of manually in … Plugins #5333: Commit 47ac6f9 pushed by AYadrov
January 29, 2025 19:52 2m 14s really-crazy-encodings
really-crazy-encodings
January 29, 2025 19:52 2m 14s
made new typed input to egraph Plugins #5332: Commit 33b46e6 pushed by AYadrov
January 29, 2025 00:06 2m 2s really-crazy-encodings
really-crazy-encodings
January 29, 2025 00:06 2m 2s
Delete unused localize code Plugins #5331: Commit 5f976f8 pushed by pavpanchekha
January 28, 2025 00:09 4m 47s remove-localize
remove-localize
January 28, 2025 00:09 4m 47s
Fix boolean constants TRUE/FALSE Plugins #5330: Commit 2967c5d pushed by pavpanchekha
January 27, 2025 23:49 6m 2s fix-pi
fix-pi
January 27, 2025 23:49 6m 2s
Merge pull request #1142 from herbie-fp/dump-rival Plugins #5329: Commit 5f9ba85 pushed by pavpanchekha
January 27, 2025 23:19 4m 29s main
main
January 27, 2025 23:19 4m 29s
Merge pull request #1140 from herbie-fp/fix-derivation-reports Plugins #5328: Commit e45969d pushed by pavpanchekha
January 27, 2025 04:24 7m 41s main
main
January 27, 2025 04:24 7m 41s