Commits

Author Commit Message Labels Comments Date
Patrick Bahr avatarPatrick Bahr
added reference to WGP '13 paper and bumped up the version number
Patrick Bahr avatarPatrick Bahr
changed formatting of pragmas in order to avoid issues with the CPP extension caused by clang
Patrick Bahr avatarPatrick Bahr
added identity instance for :< on pairs
Default avatar jkoppel
Changed project'. Previous versions of project' were literally unusable due
Patrick Bahr avatarPatrick Bahr
Added tag version_0.7 for changeset 3270ad7e3918
Patrick Bahr avatarPatrick Bahr
set version number to 0.7
Tags
version_0.7
Patrick Bahr avatarPatrick Bahr
Merged macro branch into the default branch
Patrick Bahr avatarPatrick Bahr
added MacroAutomata module to the cabal file
Branches
macro
Patrick Bahr avatarPatrick Bahr
moved 'getSubterm' function from module Annotation to Generic
Branches
macro
Patrick Bahr avatarPatrick Bahr
added composition operator for MTTLs followed by DTTs
Branches
macro
Patrick Bahr avatarPatrick Bahr
replaced the identity functor 'Id' with the identity functor 'I' that
Branches
macro
Patrick Bahr avatarPatrick Bahr
added documenting comments for MTTLs
Branches
macro
Patrick Bahr avatarPatrick Bahr
implemented functions to look up subterms
Branches
macro
Patrick Bahr avatarPatrick Bahr
added benchmarks for macro tree transducers
Branches
macro
Patrick Bahr avatarPatrick Bahr
added benchmark results (covering the benchmarks from the WGP'11 paper) after the bug fix (of NFDataF)
Branches
macro
Patrick Bahr avatarPatrick Bahr
I missed something in the export list
Branches
macro
Patrick Bahr avatarPatrick Bahr
fixed minor bug in the setup of the benchmark suite
Branches
macro
Patrick Bahr avatarPatrick Bahr
fixed serious bug in the derivation of DeepSeqF instances:
Branches
macro
Patrick Bahr avatarPatrick Bahr
added instance of NFDataF for annotated functors
Branches
macro
Patrick Bahr avatarPatrick Bahr
fixed issue regarding automatic lifting of instances over sums in the benchmark suite
Branches
macro
Patrick Bahr avatarPatrick Bahr
added pathAnn function that annotates terms with paths
Branches
macro
Patrick Bahr avatarPatrick Bahr
- implemented annotation propagation for MTTs (and MTTs with regular look-ahead)
Branches
macro
Patrick Bahr avatarPatrick Bahr
added explicit export list
Branches
macro
Patrick Bahr avatarPatrick Bahr
added documenting comments
Branches
macro
Patrick Bahr avatarPatrick Bahr
I transcribed the code from my macro tree transducers paper
Branches
macro
Patrick Bahr avatarPatrick Bahr
added missing documentation
Branches
macro
Patrick Bahr avatarPatrick Bahr
introduced a convenience type for UpTrans as well
Branches
macro
Patrick Bahr avatarPatrick Bahr
added the convenience type for DownTrans
Branches
macro
Patrick Bahr avatarPatrick Bahr
changing the abbreviations of the various automata (I dropped the 'D'
Branches
macro
Patrick Bahr avatarPatrick Bahr
Changed the type of top down transducers such that the state
Branches
macro
  1. Prev
  2. Next
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.