Skip to content

TAIDL-TO v2.7

Choose a tag to compare

View all tags
@DEVANSH-DVJ DEVANSH-DVJ released this 16 Oct 02:19
· 46 commits to master since this release
v2.7
77ffb0a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Changes since v2.6 (reading or refusing TAIDL v2.13 specs):

  • Moved a pred to and from bytes with a convert (#102)
  • Made generation refuse a semantics the oracle cannot lower (#105)
  • Made generation refuse a name the generated oracle reserves (#107)
  • Made generation refuse a semantics whose shapes or attributes disagree (#109)

What changes for users:

  • Before it writes anything, generate_oracle refuses a semantics that the oracle cannot lower or whose types, shapes or attributes disagree, with an error naming the instruction or data model.
  • It also refuses a name that the generated oracle uses internally, such as an instruction named debug.
  • A kernel input or output can now have dtype bool.

This release:

  • The version is 2.7 in pyproject.toml, taidl_to/__init__.py and the README's install line.
  • README.md gains a section on what an oracle refuses: what TAIDL v2.13 refuses when a spec loads, and what generate_oracle refuses with NotImplementedError or ValueError before it writes anything.
  • The release still pins TAIDL v2.13.
Assets 2
Loading