|
|
236032b888
|
Ptr instance offset_const can be negative + use i64_type()
|
2024-08-28 13:02:03 +08:00 |
|
|
|
fe851f7ccd
|
const_int sign_extend
|
2024-08-28 12:58:57 +08:00 |
|
|
|
ec1ee223a0
|
attempt to reduce lifetimes in FnCall
|
2024-08-28 12:56:43 +08:00 |
|
|
|
c1281db0cd
|
CallFunction -> FnCall
|
2024-08-28 12:55:19 +08:00 |
|
|
|
1e65f16f1e
|
ModelError ///
|
2024-08-28 12:54:20 +08:00 |
|
|
|
5f95d1530a
|
FloatKind::{get_float_type -> float_type}
|
2024-08-28 12:53:55 +08:00 |
|
|
|
cc5950e88c
|
IntKind::{get_int_type -> int_type}
|
2024-08-28 12:53:37 +08:00 |
|
|
|
44ee84b1d0
|
trait bound everything
|
2024-08-28 12:51:55 +08:00 |
|
|
|
0c73eecc19
|
format: newline between fields in Instance
|
2024-08-28 12:19:27 +08:00 |
|
|
|
9113093f9f
|
sizeof -> size_of
|
2024-08-28 12:18:47 +08:00 |
|
|
|
a2937e1742
|
get_type* -> llvm_type*
|
2024-08-28 12:18:23 +08:00 |
|
|
|
40aa27c42c
|
array use i64_type().const_int for GEP
|
2024-08-28 12:16:55 +08:00 |
|
|
|
d12fb99ded
|
unsafe believe_value
|
2024-08-28 12:04:10 +08:00 |
|
|
|
2e4a33d6ee
|
ArrayLen::{get_length -> length}
|
2024-08-28 12:01:12 +08:00 |
|
|
|
88b51acd0e
|
LenKind -> ArrayLen
|
2024-08-28 12:00:52 +08:00 |
|
|
|
4e714cb53b
|
redesign
|
2024-08-28 11:47:57 +08:00 |
|
|
|
dfbbe66154
|
core/model: renaming and add notes on upgrading Ptr to LLVM 15
|
2024-08-27 10:42:57 +08:00 |
|
|
|
696575aa77
|
core/model: introduce models
|
2024-08-27 10:42:57 +08:00 |
|
|
|
048950b7f0
|
standalone: reformat demo.c
|
2024-08-27 10:37:46 +08:00 |
|
|
|
38be74d5fe
|
core/irrt: add exceptions and debug utils
|
2024-08-27 10:36:51 +08:00 |
|
|
|
fb41645863
|
core/irrt: split into headers
|
2024-08-27 10:31:49 +08:00 |
|
|
|
fce5ba3dbf
|
core/irrt: build.rs capture IR defined constants
|
2024-08-27 10:28:39 +08:00 |
|
|
|
4c0f976ef1
|
core/irrt: build.rs capture IR defined types
|
2024-08-27 10:28:33 +08:00 |
|
|
|
96073fe6bc
|
core/irrt: use +std=c++20 to compile
To explicitly set the C++ variant and avoid inconsistencies.
|
2024-08-27 10:28:17 +08:00 |
|
|
|
aabd682664
|
core/irrt: reformat
|
2024-08-27 10:28:01 +08:00 |
|
|
|
4065f98447
|
add .clang-format
|
2024-08-27 10:27:31 +08:00 |
|
|
|
e00ff7f4e6
|
core/irrt: comment build.rs & move irrt to nac3core/irrt
|
2024-08-27 10:26:20 +08:00 |
|
|
|
c5ae0e7c36
|
[standalone] Add tests for tuple equality
|
2024-08-21 16:25:32 +08:00 |
|
|
|
b8dab6cf7c
|
[standalone] Add tests for string equality
|
2024-08-21 16:25:32 +08:00 |
|
|
|
4d80ba38b7
|
[core] codegen/expr: Implement comparison of tuples
|
2024-08-21 16:25:32 +08:00 |
|
|
|
33929bda24
|
[core] typecheck/typedef: Add support for tuple methods
|
2024-08-21 16:25:32 +08:00 |
|
|
|
a8e92212c0
|
[core] codegen/expr: Implement string equality
|
2024-08-21 16:25:32 +08:00 |
|
|
|
908271014a
|
[core] typecheck/magic_methods: Add equality methods to string
|
2024-08-21 16:25:32 +08:00 |
|
|
|
c407622f5c
|
[core] codegen/expr: Add compilation error for unsupported cmpop
|
2024-08-21 15:46:13 +08:00 |
|
|
|
d7952d0629
|
[core] codegen/expr: Fix assertions not generated for -O0
|
2024-08-21 15:36:54 +08:00 |
|
|
|
ca1395aed6
|
[core] codegen: Remove redundant return
|
2024-08-21 15:36:54 +08:00 |
|
|
|
7799aa4987
|
[meta] Do not specify rev in dependency version
|
2024-08-21 15:36:54 +08:00 |
|
|
|
76016a26ad
|
[meta] Apply clippy suggestions
|
2024-08-21 13:07:57 +08:00 |
|
|
|
8532bf5206
|
standalone: add missing test_ndarray_ceil() run
|
2024-08-21 11:39:00 +08:00 |
|
|
|
2cf64d8608
|
apply clippy comment changes
|
2024-08-21 11:21:10 +08:00 |
|
|
|
706759adb2
|
artiq: apply cargo fmt
|
2024-08-21 11:21:10 +08:00 |
|
|
|
b90cf2300b
|
core/fix: add missing lifetime in gen_for*
|
2024-08-21 11:05:30 +08:00 |
|
|
|
0fc26df29e
|
flake: update nixpkgs
|
2024-08-19 23:53:15 +08:00 |
|
|
|
0b074c2cf2
|
[artiq] symbol_resolver: Set private linkage for constants
|
2024-08-19 14:41:43 +08:00 |
|
|
|
a0f6961e0e
|
cargo: update dependencies
|
2024-08-19 13:15:03 +08:00 |
|
|
|
b1c5c2e1d4
|
[artiq] Fix RPC of ndarrays to host
|
2024-08-15 15:41:24 +08:00 |
|
|
|
69320a6cf1
|
[artiq] Fix LLVM representation of strings
Should be `%str` rather than `[N x i8]`.
|
2024-08-14 09:30:08 +08:00 |
|
|
|
9e0601837a
|
core: Add compile-time feature to disable escape analysis
|
2024-08-14 09:29:48 +08:00 |
|
|
|
432c81a500
|
core: update insta after #489
|
2024-08-13 15:30:34 +08:00 |
|
|
|
6beff7a268
|
[artiq] Implement core_log and rtio_log in terms of polymorphic_print
Implementation mostly references the original implementation in Python.
|
2024-08-13 15:19:03 +08:00 |
|
