4370 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Christian Heitman	f944d273b3	Update macOS workflow	2026-04-15 16:58:32 -03:00
Christian Heitman	65ce44a39a	Update coverage workflow	2026-04-15 16:58:20 -03:00
Christian Heitman	d9e571ea07	Rename macOS workflow	2026-04-15 16:52:41 -03:00
Christian Heitman	3e88d9c2df	Update vcpkg workflow	2026-04-14 15:26:55 -03:00
Christian Heitman	2f811afc92	Update vcpkg manifest	2026-04-14 15:26:48 -03:00
Christian Heitman	12fb3c2742	Update cmake presets	2026-04-14 10:04:47 -03:00
Christian Heitman	fabc643f21	Rename macOS vcpkg triplet	2026-04-14 10:04:47 -03:00
Christian Heitman	0a99dfa3a7	Refactor Python workflow	2026-04-14 10:04:43 -03:00
Christian Heitman	0f8b2a3bf4	Update Docker workflow	2026-04-14 10:04:43 -03:00
Christian Heitman	f70b6d6b96	Add Windows workflow	2026-04-14 10:04:39 -03:00
Christian Heitman	0624866114	Add CI action for installing Triton deps on Windows	2026-04-14 10:04:35 -03:00
Christian Heitman	ffeb023d7f	Refactor macOS workflow	2026-04-14 10:04:30 -03:00
Christian Heitman	02f75c6c77	Add CI action for installing Triton deps on macOS	2026-04-14 10:04:25 -03:00
Christian Heitman	8e91799dc1	Refactor Linux workflow	2026-04-14 10:04:21 -03:00
Christian Heitman	2a53c6f51a	Refactor Coverage workflow	2026-04-14 10:04:20 -03:00
Christian Heitman	0ca35eb224	Add CI action for installing Triton deps on Linux	2026-04-14 10:04:13 -03:00
Christian Heitman	4086acdb13	Comment all workflows (temporarily)	2026-04-10 10:32:00 -03:00
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
Triton Library	5ce2ad461d	Upgrade osx ci	2026-03-08 21:30:10 +01:00
Triton Library	9f5b43ee19	Fix osx CI deps	2026-03-08 19:54:38 +01:00
Triton Library	5ff8e9aca0	Fix Build Python Package CI deps	2026-03-08 19:29:52 +01:00
Triton Library	d9a4f81c1b	Fix osx CI deps	2026-03-08 19:25:08 +01:00
Triton Library	cebdda3a5c	Merge branch 'dev-v1.0' of github.com:JonathanSalwan/Triton into dev-v1.0	2026-03-08 19:08:21 +01:00
Triton Library	b41f0e0870	Fix osx CI deps	2026-03-08 19:07:56 +01:00
Jonathan Salwan	d66a9d94e3	Merge pull request #1433 from cctv130/dev-v1.0 ... Dev v1.0	2025-12-02 08:45:33 +01:00
cctv130	1dcf63cc26	Update setup.py	2025-12-02 04:49:13 +08:00
cctv130	5a02087e2f	Update setup.py	2025-12-01 20:24:56 +08:00
cctv130	ccb586e527	Update setup.py	2025-12-01 16:10:40 +08:00
cctv130	2b1d0ad8fc	update setup.py	2025-12-01 07:53:18 +00:00
cctv130	09a4bbb4ec	update cmakelists.txt	2025-12-01 03:10:07 +00:00
cctv130	bdfa33f976	update setup.py	2025-12-01 02:51:13 +00:00
cctv130	1787f69129	update setup.py	2025-12-01 02:04:01 +00: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	ede0580d70	Add Windows build method	2025-11-30 12:57:42 +00:00
Jonathan Salwan	9ce30cc75c	Merge pull request #1432 from JexAmro/fix-bvxor-symbolic-optimization ... Fix AST optimization bug incorrectly eliminating symbolic expressions	2025-11-20 17:49:05 +01:00
Jex Amro	a34d106338	Fix AST optimizations incorrectly eliminating symbolic expressions ... Three optimizations (A^A=0, A|A=A, A-A=0) were using equalTo() to detect identical operands. However, equalTo() compares concrete values rather than AST structure, causing different symbolic expressions with the same concrete value to be incorrectly identified as equal. This caused the optimizer to eliminate symbolic information: - bvxor: A^A=0 replaced symbolic XOR with concrete 0 - bvsub: A-A=0 replaced symbolic SUB with concrete 0 - bvor: A|A=A returned one operand, losing the other's dependency Example: In AArch64 cfSub_s(), the carry flag computation would lose symbolic status when symbolic operands evaluated to 0, breaking conditional branch symbolization (e.g., b.lo not recognized as symbolic). The fix adds isSymbolized() checks to ensure these optimizations only apply when both operands are concrete, preserving symbolic information. Note: bvand already had the correct check; this fix makes bvor, bvsub, and bvxor consistent with that pattern.	2025-11-20 10:16:41 -05:00
Triton Library	8b4362604b	Reverting #1417: Don't trigger a callback when symbolizing memory	2025-10-15 09:20:35 +02:00
Jonathan Salwan	1b61826002	Merge pull request #1417 from KarlVogel/sym-mem-callback ... Don't trigger a callback when symbolizing memory	2025-10-15 09:15:26 +02:00
Jonathan Salwan	450bda91d7	Merge pull request #1430 from cctv130/dev-v1.0 ... update docker use share library	2025-10-15 09:06:04 +02:00
cctv130	e857395d82	update docker use share library	2025-10-14 11:07:33 +00:00
Jonathan Salwan	4f7ddb77c6	Merge pull request #1428 from cctv130/dev-v1.0 ... fix github action	2025-10-05 18:13:11 +02:00
cctv130	772353fd60	fix github action	2025-10-05 13:46:39 +00:00
Jonathan Salwan	5157c03ecb	Merge pull request #1426 from lallouslab/minor ... Minor mods and typos	2025-10-02 15:56:07 +02:00
Elias Bachaalany	5d21582e71	Minor mods and typos	2025-09-28 09:45:13 -07:00
Triton Library	34e1de3586	Merge branch 'dev-v1.0'	2025-08-24 19:16:24 +02:00