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