Commit graph

103 commits

Author SHA1 Message Date
Christian Heitman
218e6d2f13
Fix and update CI workflows (#1441)
* Fix the OSX workflow.
* Update Bitwuzla dep to v0.9.0.
* Add support for Python 3.14 for the Wheel packages.
2026-04-09 15:08:12 -03:00
cctv130
93e1f96f32 update dockerfile 2025-12-01 01:30:20 +00:00
cctv130
697c7acbd1 mpfr 2025-11-30 15:03:48 +00:00
cctv130
afa0945993 update dockerfile 2025-11-30 14:04:40 +00:00
cctv130
fbc1b3e32e update dockerfile with quay.io/pypa/manylinux_2_34_x86_64 2025-11-30 13:55:35 +00:00
cctv130
1ffbeb7440 delete \ 2025-11-30 13:52:50 +00:00
cctv130
6020e8e6ee add deps 2025-11-30 13:38:37 +00:00
cctv130
772353fd60 fix github action 2025-10-05 13:46:39 +00:00
Christian Heitman
a8483f8f64
Update Python workflow 2025-07-22 10:54:41 -03:00
Triton Library
9015a0f210 Try to fix CI 2025-05-04 09:13:03 +02:00
Triton Library
6a62551ba9 Try to fix CI 2025-05-03 10:15:23 +02:00
Christian Heitman
1379246c93
Update build wheel script 2025-02-14 14:46:45 -03:00
Christian Heitman
01d17100a8
Remove Python 3.8 from the build wheel script 2024-12-23 17:01:08 -03:00
Christian Heitman
06d7eecde5 Update wheel docker base image 2024-12-19 08:27:41 -03:00
Christian Heitman
cebd31e231 Update dependencies 2024-12-19 08:27:41 -03:00
Christian Heitman
509dfee25e
Update Python version 2024-12-11 16:05:49 -03:00
Christian Heitman
2a34605e9b Update Python workflow 2024-10-17 21:13:03 +02:00
Antwy
46eb0f8d46 RISCV basic support 2024-07-16 17:04:24 +03:00
Khang
550c8e4023 Update Bitwuzla to 0.4.0 2024-03-17 22:58:45 -04:00
Christian Heitman
cbc6368d4d
Update workflow python 2023-12-06 18:31:11 -03:00
Christian Heitman
7ec97698eb
Update wheel build script for linux 2023-12-06 18:06:22 -03:00
Christian Heitman
6095a21c33
Update wheel build script for linux 2023-10-26 15:26:48 -03:00
Christian Heitman
7acc79d7c2
Upgrade Bitwuzla to version 0.2.0 2023-09-13 15:05:12 -03:00
Christian Heitman
357f372d95
Update python wheel docker file and build script 2023-09-13 14:14:52 -03:00
Christian Heitman
04fd303ed0 Fix python workflow for macOS 2023-08-25 09:00:34 -03:00
Christian Heitman
9aac0cad37 Improve wheel building process 2023-08-18 21:34:25 -03:00
Christian Heitman
44dbd424e9
Update python workflow 2023-08-10 14:54:27 -03:00
Christian Heitman
5b59292b68 Migrate from manylinux_2_24 to manylinux_2_28 2023-07-13 16:40:36 -03:00
Christian Heitman
0859994b1f Set Bitwuzla version to latest before v0.1.0 2023-07-13 13:14:14 -03:00
Christian Heitman
7c1b8a947b Fix Python workflow 2023-07-05 09:36:12 -03:00
Andrix44
e128f6a42e
Added Python 3.11 to the linux wheel builder script 2022-12-23 19:12:01 +01:00
Christian Heitman
e2e25ceea3
Set clang for Bitwuzla build on Python workflow 2022-09-02 17:38:19 -03:00
Christian Heitman
e585bd1a4f
Set commit for Bitwuzla build on Python workflow 2022-09-01 15:21:19 -03:00
Christian Heitman
511fa62ceb
Update Wheel build for Linux 2022-08-11 13:29:18 -03:00
Christian Heitman
54f80d8105
Add comments explaining docker scripts (#1145) 2022-07-12 16:13:31 -03:00
Christian Heitman
9aa1f8a866
Add support for LLVM in the Linux wheel package (#1145) 2022-07-09 14:28:46 -03:00
Christian Heitman
cac8bc4256
Change version number of the python package (#1145) 2022-07-08 14:41:30 -03:00
Christian Heitman
7020534028
Merge script folders (#1145) 2022-07-07 11:39:35 -03:00
Jonathan Salwan
710bc37442
Add the bswap operator (#1081) 2022-02-05 21:45:49 +01:00
Jonathan Salwan
7d296f1482
Add the possibility to add trinary operators synth 2022-01-26 12:13:53 +01:00
Jonathan Salwan
4ebbdaa576
Add unary operators for synthesis 2022-01-25 18:25:34 +01:00
Jonathan Salwan
6d736c609e
Improve naming 2022-01-25 16:04:11 +01:00
Jonathan Salwan
923b87b0e6
Improve oracle table by adding new operators 2022-01-24 21:34:13 +01:00
Jonathan Salwan
ea5c1e82b2
Add the script that generates oracle table 2022-01-24 19:56:29 +01:00
Jonathan Salwan
3884e29659
Removing the SYSCALL namespace
Triton tried to generate a SYSCALL enum. For that, during the compile Triton
needs to read the syscalls id table of the Kernel and then it generates its enum
according to the Kernel spec during the compile. However, it means that the
Triton's enum is specific to the Kernel version where it was compiled. First, as
we know, syscalls id table change from a kernel version to another and it's hard
to keep a correct enum for every version. Second, as Triton is now a cross
architecture emulator, when analyzing an aarch64 binary, the SYSCALL enum is
not the same as the one generated during the compile for x64. Third, Triton does
not need this enum to work. The enum is just provided as information.

For all these reasons, we removed this enums.
2022-01-18 11:05:32 +01:00
Jonathan Salwan
9117cec52f
Removing the Pin tracer
The Pin tracer will be removed because it uses an outdated version of Pin and
we can not support the v3 of Pin due to their PinCRT restrictions.

(WIP of #1047)
2022-01-17 20:45:21 +01:00
Anton Kochkov
711f64388f Force to use python3 binary 2020-11-25 16:20:59 +08:00
Jonathan Salwan
1f961cf825
Try appveyor VS 2017 2017-05-15 22:13:48 +02:00
pbrunet
26747ec5d9 Display more information on ctest failure. 2017-04-17 15:17:54 +02:00
pbrunet
6059a25767 Perform manual Python installation and run test in-tree. 2017-03-21 09:12:02 +01:00