Skip to content

Releases: ivanbard/telchines

Release list

Telchines 1.1.1

Telchines 1.1.1 Latest
Latest

Choose a tag to compare

View all tags
@ivanbard ivanbard released this 14 Jul 02:59
v1.1.1
2dcd639

Full Changelog: v1.1.0...v1.1.1

Assets 2
Loading

Telchines 1.1.0

Telchines 1.1.0

Choose a tag to compare

View all tags
@ivanbard ivanbard released this 14 Jul 02:45
v1.1.0
e837337

Full Changelog: v1.0.2...v1.1.0

Loading

Telchines v1.0.0

Telchines v1.0.0

Choose a tag to compare

View all tags
@ivanbard ivanbard released this 05 May 03:03
v1.0.0
149b79e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

First public CLI-first v1 release of Telchines.

Status: GitHub release is published. PyPI publication is pending trusted-publisher configuration; tracked in #65. The packaging fix for bundled benchmarks is being prepared as v1.0.1, so publish that patch release rather than rerunning the old v1.0.0 tag workflow.

Highlights:

  • Stabilized the documented 1.x CLI surface.
  • Promoted package metadata and versioning for public distribution.
  • Added version support for tel and telchines.
  • Documented install, quickstart, providers, adapters, evaluation, compatibility, and release process.
  • Added CI and PyPI publishing workflows.
  • Formalized external retrieval policy and adapter contribution contract.

Workflows included: repair, triage, retrieval, waveform inspection, spec-to-SVA generation, DUT-to-cocotb generation, coverage planning, and benchmark evaluation.

Loading