sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
39,855 Commits 4,240 Branches 120 Tags
master
Commit Graph

303 Commits

Author SHA1 Message Date
Sebastian Ullrich
6a34b20540 chore: call ctest with -V 2019-10-29 17:08:34 +01:00
Sebastian Ullrich
264fd2b987 chore: remove obsolete prepare-commit-msg script 2019-10-04 10:51:24 +02:00
Sebastian Ullrich
8da203b91a perf(compiler/ir_interpreter): do not allocate temp closure for saturated partial applications 2019-09-12 18:26:15 +02:00
Leonardo de Moura
245d476845 fix(script/patch): apply changes 2019-08-09 08:52:49 -07:00
Leonardo de Moura
7a89d45391 feat(script): add helper script for patching lean files 2019-08-08 10:20:32 -07:00
Joe Hendrix
e5d3a40d82 chore(azure-pipelines): Ensure build is with LLVM 2019-07-31 18:21:49 -07:00
Joe Hendrix
37ff241467 feat(CMakeLists): Add option to link in LLVM. 
This updates cmake and Lean to link against the LLVM libraries.
 2019-07-31 18:21:49 -07:00
Sebastian Ullrich
b343e45958 chore(script/prepare-commit-msg): fix suffix pattern 2019-07-05 16:22:06 +02:00
Sebastian Ullrich
2c9dce6eed fix(runtime/mpz): use size_t instead of unsigned long for Windows compatibility 2019-07-05 11:24:15 +02:00
Sebastian Ullrich
66c85c968a chore(azure-pipelines.yml): Azure Pipelines CI 2019-07-05 11:24:15 +02:00
Sebastian Ullrich
9b4fcf572c chore(script/prepare-commit-msg): whitelist extensions to be autoremoved 2019-07-04 14:31:54 +02:00
Leonardo de Moura
e080909ba7 chore(gen/apply): move to script 2019-06-07 11:05:14 -07:00
Sebastian Ullrich
51fe185989 chore(script/prepare-commit-msg): fix shebang 2019-05-05 23:24:24 +02:00
Leonardo de Moura
50207e2c5a chore(library/constants.txt): remove dead variables 2019-03-22 13:26:48 -07:00
Sebastian Ullrich
f34d37c371 chore(tests): port tests, fix at least compiler tests 2019-03-21 15:11:05 -07:00
Sebastian Ullrich
20451918a6 fix(library/constants): more Io -> IO 2019-03-21 15:11:05 -07:00
Sebastian Ullrich
cf72e97455 chore(library): capitalize more Props 2019-03-21 15:06:45 -07:00
Sebastian Ullrich
4b3ca1f679 fix(script/gen_constants_cpp): do not insert '_' between two upper case letters 2019-03-21 15:06:45 -07:00
Leonardo de Moura
d78ad40aaf feat(script/gen_constants_cpp.py): support for provifing custom C name 2019-03-21 15:06:44 -07:00
Leonardo de Moura
9d5ab01647 fix(script/gen_constants_cpp): snake_case conversion 2019-03-21 15:06:43 -07:00
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