huggingface/transformers

Pull Requests Commits

Use current CI runtime for observational contracts

tarekziade committed 6 days ago

aec34847

Limit observational PR checks to trusted contributors

tarekziade committed 6 days ago

2f4b9eaf

Run model contracts as observational PR checks

tarekziade committed 6 days ago

ff875a3d

Select only the BF16 historical control fixture

tarekziade committed 6 days ago

6fac16cc

Use reviewed Mistral3 native BF16 reference

tarekziade committed 6 days ago

48abf4bb

Keep BF16 proof coverage and put Whisper reference under exported contract

tarekziade committed 6 days ago

8e8007df

Add reviewed native Whisper BF16 reference for the prototype contract

tarekziade committed 6 days ago

9b05fb62

Run MIC proof with BF16 by default and review native Whisper reference

tarekziade committed 6 days ago

a71d901d

Measure Whisper references at the original eight-thread profile

tarekziade committed 6 days ago

629d1a83

Trust CI checkout before fetching diagnostic source

tarekziade committed 6 days ago

38cfd297

Add source-isolation mode to Whisper recording workflow

tarekziade committed 6 days ago

ffe30f0f

Compare Whisper CPU outputs across pinned PyTorch wheel builds

tarekziade committed 6 days ago

a38690d9

Record unapproved Whisper candidates on the exact fixed PR source

tarekziade committed 6 days ago

1d58b0d1

Pin the validated MIC package to its reachable main squash commit

tarekziade committed 6 days ago

30542be7

Match the native reference CPU thread profile in the full proof

tarekziade committed 6 days ago

11c4611c

Restore source-verified Whisper signature and pass make style

tarekziade committed 6 days ago

e21f4b01

Verify and select the reviewed Transformers source in CPU proof processes

tarekziade committed 6 days ago

81b16129

Run all 23 prototype contracts with native CPU references and scoped known failures

tarekziade committed 6 days ago

3b3cf344

Record MIC references on the native CPU runner with pinned dependencies

tarekziade committed 6 days ago

7bc85854

Run the full proof fleet for its pull request checks

tarekziade committed 6 days ago

12bc8887

Include the prototype lock and run all contracts on proof pushes

tarekziade committed 6 days ago

acb94802

Give prototype contracts distinct names across case-sensitive filesystems

tarekziade committed 6 days ago

33198e2a

Exercise 17 generated MIC contracts on the CPU proof runner

tarekziade committed 6 days ago

1dcda067

Use renamed mic slim artifacts in contract proof

tarekziade committed 6 days ago

6ae2d5a8

Use tmic check strictness without the legacy runner flag

tarekziade committed 6 days ago

a03ecd2b

Use the pinned tmic package in the MIC proof workflow

tarekziade committed 6 days ago

1d17fdef

[contracts proof] Full runs: don't fail when there is no changed-files list

tarekziade committed 9 days ago

46fa5321

[contracts proof] cpu-arm64 baselines: reproduce failures on a Mac

tarekziade committed 9 days ago

fd5ecc07

[contracts proof] Also run on proof-* branch pushes, selected from their diff

tarekziade committed 9 days ago

22d49c28

[contracts proof] Wav2Vec2 known failure: skip gradients too

tarekziade committed 9 days ago

97478080

Older