Skip to content

Actions: herbie-fp/herbie

Actions

Unit tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unit-test.yml
3,342 workflow runs
3,342 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify the handling of specs and approx nodes in Taylor Unit tests #5234: Commit a7a956d pushed by pavpanchekha
January 18, 2025 22:43 3m 14s simplify-patch
simplify-patch
January 18, 2025 22:43 3m 14s
Trying to reduce egraph size---something is up Unit tests #5233: Commit 022cf1b pushed by pavpanchekha
January 18, 2025 22:40 1m 53s new-encoding
new-encoding
January 18, 2025 22:40 1m 53s
Merge pull request #1125 from herbie-fp/fix-flag-args Unit tests #5232: Commit 3d631b2 pushed by pavpanchekha
January 18, 2025 22:36 5m 30s main
main
January 18, 2025 22:36 5m 30s
fmt Unit tests #5231: Commit 6828f27 pushed by pavpanchekha
January 18, 2025 00:41 5m 51s new-encoding
new-encoding
January 18, 2025 00:41 5m 51s
Add an approx lifting rule---but no bugs fixed, sadly Unit tests #5230: Commit 47b8812 pushed by pavpanchekha
January 18, 2025 00:37 1m 51s new-encoding
new-encoding
January 18, 2025 00:37 1m 51s
Make all tests pass Unit tests #5229: Commit fa0a388 pushed by pavpanchekha
January 18, 2025 00:24 5m 34s new-encoding
new-encoding
January 18, 2025 00:24 5m 34s
Handle issues with boolean operations Unit tests #5228: Commit 91c4260 pushed by pavpanchekha
January 18, 2025 00:13 1m 53s new-encoding
new-encoding
January 18, 2025 00:13 1m 53s
Proofs are back Unit tests #5227: Commit 6a50ab1 pushed by pavpanchekha
January 17, 2025 23:16 3m 18s new-encoding
new-encoding
January 17, 2025 23:16 3m 18s
fmt Unit tests #5226: Commit d3969b9 pushed by pavpanchekha
January 17, 2025 22:05 3m 13s new-encoding
new-encoding
January 17, 2025 22:05 3m 13s
More nonsense Unit tests #5225: Commit cdff54e pushed by pavpanchekha
January 17, 2025 22:02 1m 57s new-encoding
new-encoding
January 17, 2025 22:02 1m 57s
Minor Unit tests #5224: Commit 5cb63a6 pushed by pavpanchekha
January 17, 2025 21:55 1m 59s new-encoding
new-encoding
January 17, 2025 21:55 1m 59s
Woops, these are operators Unit tests #5223: Commit 6d2a85e pushed by pavpanchekha
January 17, 2025 18:53 2m 16s new-encoding
new-encoding
January 17, 2025 18:53 2m 16s
Fmt but actually simplification Unit tests #5222: Commit eae67c1 pushed by pavpanchekha
January 17, 2025 18:46 6m 14s fix-flag-args
fix-flag-args
January 17, 2025 18:46 6m 14s
Older Racket doesn't permit multiple #:when clauses, looks like Unit tests #5221: Commit 4e58a54 pushed by pavpanchekha
January 17, 2025 18:42 1m 55s fix-flag-args
fix-flag-args
January 17, 2025 18:42 1m 55s
Woops Unit tests #5220: Commit 0ed7f8b pushed by pavpanchekha
January 17, 2025 18:40 5m 53s no-localize
no-localize
January 17, 2025 18:40 5m 53s
Clean up localize! and make default be no-localize Unit tests #5219: Commit cea3355 pushed by pavpanchekha
January 17, 2025 18:33 2m 54s no-localize
no-localize
January 17, 2025 18:33 2m 54s
Handle some more syntactic constructs Unit tests #5218: Commit 960320b pushed by pavpanchekha
January 17, 2025 18:29 2m 23s new-encoding
new-encoding
January 17, 2025 18:29 2m 23s
Disable proofs for now Unit tests #5217: Commit 0025d25 pushed by pavpanchekha
January 16, 2025 04:01 2m 2s new-encoding
new-encoding
January 16, 2025 04:01 2m 2s
My handling of --enable and --disable was wrong Unit tests #5216: Commit dcbaa94 pushed by pavpanchekha
January 16, 2025 03:55 5m 40s fix-flag-args
fix-flag-args
January 16, 2025 03:55 5m 40s
Some additional fixes Unit tests #5215: Commit cc0cfa5 pushed by pavpanchekha
January 16, 2025 03:51 1m 56s new-encoding
new-encoding
January 16, 2025 03:51 1m 56s
Add $literal and $var terms and thereby mostly fix new encoding Unit tests #5214: Commit fd653dc pushed by pavpanchekha
January 16, 2025 00:37 1m 48s new-encoding
new-encoding
January 16, 2025 00:37 1m 48s
First attempt, tutorial runs. I don't think Taylor should work yet. Unit tests #5213: Commit a9a2934 pushed by pavpanchekha
January 15, 2025 03:46 1m 54s new-encoding
new-encoding
January 15, 2025 03:46 1m 54s
Merge pull request #1119 from herbie-fp/store-egraph Unit tests #5212: Commit d270acb pushed by pavpanchekha
January 10, 2025 23:05 5m 32s main
main
January 10, 2025 23:05 5m 32s
some pipelining for rival Unit tests #5211: Commit 60d1e16 pushed by AYadrov
January 9, 2025 22:56 1m 53s min-max-optimizations-support
min-max-optimizations-support
January 9, 2025 22:56 1m 53s
Merge pull request #1122 from herbie-fp/hint-preparation Unit tests #5210: Commit 4dfe406 pushed by AYadrov
January 9, 2025 18:21 5m 48s main
main
January 9, 2025 18:21 5m 48s