Skip to content

Actions: opencompl/evaluation-fp-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: bump leanwula FPTG oracle tests (float8) #12: Commit 8a59f3c pushed by bollu
17s main
main
17s
feat: fptg oracle gate expects all ops to pass (drop xfail) FPTG oracle tests (float8) #11: Commit 20c61eb pushed by bollu
18s main
main
18s
plot: trim cactus height to 2.3in (~25% of \textheight) FPTG oracle tests (float8) #10: Commit c0c2113 pushed by bollu
18s main
main
18s
plot: size cactus plots for full-width ACM (acmart) figures FPTG oracle tests (float8) #9: Commit 2bdcfb0 pushed by bollu
16s main
main
16s
ci: make the fptg-oracle-tests no-kernel step blocking FPTG oracle tests (float8) #8: Commit 3ac343a pushed by bollu
14s main
main
14s
feat: fptg-oracle-tests soundness gate (cli subcommand, scripts, CI) FPTG oracle tests (float8) #7: Commit 917eb86 pushed by bollu
17s main
main
17s
FPTG oracle soundness gate (fptg-oracle-tests + CI) FPTG oracle tests (float8) #6: Pull request #2 synchronize by bollu
13s fixes-against-oracle-fptg-datasets
fixes-against-oracle-fptg-datasets
13s
chore: bump leanwuzla to fp.fma extendWidths fix (nokernel fma bug cl… FPTG oracle tests (float8) #5: Commit 9475fc9 pushed by bollu
15s fixes-against-oracle-fptg-datasets
fixes-against-oracle-fptg-datasets
15s
FPTG oracle soundness gate (fptg-oracle-tests + CI) FPTG oracle tests (float8) #4: Pull request #2 synchronize by bollu
17s fixes-against-oracle-fptg-datasets
fixes-against-oracle-fptg-datasets
17s
chore: bump leanwuzla to sqrt @[bv_normalize] fix (float8 gate 0 errors) FPTG oracle tests (float8) #3: Commit 73e377d pushed by bollu
18s fixes-against-oracle-fptg-datasets
fixes-against-oracle-fptg-datasets
18s
FPTG oracle soundness gate (fptg-oracle-tests + CI) FPTG oracle tests (float8) #2: Pull request #2 opened by bollu
14s fixes-against-oracle-fptg-datasets
fixes-against-oracle-fptg-datasets
14s
chore: bump leanwuzla to free-variable fp.min/fp.max tie-break FPTG oracle tests (float8) #1: Commit 2d5497a pushed by bollu
14s fixes-against-oracle-fptg-datasets
fixes-against-oracle-fptg-datasets
14s