Proof encoding in egglog itself #2642
oflattAnnotations
2 errors and 10 warnings
|
nits
Process completed with exit code 2.
|
|
test
Process completed with exit code 2.
|
|
benchmark (ubuntu-latest, typeinfer)
The 'instrumentation' runner mode is deprecated and will be removed in a future version. Please use 'simulation' instead.
|
|
benchmark (ubuntu-latest, repro-665-set-union)
The 'instrumentation' runner mode is deprecated and will be removed in a future version. Please use 'simulation' instead.
|
|
benchmark (ubuntu-latest, herbie)
The 'instrumentation' runner mode is deprecated and will be removed in a future version. Please use 'simulation' instead.
|
|
benchmark (ubuntu-latest, extract-vec-bench)
The 'instrumentation' runner mode is deprecated and will be removed in a future version. Please use 'simulation' instead.
|
|
benchmark (ubuntu-latest, cykjson)
The 'instrumentation' runner mode is deprecated and will be removed in a future version. Please use 'simulation' instead.
|
|
benchmark (ubuntu-latest, stresstest_large_expr)
The 'instrumentation' runner mode is deprecated and will be removed in a future version. Please use 'simulation' instead.
|
|
benchmark (ubuntu-latest, eggcc-extraction)
The 'instrumentation' runner mode is deprecated and will be removed in a future version. Please use 'simulation' instead.
|
|
benchmark (ubuntu-latest, taylor51)
The 'instrumentation' runner mode is deprecated and will be removed in a future version. Please use 'simulation' instead.
|
|
benchmark (ubuntu-latest, python_array_optimize)
The 'instrumentation' runner mode is deprecated and will be removed in a future version. Please use 'simulation' instead.
|
|
benchmark (ubuntu-latest, math-microbenchmark)
The 'instrumentation' runner mode is deprecated and will be removed in a future version. Please use 'simulation' instead.
|