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

311 commits

Author SHA1 Message Date
Sebastian Ullrich
984fec7387 refactor: move update-stage0 out of Makefile 2020-05-14 14:47:54 +02:00
Sebastian Ullrich
279746fa6a chore: change stage1-3 into homogeneous ExternalProjects from new top-level /CMakeLists.txt 
This ensures stage2+3 are full, standalone Lean installations
 2020-05-14 14:47:54 +02:00
Sebastian Ullrich
7d0833e05a chore: extended CI checks 2019-12-07 21:51:59 +01:00
Leonardo de Moura
a8578b4354 chore: remove old files 2019-12-05 08:24:20 -08:00
Sebastian Ullrich
82a0991df6 chore: switch to Github Actions 2019-11-21 13:11:16 -08:00
Sebastian Ullrich
353b511e9b chore: CI: close ctest's stdin 
Apparently CMake reverted auto-closing stdin for ctest in a recent release because people relied on the old behavior...

Perhaps we should add this to all test scripts instead, but this CI fix is easier
 2019-11-17 21:24:33 +01:00
Sebastian Ullrich
aa380ff505 chore: update stage0 path in script/pre-push 2019-11-15 18:29:57 +01:00
Sebastian Ullrich
cf381f68b7 chore: revert "chore: call ctest with -V" 
This reverts commit 6a34b20540.
 2019-11-06 10:13:52 -08:00
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