13 commits

Author	SHA1	Message	Date
Toizi	30a48d20d4	also match namespace entries on the <b> tag	2025-02-07 10:03:02 +01:00
Marius Guggenmos	00e78d2287	remove unused import	2025-01-11 06:58:34 +01:00
Marius Guggenmos	b7c065b551	fix + improve python type stubs	2025-01-11 06:28:38 +01:00
Andrix44	6ea044868a	Small python autocomplete related changes	2023-01-20 17:22:57 -03:00
Andrix44	e3a469727e	Change autocomplete module to stub file	2023-01-20 17:22:57 -03:00
Andrix44	0d1f81b1c0	Made generating bitwuzla and Z3 annotations optional	2023-01-20 17:22:57 -03:00
Andrix44	22579f2bea	Fix autocomplete generation and comment out debug print	2023-01-20 17:22:57 -03:00
Jonathan Salwan	3f36aeb35e	FIX #1195: Fix capstone version	2022-10-30 18:59:07 +01:00
Jonathan Salwan	0082accc37	Fix #776: Fix triton_autocomplete.py	2019-06-12 15:32:31 +02:00
Jonathan Salwan	a557749d30	Fix #746: Update to support v0.7	2019-01-15 22:52:08 +01:00
Marius Guggenmos	7f660195d9	refactoring + put all generated code into single __init__.py file instead of one file per component	2018-12-23 20:36:07 +01:00
Marius Guggenmos	1fd0afe791	minor improvements/fixes for autocomplete generation + cmake integration	2018-12-22 21:53:58 +01:00
Marius Guggenmos	0a823bbebc	first version of autocomplete generation. still missing overloads	2018-12-22 11:30:19 +01:00