Sebastian Ullrich 7809b269ca chore: avoid xargs in update-stage0		2022-11-20 10:22:20 -08:00
..
apply.lean	chore: update script/apply.lean semantics	2022-11-07 19:47:04 -08:00
diff_changelogs.py	chore(script): fix nightlies... finally?	2018-03-26 16:17:42 +02:00
gen_constants_cpp.py	fix: gen_constants_cpp.py: mark constants as persistent	2020-11-29 18:59:39 +01:00
gen_tokens_cpp.py	chore(script/gen_*): +x	2017-03-05 08:37:16 -08:00
patch.sh	fix(script/patch): apply changes	2019-08-09 08:52:49 -07:00
prepare-llvm-linux.sh	Bump up to LLVM 15 (#1691)	2022-10-14 14:43:13 +00:00
prepare-llvm-macos.sh	Bump up to LLVM 15 (#1691)	2022-10-14 14:43:13 +00:00
prepare-llvm-mingw.sh	Bump up to LLVM 15 (#1691)	2022-10-14 14:43:13 +00:00
reformat.lean	chore: update script/reformat.lean	2022-05-13 11:55:44 +02:00
update-stage0	chore: avoid xargs in update-stage0	2022-11-20 10:22:20 -08:00