0.5.2.2
-------
- 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
0.5.2.1
-------
- removed upper bounds
0.5.2.0
-------
- 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
0.5.1.0
-------
- improved table filling algorithm performance
- some optimizations to terminal symbols
0.5.0.0
-------
- 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)
0.4.1.1
-------
- 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]
0.4.1.0
-------
- 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: a^i b^j a^i b^j
- the [GenussFold](http://hackage.haskell.org/package/GenussFold) library gives
a simple example grammar
0.4.0.2
-------
- bugfixes
0.4.0.0
-------
- travic-ci integration
- forward phase now operates on immutable tables that are internally thawed
- resembles the behavior of Data.Vector.Generic.constructN
- Empty needs to be bound to input. We require this as certain index structures
have no natural notion of and empty index -- unless one provides additional
information in the index
0.3.0.0
-------
- simplified boundary checking: sometimes gives performance gain (!) due to one
loop variable less
- optimized loop variable design following "The HERMIT in the Stream" (Farmer
et al, 2014)
- somewhat nicer programmer interfaces
- automatic filling and freezing of tables
- multiple example algorithms (build with -fexamples switch):
- Needleman-Wunsch global alignment
- RNA secondary structure prediction using simple base pair maximization
- updated Table code to handle single-dim Subwords in a better way.
- simplified backtracking
0.2.x.x
-------
- Streamlined interface: access everything via ADP.Fusion
- /Multi-tape/ grammars can now be written and are fused