Commits

Show all
Author Commit Message Labels Comments Date
Patrick Bahr
set version number to 0.7
Tags
version_0.7
Patrick Bahr
Merged macro branch into the default branch
Patrick Bahr
added MacroAutomata module to the cabal file
Branches
macro
Patrick Bahr
moved 'getSubterm' function from module Annotation to Generic
Branches
macro
Patrick Bahr
added composition operator for MTTLs followed by DTTs
Branches
macro
Patrick Bahr
replaced the identity functor 'Id' with the identity functor 'I' that
Branches
macro
Patrick Bahr
added documenting comments for MTTLs
Branches
macro
Patrick Bahr
implemented functions to look up subterms
Branches
macro
Patrick Bahr
added benchmarks for macro tree transducers
Branches
macro
Patrick Bahr
added benchmark results (covering the benchmarks from the WGP'11 paper) after the bug fix (of NFDataF)
Branches
macro
Patrick Bahr
I missed something in the export list
Branches
macro
Patrick Bahr
fixed minor bug in the setup of the benchmark suite
Branches
macro
Patrick Bahr
fixed serious bug in the derivation of DeepSeqF instances:
Branches
macro
Patrick Bahr
added instance of NFDataF for annotated functors
Branches
macro
Patrick Bahr
fixed issue regarding automatic lifting of instances over sums in the benchmark suite
Branches
macro
Patrick Bahr
added pathAnn function that annotates terms with paths
Branches
macro
Patrick Bahr
- implemented annotation propagation for MTTs (and MTTs with regular look-ahead)
Branches
macro
Patrick Bahr
added explicit export list
Branches
macro
Patrick Bahr
added documenting comments
Branches
macro
Patrick Bahr
I transcribed the code from my macro tree transducers paper
Branches
macro
Patrick Bahr
added missing documentation
Branches
macro
Patrick Bahr
introduced a convenience type for UpTrans as well
Branches
macro
Patrick Bahr
added the convenience type for DownTrans
Branches
macro
Patrick Bahr
changing the abbreviations of the various automata (I dropped the 'D'
Branches
macro
Patrick Bahr
Changed the type of top down transducers such that the state
Branches
macro
Patrick Bahr
Merged with changes from default branch
Branches
macro
Patrick Bahr
Merged changes from default branch
Branches
macro
Patrick Bahr
Added tag version_0.6.1.4 for changeset b1d27a5ffa82
Patrick Bahr
increased version number to 0.6.1.4
Tags
version_0.6.1.4
Patrick Bahr
added function definition for backwards compatibility with GHC 7.4
  1. Prev
  2. Next