| .. |
|
apply.lean
|
perf(compiler/ir_interpreter): do not allocate temp closure for saturated partial applications
|
2019-09-12 18:26:15 +02:00 |
|
camel.py
|
exclude export/extern, translate constants.txt
|
2019-03-21 15:06:43 -07:00 |
|
camel.sh
|
chore(tests): port tests, fix at least compiler tests
|
2019-03-21 15:11:05 -07:00 |
|
chain_uppers.py
|
chore(library): capitalize types and namespaces
|
2019-03-21 15:06:43 -07:00 |
|
check_md_links.py
|
fix(script/check_md_links.py): author name
|
2016-02-23 20:17:03 -05:00 |
|
demangle_cpptype.py
|
|
|
|
deploy_nightly.sh
|
chore(script/deploy_nightly): show git log
|
2018-03-29 14:26:25 +02:00 |
|
diff_changelogs.py
|
chore(script): fix nightlies... finally?
|
2018-03-26 16:17:42 +02:00 |
|
do_uppers.py
|
chore(library): capitalize types and namespaces
|
2019-03-21 15:06:43 -07:00 |
|
do_uppers.sh
|
chore(tests): port tests, fix at least compiler tests
|
2019-03-21 15:11:05 -07:00 |
|
dropbox_upload.py
|
|
|
|
find_uppers.py
|
chore(library): capitalize more Props
|
2019-03-21 15:06:45 -07:00 |
|
find_uppers.sh
|
chore(library): capitalize types and namespaces
|
2019-03-21 15:06:43 -07:00 |
|
gen_constants_cpp.py
|
chore(library/constants.txt): remove dead variables
|
2019-03-22 13:26:48 -07:00 |
|
gen_tokens_cpp.py
|
chore(script/gen_*): +x
|
2017-03-05 08:37:16 -08:00 |
|
lcov.sh
|
|
|
|
lib_perf.sh
|
chore(script/lib_perf): adapt to change in lean command line behavior
|
2018-09-27 13:11:42 -07:00 |
|
patch.sh
|
fix(script/patch): apply changes
|
2019-08-09 08:52:49 -07:00 |
|
port.pl
|
chore(hott): cleanup
|
2015-12-10 10:42:16 -08:00 |
|
port.txt
|
|
|
|
pre-push
|
chore: update stage0 path in script/pre-push
|
2019-11-15 18:29:57 +01:00 |
|
run_tests.sh
|
|
|
|
server_test.py
|
feat(shell/server): first version of the compile server API
|
2016-10-13 18:49:10 -07:00 |
|
setup_nightly.sh
|
chore(script/setup_nightly): fix OS X and repeated nightly builds
|
2018-03-29 09:14:48 +02:00 |
|
update-stage0
|
chore: update-stage0 output should not depend on locale
|
2020-05-20 10:35:43 +02:00 |
