Revert "chore: update stage0"

This reverts commit fa34d72.
leanprover · Aug 8, 2024 · ee52324 · ee52324
1 parent fa34d72
commit ee52324
Show file tree

Hide file tree

Showing 8 changed files with 22 additions and 1,316 deletions.
diff --git a/stage0/stdlib/Lean/Compiler/IR/EmitC.c b/stage0/stdlib/Lean/Compiler/IR/EmitC.c
diff --git a/stage0/stdlib/Std.c b/stage0/stdlib/Std.c
diff --git a/stage0/stdlib/Std/Sat.c b/stage0/stdlib/Std/Sat.c
diff --git a/stage0/stdlib/Std/Sat/CNF.c b/stage0/stdlib/Std/Sat/CNF.c