Repository navigation
TAIDL-TO v2.5
Changes since v2.4, install and build:
- Required Python 3.14 (#58)
- Packaged taidl_to alone (#60)
- Required a setuptools that reads the license field (#62)
- Keyed the debug handler's files under taidl_to (#64)
- Found the jax FFI headers through jax (#66)
- Pinned jaxlib and a numpy floor beside jax (#68)
- Named nanobind and cmake as dependencies (#70)
This release:
- The version is 2.5 in
pyproject.toml,taidl_to/__init__.pyand the README's install line. README.md's Installation section gains one sentence: generating an oracle compiles its debug handler, which needs a C++ compiler and Python's development headers on the machine, while CMake and nanobind are dependencies pip installs and jax's FFI headers come from jax.- This release still pins TAIDL v2.3, and its tests run in
devanshdvj/act-env:py3.14-jax0.10.2, on the CPU and on a GPU.