36 commits

Author	SHA1	Message	Date
cctv130	6020e8e6ee	add deps	2025-11-30 13:38:37 +00:00
cctv130	e857395d82	update docker use share library	2025-10-14 11:07:33 +00:00
cctv130	772353fd60	fix github action	2025-10-05 13:46:39 +00:00
Christian Heitman	c907e5870f	Update Unicorn	2025-02-14 15:55:03 -03:00
Christian Heitman	96936b61d8	Update Dockerfile	2024-12-11 14:00:39 -03:00
llaubin	afeb3c2f23	Upgrade to Ubuntu 22.04 & Fix Dockerfile issue with Python version > 3.9	2024-10-21 16:53:59 -03:00
Antwy	b96f2d4715	Fix riscv semantics	2024-07-16 17:04:24 +03:00
Antwy	46eb0f8d46	RISCV basic support	2024-07-16 17:04:24 +03:00
PsiFunction	baf01bdef4	+ add tests for new aarch64 instructions ... - capstone 4.0.1 from ci	2024-05-30 10:10:38 +03:00
Khang	550c8e4023	Update Bitwuzla to 0.4.0	2024-03-17 22:58:45 -04:00
Manuel Carrasco	83332bbcf8	Fix Z3 version.	2023-12-05 16:30:31 -03:00
Manuel Carrasco	66222f7a30	Fix inconsistent Z3 dependency and missing testing dependencies.	2023-12-05 16:30:31 -03:00
Triton Library	fe6af67c57	Update Dockerfile	2023-11-12 12:04:47 +01:00
Christian Heitman	639aed2848	Update Dockerfile	2023-08-16 09:38:32 -03:00
Christian Heitman	0859994b1f	Set Bitwuzla version to latest before v0.1.0	2023-07-13 13:14:14 -03:00
Christian Heitman	896de394ef	Fix Dockerfile	2023-07-05 09:36:12 -03:00
Jonathan Salwan	774655d425	Fix Bitwuzla compile for CI (part 2)	2022-09-29 12:57:43 +02:00
Brandon Ros	49924d776a	prevent apple m1 defaulting dockerfile to arm64 by specifying intent for amd64	2022-06-11 01:52:09 -04:00
Jonathan Salwan	b4b9721223	FIX #1105: Allow the user to choose between Boost and wide-integer	2022-03-17 21:41:16 +01:00
Alberto Garcia Illera	d3769549c2	Get rid of boost in CI and docs ... include iostream in pyBitsVector.cpp	2022-02-28 19:22:00 +11:00
Simone Aonzo	45259d6840	Dockerfile with cmake >= 3.20	2022-02-18 20:26:30 +01:00
Jonathan Salwan	04e07e113f	#1094: fix cmake (thx @mrexodia)	2022-02-18 10:12:59 +01:00
Simone Aonzo	a9499ab351	Dockerfile for Triton with LLVM, Z3, and bitwuzla	2022-02-17 15:35:07 +01:00
Pierpaolo Agamennone	78c728d2ab	Fix import triton on Python3 ... The environment variable $PYTHONPATH is empty. With an extra command during build of docker container I insert "/usr/lib/python<version>/site-packages" into that variable and 'import triton' works.	2021-12-09 17:59:14 +01:00
Anton Kochkov	39a81f6b69	Update Z3 to 4.8.9	2020-09-11 18:21:23 +08:00
Jonathan Salwan	edf316d7c0	Update Docker CI	2020-06-29 16:32:40 +02:00
Jonathan Salwan	d81153823b	Update Docker CI	2020-06-29 14:37:55 +02:00
Anton Kochkov	4f62db6189	Update Docker	2020-06-19 20:58:55 +08:00
Alexey Nurmukhametov	c008ee23d7	Update dependency versions in Dockerfile	2020-02-07 17:16:33 +03:00
Jonathan Salwan	235cf7930c	Fix #637: Bad z3 version in the dockerfile	2017-12-13 11:50:42 +01:00
David Manouchehri	7d9ff355b2	Update to Xenial.	2017-12-02 16:50:39 -05:00
Jonathan Salwan	21e0477558	Fix the Dockerfile	2016-06-19 17:28:55 +02:00
Jonathan Salwan	68782af2e5	Update cmake and options	2016-05-01 10:46:44 +02:00
Jonathan Salwan	be1f71a5c2	Little fix with the dockerfile	2016-03-07 18:10:18 +01:00
Pete	6a2d2ab2bc	Updated Dockerfile to use Ubuntu 15.10, and to build Triton with -DKERNEL4=yes and -DPINTOOL=yes also moved triton to the pin directory in /opt	2016-03-07 12:00:19 -05:00
Pete	737c02e786	Added a Dockerfile to generate a container with Ubuntu 14.04 with Trition	2016-03-07 10:26:02 -05:00