Skip to content

v0.2.0
Compare
Choose a tag to compare
@makenowjust makenowjust released this 31 Oct 15:49
v0.2.0
fa101cb
This commit was signed with the committer’s verified signature.
makenowjust Hiroya Fujinami
GPG key ID: 9F4CB6A0CB6B6BE9
Verified
Learn about vigilant mode.

Changes:

  • Move Checker, Complexity and Witness into automaton package.
  • Add Diagnostics.
  • Use Vector instead for performance.
  • Improve package.json contents.

Fixes:

  • Refactor EpsNFA.Assertion#accept.
Assets 2
Loading