Default Branch

3c32607020 · fix: incorrect borrow annotation on demangleBtLinCStr leading to segfault on panic (#12939) · Updated 2026-03-17 09:24:57 +00:00

Branches

c15c7f2d49 · Fix instance_reducible not being preserved for WF-recursive definitions · Updated 2026-03-03 15:48:38 +00:00

124
2

0ad35b63c8 · chore: replace workspace file with .vscode/ settings · Updated 2026-03-03 03:01:53 +00:00

129
1

39aab44336 · fix: use explicit ReaderT.run to avoid accidental recursion · Updated 2026-03-03 03:00:57 +00:00

176
7

126b1d56ec · chore: add HACK banner to isNonTrivialRegular transparency check · Updated 2026-03-03 00:30:52 +00:00

131
1

8ab452c991 · fix: delete empty .out.expected files instead of leaving them empty · Updated 2026-03-02 23:57:53 +00:00

176
6

9940f2540c · fix: use trimAscii instead of deprecated trim · Updated 2026-03-02 23:20:10 +00:00

139
2

82e29deff9 · more · Updated 2026-03-02 15:54:22 +00:00

135
2

3be124112c · don't save to png file · Updated 2026-03-02 09:57:03 +00:00

138
13

ec41585523 · sum consumer · Updated 2026-03-02 09:46:20 +00:00

138
3

f63c803585 · test performance implications of implicit_reducible · Updated 2026-03-02 09:25:44 +00:00

138
2

3aff8d1c0d · refactor: replace isImplicitReducible with Meta.isInstance in shouldInline · Updated 2026-03-02 08:46:01 +00:00

138
1

cda84702e9 · doc: add guidance on waiting for CI/merges in release command (#12755) · Updated 2026-03-02 02:49:34 +00:00

138
0
Included

457f3c20cf · chore: update stage0 · Updated 2026-03-01 22:49:20 +00:00

144
5

91c43040f4 · doc: add guidance on waiting for CI/merges in release command · Updated 2026-03-01 21:40:37 +00:00

139
1

1e12c1c2e4 · chore: CI: bump actions/create-github-app-token from 2.0.2 to 2.2.1 · Updated 2026-03-01 20:35:17 +00:00

139
1

e560f1b24e · chore: CI: bump actions/upload-artifact from 5 to 7 · Updated 2026-03-01 20:35:11 +00:00

139
1

277030ce43 · chore: CI: bump actions/download-artifact from 7 to 8 · Updated 2026-03-01 20:35:06 +00:00

139
1

19413a20b5 · chore: CI: bump dawidd6/action-download-artifact from 11 to 16 · Updated 2026-03-01 20:35:02 +00:00

139
1

82171a6bff · cleanups · Updated 2026-03-01 19:43:48 +00:00

144
3

82171a6bff · cleanups · Updated 2026-03-01 19:43:48 +00:00

144
3