Skip to content

Actions: plasma-umass/scalene

Actions

Format code

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blacken.yml
166 workflow runs
166 workflow runs

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
Fix profiling scripts with a UTF-8 BOM (#1092) Format code #166: Commit 05731c0 pushed by emeryberger
17s master
master
17s
Stop free-threaded CI jobs failing in setup before tests run (#1089) Format code #165: Commit 9069a32 pushed by emeryberger
20s master
master
20s
Fix UnicodeEncodeError for non-ASCII file paths (#1087) Format code #164: Commit 57aead6 pushed by emeryberger
11s master
master
11s
Guard get_ipython() being Optional (fixes mypy on master) (#1088) Format code #163: Commit 202ae93 pushed by emeryberger
20s master
master
20s
Sync requirements.txt with pyproject.toml runtime deps (#1085) Format code #162: Commit c2e9e17 pushed by emeryberger
11s master
master
11s
Add differential harness for the classifier soundness hypothesis (#1084) Format code #161: Commit 6551a40 pushed by emeryberger
15s master
master
15s
Formal: Python/native classifier ACCURACY, both paths, vs CPython sig… Format code #160: Commit 2f92878 pushed by emeryberger
14s master
master
14s
Formal: Python/native classifier + per-line malloc attribution (#1082) Format code #159: Commit 7934cac pushed by emeryberger
26s master
master
26s
Formal: HANDOFF bookkeeping — #1078 and #1080 merged, no open formal … Format code #158: Commit d6db5f4 pushed by emeryberger
13s master
master
13s
Formal: close PASTA + prove 2 metrics end-to-end across C++/Python; a… Format code #157: Commit e1fffef pushed by emeryberger
13s master
master
13s
Fix two more divide-by-zero bugs found by the formalization audit (#1… Format code #156: Commit 79609ea pushed by emeryberger
18s master
master
18s
Formal: literal two-counter sampler reduction + per-line attribution … Format code #155: Commit a14024b pushed by emeryberger
9s master
master
9s
Fix two divide-by-zero / unbounded-sampling bugs found by formalizati… Format code #154: Commit 6b39f76 pushed by emeryberger
15s master
master
15s
Formal: Poisson sampler + GPU/copy/python-split/leak + memory-sampler… Format code #153: Commit 248b4c8 pushed by emeryberger
15s master
master
15s
Formal: regenerate oracle with upstream-fixed LeanToPython, drop min2… Format code #152: Commit a8ff4df pushed by emeryberger
15s master
master
15s
CI: harden test_off_then_on_via_signal against SIGILL startup race (#… Format code #151: Commit 8558af5 pushed by emeryberger
14s master
master
14s
Formal: prove the profiler-correctness desideratum (unbiased + consis… Format code #150: Commit 31909af pushed by emeryberger
14s master
master
14s
CI: make mac_sampler timing tests poll instead of fixed-sleep (#1071) Format code #149: Commit 0e51afd pushed by emeryberger
13s master
master
13s
Formal: prove combined_stacks capacity bound + extract verified Pytho… Format code #148: Commit a975ad0 pushed by emeryberger
9s master
master
9s
Add formal models (TLA+ + Lean) of Scalene concurrency & correctness … Format code #147: Commit 80aafb7 pushed by emeryberger
13s master
master
13s
Declare free-threaded safety for _scalene_unwind module (#1065) Format code #146: Commit 8d3c62b pushed by emeryberger
12s master
master
12s
CI: stop two flaky tests from sinking the matrix (#1069) Format code #145: Commit ee11ad1 pushed by emeryberger
14s master
master
14s
Fix 'dictionary changed size during iteration' race in stack output (… Format code #144: Commit 00d07bf pushed by emeryberger
14s master
master
14s
Fix test-suite sys.executable leak that skipped free-threaded memory … Format code #143: Commit e3a301f pushed by emeryberger
11s master
master
11s
Fix #1063: non-ASCII --profile-only no longer crashes with SIGSEGV (#… Format code #142: Commit 52aec24 pushed by emeryberger
16s master
master
16s