Marc Huisinga
3025a4a9a1
chore: update stage0 ( #2992 )
...
Updates stage-0 so that we can use import auto-completion ourselves.
2023-11-29 15:26:12 +00:00
Sebastian Ullrich
79251f5fa2
feat: embed and check githash in .olean ( #2766 )
...
This is an additional safety net on top of #2749 : it protects users that
circumvent the build system (e.g. with `lake env`) as well as obviates
the need for TOCTOU-like race condition checks in the build system.
The check is activated by `CHECK_OLEAN_VERSION=ON`, which now defaults
to `OFF` as the sensible default for local development. When activated,
`USE_GITHASH=ON` is also force-enabled for stage 0 in order to make sure
that stage 1 can load its own core library.
2023-11-27 10:24:43 +00:00
Joachim Breitner
0adca630cc
chore: update stage0
2023-11-21 18:59:22 +01:00
Sebastian Ullrich
6c5f79c0df
chore: update stage0
2023-10-26 10:47:14 +02:00
SADIK KUZU
e0802d2dea
fix: typos in specialize.cpp ( #2702 )
2023-10-17 00:58:10 +00:00
Alexander Bentkamp
7dc1618ca5
feat: Web Assembly Build ( #2599 )
...
Co-authored-by: Rujia Liu <rujialiu@user.noreply.github.com>
2023-10-04 09:04:20 +02:00
Sebastian Ullrich
c2a5730bc9
chore: update stage0
2023-09-13 17:45:54 +02:00
Leonardo de Moura
fac9e64cdf
chore: update stage0
2023-08-13 09:56:29 -07:00
Siddharth Bhat
96c59ccced
chore: update stage0
2023-07-25 11:03:16 +02:00
Mario Carneiro
0c624d8023
chore: update stage0
2023-06-02 16:19:02 +02:00
Gabriel Ebner
d58f552b84
chore: update stage0
2023-04-10 13:00:04 -07:00
Sebastian Ullrich
97b4143e14
chore: update stage0
2023-03-15 10:55:42 +01:00
Sebastian Ullrich
9d013ba3f5
chore: update stage0
2023-02-08 12:11:41 +01:00
Leonardo de Moura
5424386c0d
chore: update stage0
2023-01-03 14:14:50 -08:00
Sebastian Ullrich
4fa8d003d8
chore: update stage0
2022-12-13 22:15:05 +01:00
Gabriel Ebner
c83e33b06a
chore: update stage0
2022-12-01 20:18:14 -08:00
Leonardo de Moura
17855b6e90
chore: update stage0
2022-11-24 12:57:43 -08:00
Leonardo de Moura
14d37739c7
chore: update stage0
2022-11-19 07:55:34 -08:00
Sebastian Ullrich
64ec4106c3
chore: update stage0
2022-11-11 13:45:41 +01:00
Leonardo de Moura
65caa8f2c4
chore: update stage0
2022-11-07 18:20:48 -08:00
Mario Carneiro
e86b8c65a8
chore: update stage0
2022-10-19 09:28:08 -07:00
Gabriel Ebner
2649b4facd
chore: update stage0
2022-10-11 17:24:35 -07:00
Leonardo de Moura
91999d22eb
chore: update stage0
2022-07-24 18:08:31 -07:00
Gabriel Ebner
e0104b94e5
chore: update stage0
2022-07-11 14:19:41 -07:00
Leonardo de Moura
3c7053635b
chore: update stage0
2022-07-08 15:31:26 -07:00
Leonardo de Moura
5455c16fc5
chore: update stage0
2022-07-07 23:41:00 -07:00
Leonardo de Moura
8f8bb8c940
chore: update stage0
2022-07-07 23:01:06 -07:00
Leonardo de Moura
d6a73bf03c
chore: update stage0
2022-07-07 20:26:40 -07:00
Leonardo de Moura
13a49da496
chore: update stage0
2022-07-05 13:25:50 -07:00
Leonardo de Moura
cbe05441a5
chore: update stage0
2022-07-02 07:29:58 -07:00
Leonardo de Moura
e8891986f2
chore: update stage0
2022-06-29 15:37:30 -07:00
Sebastian Ullrich
0f6e6c8a51
chore: update stage0
2022-06-16 23:33:57 +02:00
Leonardo de Moura
b4c1163f8f
chore: update stage0
2022-05-26 14:22:38 -07:00
Leonardo de Moura
eaea5c4773
chore: update stage0
2022-05-04 15:28:49 -07:00
Sebastian Ullrich
ca8fdcaa0c
chore: update stage0
2022-04-15 08:50:46 -07:00
Leonardo de Moura
f2c3685e83
chore: update stage0
2022-04-13 10:20:41 -07:00
Sebastian Ullrich
6841f37662
chore: update stage0
2022-04-06 19:43:07 +02:00
Leonardo de Moura
d4d5d3693e
chore: update stage0
2022-03-25 18:18:03 -07:00
Leonardo de Moura
3edb0ede04
chore: update stage0
2022-03-10 08:56:06 -08:00
Leonardo de Moura
3b7ada0b35
chore: update stage0
2022-03-08 17:58:20 -08:00
Leonardo de Moura
7d8cb84834
chore: update stage0
2022-02-25 08:50:05 -08:00
Leonardo de Moura
3f0be7901e
chore: update stage0
2022-02-17 10:52:34 -08:00
Leonardo de Moura
7c0a790774
chore: update stage0
2022-01-20 15:10:13 -08:00
Leonardo de Moura
b142f709e1
chore: update stage0
2022-01-17 16:55:31 -08:00
Leonardo de Moura
a272b222f1
chore: update stage0
2022-01-17 13:08:00 -08:00
Leonardo de Moura
23e27f657f
chore: update stage0
2022-01-14 20:29:26 -08:00
Leonardo de Moura
9c5668515c
chore: update stage0
2022-01-14 19:21:29 -08:00
Gabriel Ebner
5cdaeac36f
chore: update stage0
2022-01-03 07:13:55 -08:00
Sebastian Ullrich
75233a40f7
chore: update stage0
2022-01-03 13:46:56 +01:00
Leonardo de Moura
dbe96a4434
chore: update stage0
2021-12-16 15:48:29 -08:00
