max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
15976 commits 1 branch 0 tags 5.3 GiB
Commit graph

83 commits

Author SHA1 Message Date
Leonardo de Moura
ef85657c90 feat(script/gen_constants_cpp): generate snake_case C++ function names 2019-03-21 15:06:43 -07:00
Sebastian Ullrich
beda5f5f43 chore(library): capitalize types and namespaces 2019-03-21 15:06:43 -07:00
Sebastian Ullrich
f7aeeaf237 exclude export/extern, translate constants.txt 2019-03-21 15:06:43 -07:00
Sebastian Ullrich
b939162168 chore(library): switch from snake_case to camelCase 2019-03-21 15:06:43 -07:00
Sebastian Ullrich
0db283023c chore(src/boot): rename to stage0 2019-03-18 17:14:30 +01:00
Sebastian Ullrich
f964ec3bc8 chore(CMakeLists): style_check: ignore src/boot/ 2019-02-07 15:41:12 +01:00
Leonardo de Moura
78de3de764 chore(script/lib_perf): adapt to change in lean command line behavior 2018-09-27 13:11:42 -07:00
Sebastian Ullrich
37e5f03351 refactor(library/system/io): move into init 2018-08-21 08:43:09 -07:00
Sebastian Ullrich
dedff7d295 chore(script/prepare-commit-msg): strip 'src/' prefix 2018-08-02 14:45:37 -07:00
Sebastian Ullrich
3127553e72 chore(script/prepare-commit-msg): filter out .expected.out files 2018-07-30 17:30:20 -07:00
Sebastian Ullrich
a91de26c90 chore(script/prepare-commit-msg): use file with largest diff 2018-07-19 18:49:31 +02:00
Sebastian Ullrich
42d58580e6 chore(script/prepare-commit-msg): remove file extension, guess change type 2018-06-12 17:39:59 +02:00
Sebastian Ullrich
ad1422890e chore(script/prepare-commit-msg): fix 2018-06-07 16:55:36 +02:00
Sebastian Ullrich
9d36bd057c chore(script/prepare-commit-msg): add simple commit message generator 2018-06-07 14:57:13 +02:00
Sebastian Ullrich
f0cee8181d chore(script/pre-push): include in repo 2018-06-07 14:57:13 +02:00
Leonardo de Moura
3df91f1567 chore(*): fix tests 2018-05-21 06:57:43 -07:00
Leonardo de Moura
1e11611388 chore(library): cleanup constants.txt 2018-04-12 16:43:11 -07:00
Sebastian Ullrich
65cb5e2bea chore(script/deploy_nightly): show git log 2018-03-29 14:26:25 +02:00
Sebastian Ullrich
56f823b328 chore(script/setup_nightly): fix OS X and repeated nightly builds 2018-03-29 09:14:48 +02:00
Sebastian Ullrich
43d923c908 chore(script): fix nightlies... finally? 2018-03-26 16:17:42 +02:00
Sebastian Ullrich
0d146918d8 chore(script): fix nightly deployment 2018-03-26 12:55:27 +02:00
Sebastian Ullrich
0c0646f03b chore(leanpkg/lean_version): recognize nightlies as releases separate from master 2018-03-20 15:14:45 -07:00
Sebastian Ullrich
e24735571a chore(.appveyor.yml,.travis.yml): use daily cron job for nightlies instead of first commit of the day 
This makes sure the latest commit will always be included in a nightly after at
most 24 hours
 2018-03-20 15:14:45 -07:00
Sebastian Ullrich
796baa19cb chore(.appveyor,.travis): proper nightly builds 2018-03-20 15:14:45 -07:00
Sebastian Ullrich
0c23dab452 chore(script/lib_perf): make interruptible and fix uninitialized variable 2018-02-19 09:13:24 -08:00
Sebastian Ullrich
7e4f348b8c chore(script/test_registry): Replace with leanpkg. Execute in every artifact-producing build configuration. 2017-12-20 14:01:45 -08:00
Leonardo de Moura
9334a76810 chore(script/package_registry): remove library_dev from test suite 2017-08-17 07:41:35 -07:00
Sebastian Ullrich
5539be0dcc chore(script/deploy_gh_pages): --reset-author 2017-07-27 10:23:16 +02:00
Sebastian Ullrich
2e200535fb chore(script/deploy_gh_pages): upload to new lean-nightly repo 2017-07-26 17:17:48 +02:00
Sebastian Ullrich
99b4c8714d chore(.appveyor.yml,.travis.yml): simplify using glob patterns 2017-07-26 17:13:34 +02:00
Sebastian Ullrich
cb325e85fa fix(script/deploy_gh_pages): use --amend 2017-07-26 17:02:00 +02:00
Sebastian Ullrich
a54ac12918 chore(.appveyor.yml,.travis.yml,CMakeLists): set Lean version string to "nightly" for nightly builds to make artifact name and contents version-independent 2017-07-25 17:57:53 +02:00
Sebastian Ullrich
586d355703 feat(.travis.yml): deploy nightly builds to Github Pages 2017-07-25 13:33:36 +02:00
Sebastian Ullrich
8849df0d3e chore(script/test_registry): don't stop on failure 2017-06-09 20:30:48 +02:00
Sebastian Ullrich
4e4dc98c87 chore(script/test_registry): use absolute path to leanpkg 2017-05-31 10:10:48 -07:00
Sebastian Ullrich
f87f35d623 chore(.travis.yml.in,script/test_registry): fix build 2017-05-31 10:10:48 -07:00
Jared Roesch
0ab3869a6a feat(script/test_registry): enable travis script 2017-05-31 10:10:48 -07:00
Jared Roesch
28246a34e1 feat(scripts): add prototype script for building pkg registry 2017-05-31 10:10:48 -07:00
Sebastian Ullrich
04f1d114a3 chore(script/gen_constants_cpp): make it run from anywhere 2017-03-09 20:30:03 -08:00
Leonardo de Moura
9d3c0497cb chore(frontends/lean): rename transient commands 
See issue #1432
 2017-03-09 18:41:19 -08:00
Sebastian Ullrich
4bad1bea82 chore(script/gen_*): +x 2017-03-05 08:37:16 -08:00
Sebastian Ullrich
908a7bd9f3 feat(frontends/lean/parser): expr patterns 2017-02-23 01:52:13 +01:00
Leonardo de Moura
7c57d23b46 feat(kernel): add compilation flags for disabling has_local optimization and abstraction cache 2017-02-21 19:46:31 -08:00
Leonardo de Moura
19cf5e916b chore(script/gen_constants_cpp): generates a warning if automatically generated C++ function is not used in the source code 2017-02-21 12:05:41 -08:00
Leonardo de Moura
d1d5428808 feat(library): add check_constants.lean validation, cleanup unused names, minor stdlib fixes 2017-02-21 10:45:31 -08:00
Gabriel Ebner
92f07720f2 refactor(emacs/load-lean): install emacs dependencies directly from (M)ELPA 2016-12-02 16:50:50 -08:00
Gabriel Ebner
d78a2171ec feat(shell/server): first version of the compile server API 2016-10-13 18:49:10 -07:00
Soonho Kong
f38af35e06 fix(script/check_md_links.py): author name 2016-02-23 20:17:03 -05:00
Soonho Kong
e6895e3619 chore(script/check_md_links.py): add copyright 2016-02-23 18:03:15 -05:00
Soonho Kong
ff1352fcf2 fix(script/check_md_links.py): import print_function from __future__ 2016-02-23 18:02:44 -05:00