|
|
ddc0e44c61
|
core/model: add util::gen_for_model
|
2024-08-30 13:42:39 +08:00 |
|
|
|
d1c7a8ee50
|
StructKind::{traverse -> iter}_fields
|
2024-08-30 12:51:17 +08:00 |
|
|
|
e0524c19eb
|
Newline "Otherwise, it will be caught..."
|
2024-08-30 12:51:17 +08:00 |
|
|
|
32822f9052
|
gep_index must be u32
|
2024-08-30 12:51:17 +08:00 |
|
|
|
6283036815
|
FieldTraversal::{Out -> Output}
|
2024-08-30 12:51:17 +08:00 |
|
|
|
f167f5f215
|
Ptr::copy_from to use SizeT
|
2024-08-30 12:51:17 +08:00 |
|
|
|
baf8ee2b3d
|
Ptr::offset_const offset i64, can be negative
|
2024-08-30 12:51:17 +08:00 |
|
|
|
d68760447f
|
Int::const_int to have sign_extend
|
2024-08-30 12:51:17 +08:00 |
|
|
|
fdd194ee2a
|
FnCall::{begin -> builder}
|
2024-08-30 12:51:17 +08:00 |
|
|
|
5fca81c68e
|
CallFunction -> FnCall
|
2024-08-30 12:51:17 +08:00 |
|
|
|
0562e9a385
|
Instance add newline
|
2024-08-30 12:51:17 +08:00 |
|
|
|
36af473816
|
unsafe Model::believe_value
|
2024-08-30 12:51:17 +08:00 |
|
|
|
7c7e1b3ab8
|
Model::{sizeof -> size_of}
|
2024-08-30 12:51:17 +08:00 |
|
|
|
dbcfc9538a
|
ArrayLen::{get_length -> length}
|
2024-08-30 12:51:17 +08:00 |
|
|
|
5c4ba09e2f
|
LenKind -> ArrayLen
|
2024-08-30 12:51:17 +08:00 |
|
|
|
eb34b99ee9
|
core/model: renaming and add notes on upgrading Ptr to LLVM 15
|
2024-08-30 12:51:17 +08:00 |
|
|
|
d397b9ceaa
|
core/model: introduce models
|
2024-08-30 12:51:17 +08:00 |
|
