Pei Mu
Hi, I got such error info while trying with `./newton-linux-EN --llvm-ir=../../applications/newton/llvm-ir/e_exp.ll --llvm-ir-liveness-check ../../applications/newton/sensors/test.nt`. Through the `gdb` tool to backtrace it, such info has shown: ```bash GNU gdb (Ubuntu 7.11.1-0ubuntu1~16.5) 7.11.1...
It will be very helpful if we could collect the cover rate of the range analysis (e.g. how many percentages of variables can we infer for each case) and how...
When we analyze the function `asuint` in the test case `sincosf.c`, it always gives the result range as `[0, 0]`. The IR is: ```C ; Function Attrs: noinline nounwind uwtable...
Test case: 1. `e_rem_pio2` with `range bmx055xAcceleration == [-0.900000 mjf, -0.400000 mjf ], range bmx055yAcceleration == [1 mjf, 16 mjf],` 2. ` sincosf` with `range bmx055xAcceleration == [3 mjf, 10...
The current test framework uses `perf` tool. But it will be more accurate to use `timer` function.
As we discussed before, it might also be very helpful to do type shrinkage and memory alignment.
The `applications/newton/llvm-ir/state-estimator` seems an important real-world application, and it's could be very useful to run this application as an executable file. Then we can run it in the benchmarks to...
### What happens? This is similar to #10749 but with primary key and foreign key constraints on Debian 12. When I was loading the `title` table from a csv file,...