Skip to content

Commit 5bf6229

Browse files
author
Lean stage0 autoupdater
committed
chore: update stage0
1 parent 2afca2d commit 5bf6229

File tree

466 files changed

+256975
-472858
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

466 files changed

+256975
-472858
lines changed

‎stage0/src/stdlib_flags.h‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
#include "util/options.h"
22

3+
// stage0 update needed for grind_annotated command
34
namespace lean {
45
options get_default_options() {
56
options opts;

‎stage0/stdlib/Init/Data/List/Lemmas.c‎

Lines changed: 5 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Init/Data/String/Basic.c‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Init/Data/String/Defs.c‎

Lines changed: 10 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Init/Grind.c‎

Lines changed: 5 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Init/Grind/Annotated.c‎

Lines changed: 218 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)