All Versions
13
Latest Version
Avg Release Cycle
-
Latest Release
-

Changelog History
Page 1

  • v0.6.0.0 Changes

    • major change as to how rule compilation proceeds (ctor spec -> type class instances)
    • 👉 use new PrimitiveArray-0.9.0.0
    • backtrace from any given index using 'axiomAt'
    • 💅 Epsilon is tagged @Global or @Local, to allow local-alignment style algorithms

  • v0.5.3.0 Changes

    • 💅 using unboxed Ints (primbool style) for rule guards. This nets a nice speedup of 30-50% for linear languages

  • v0.5.2.2 Changes

    • Modified signature of Edge to make explicit the @From@ and @To@ nodes of the edge. Minor version bump, because @Edge@ is not official yet.
    • ⚡️ optimized table filling yields large improvements for linear languages

  • v0.5.2.1 Changes

    • ✂ removed upper bounds

  • v0.5.2.0 Changes

    • table filling fully inlined in the forward algorithm
    • experimental PrimBool operations
    • note: these optimizations are mostly of interest for linear languages, where is rule (or function call) is comparatively expensive
    • major re-arrangement of modules: import ADP.Fusion.Core for development of novel DP systems. Import ADP.Fusion.Point if you want to write a sequence alignment algorithm

  • v0.5.1.0 Changes

    • 👌 improved table filling algorithm performance
    • some optimizations to terminal symbols

  • v0.5.0.0 Changes

    • complete re-design of Inside / Outside / Complement handling based on phantom types
    • very liberal combination of multi-tape grammars
    • simplified index generation system (both faster, and easier to write new symbol now)

  • v0.4.1.1 Changes

    • 🛠 bugfix in Multitape Subword Index calculations (A.F.S.Indices.hs) [this one is quite spurious. I needed quickcheck to find a suitable minimal example where Pseudoknot.hs fails]

  • v0.4.1.0 Changes

    • 🎉 initial support for multi-context free grammars
    • mcfgs allow for interleaved syntactic variables
    • applications include: natural language modelling and pseudoknotted structures in RNA
    • the simplest formal language that requires this is: ai bj ai bj
    • 📦 the GenussFold library gives a simple example grammar

  • v0.4.0.2 Changes

    • 🛠 bugfixes