]> hydra-www.ietfng.org Git - dyna2/shortlog
projects / dyna2 / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dyna2
2012-12-10 Nathaniel Wesley... Restore inverse math; drop arity from OPGetArgsIf commit | commitdiff | tree | snapshot
2012-12-10 Nathaniel Wesley... Restore deleted submodules commit | commitdiff | tree | snapshot
2012-12-10 timvremoved Analysis/RuleModeTest.hs, the old Python code... commit | commitdiff | tree | snapshot
2012-12-10 timvImprovements python code generation. commit | commitdiff | tree | snapshot
2012-12-10 timvUsing "_" instead of "_$" as our intermediate variable... commit | commitdiff | tree | snapshot
2012-12-10 Nathaniel Wesley... Tweak ANF, etc.; clone pdope in Backend.Python commit | commitdiff | tree | snapshot
2012-12-10 Nathaniel Wesley... Manual merge commit | commitdiff | tree | snapshot
2012-12-10 Nathaniel Wesley... Yet another stab at ANF commit | commitdiff | tree | snapshot
2012-12-10 timvcrummy code generation from crummy plans. commit | commitdiff | tree | snapshot
2012-12-10 timvfirst pass at dopeamine pretty printing. commit | commitdiff | tree | snapshot
2012-12-10 timvfirst pass at dopeamine pretty printing. commit | commitdiff | tree | snapshot
2012-12-10 timvadded test case; whitespace cleanup commit | commitdiff | tree | snapshot
2012-12-10 timvadded a few more dyna examples commit | commitdiff | tree | snapshot
2012-12-10 Nathaniel Wesley... Start Dyna.Backend.Python; add Analysis.Aggregation... commit | commitdiff | tree | snapshot
2012-12-09 Nathaniel Wesley... Add mapUpsert to XXX.DataUtils commit | commitdiff | tree | snapshot
2012-12-09 Nathaniel Wesley... Tweaks to Analysis.ANF and friends commit | commitdiff | tree | snapshot
2012-12-09 Nathaniel Wesley... Another day, another try at Analysis.RuleMode commit | commitdiff | tree | snapshot
2012-12-09 Nathaniel Wesley... Comments in ParserHS commit | commitdiff | tree | snapshot
2012-12-09 Nathaniel Wesley... Initial pass at rule mode planning in Haskell commit | commitdiff | tree | snapshot
2012-12-09 Tim Vieiramerge commit | commitdiff | tree | snapshot
2012-12-09 Tim Vieiratweak imports commit | commitdiff | tree | snapshot
2012-12-09 Nathaniel Wesley... Parameterize Analysis.ANF.NT on the contents of a variable commit | commitdiff | tree | snapshot
2012-12-09 Nathaniel Wesley... Tweak Analysis.ANF commit | commitdiff | tree | snapshot
2012-12-07 Nathaniel Wesley... Move ANF to hackish, but flat, representation commit | commitdiff | tree | snapshot
2012-12-07 Nathaniel Wesley... Merge branch 'master' of github.com:nwf/dyna commit | commitdiff | tree | snapshot
2012-12-07 Nathaniel Wesley... Compilation fixes and tweaks to HList utils commit | commitdiff | tree | snapshot
2012-12-07 Nathaniel Wesley... Compilation fixes to THTuple for new GHC commit | commitdiff | tree | snapshot
2012-12-06 Tim VieiraMerge branch 'master' of github.com:nwf/dyna commit | commitdiff | tree | snapshot
2012-12-06 Tim Vieirafixed bug in update plan section headings. commit | commitdiff | tree | snapshot
2012-12-06 Nathaniel Wesley... WIP: towards a new spin on K3 backend commit | commitdiff | tree | snapshot
2012-12-04 Nathaniel Wesley... Pretty up the frontend code a bit commit | commitdiff | tree | snapshot
2012-12-03 Tim Vieiradump update plans to html output; clean up commit | commitdiff | tree | snapshot
2012-12-03 Tim Vieirarenamed anfviz to prototype to better reflect what... commit | commitdiff | tree | snapshot
2012-12-03 Tim Vieiracleanup utils. commit | commitdiff | tree | snapshot
2012-12-03 Tim VieiraPair programming to the rescue! Fixed update planning... commit | commitdiff | tree | snapshot
2012-12-03 Tim Vieiraupdate planning: work in progress. commit | commitdiff | tree | snapshot
2012-12-01 Tim VieiraMerge branch 'master' of github.com:nwf/dyna commit | commitdiff | tree | snapshot
2012-12-01 Tim VieiraENH: pprint no longer wraps variables in quotes commit | commitdiff | tree | snapshot
2012-12-01 Tim VieiraSeveral changes: "update planning", bugfixes, enhanceme... commit | commitdiff | tree | snapshot
2012-11-30 timvTowards "query planning" -- half of two-stage approach... commit | commitdiff | tree | snapshot
2012-11-30 Nathaniel Wesley... Tweak ANF normalization commit | commitdiff | tree | snapshot
2012-11-30 timvMerge branch 'master' of github.com:nwf/dyna commit | commitdiff | tree | snapshot
2012-11-30 timvanfviz - produces html output for an entire dyna program. commit | commitdiff | tree | snapshot
2012-11-29 Nathaniel Wesley... Merge branch 'master' of github.com:nwf/dyna commit | commitdiff | tree | snapshot
2012-11-29 Nathaniel Wesley... Tweak README and authors in dyna.cabal commit | commitdiff | tree | snapshot
2012-11-29 Nathaniel Wesley... Widen the type on incState in MonadUtils commit | commitdiff | tree | snapshot
2012-11-29 Nathaniel Wesley... Add hrllen to HList utilities module commit | commitdiff | tree | snapshot
2012-11-29 Nathaniel Wesley... Fix logic inversion in NormalizeParse commit | commitdiff | tree | snapshot
2012-11-29 Nathaniel Wesley... Tweak the parser as suggested by Tim V commit | commitdiff | tree | snapshot
2012-11-29 timvadded anf visualizater (python script) commit | commitdiff | tree | snapshot
2012-11-29 Nathaniel Wesley... Missed file from last time commit | commitdiff | tree | snapshot
2012-11-29 Nathaniel Wesley... First part of new NormalizeParse commit | commitdiff | tree | snapshot
2012-11-29 timvMerge branch 'master' of github.com:nwf/dyna commit | commitdiff | tree | snapshot
2012-11-29 timvadded ANF pretty printer commit | commitdiff | tree | snapshot
2012-11-29 Nathaniel Wesley... Merge branch 'master' of github.com:nwf/dyna commit | commitdiff | tree | snapshot
2012-11-29 timvInsignificant changes to NormalizeParse renamed tempora... commit | commitdiff | tree | snapshot
2012-11-25 Nathaniel Wesley... Git should not ignore .hs files commit | commitdiff | tree | snapshot
2012-11-25 Nathaniel Wesley... Tweaks to XXX.THTuple commit | commitdiff | tree | snapshot
2012-11-20 Nathaniel Wesley... Eliminate redundant class from HList module commit | commitdiff | tree | snapshot
2012-11-16 Nathaniel Wesley... Minor parser nits commit | commitdiff | tree | snapshot
2012-11-15 Nathaniel Wesley... Merge commit | commitdiff | tree | snapshot
2012-11-15 Nathaniel Wesley... Make ParserHS more intelligent about spaces and comments commit | commitdiff | tree | snapshot
2012-11-15 timvModified default argument disposition (i.e. how operato... commit | commitdiff | tree | snapshot
2012-11-14 Nathaniel Wesley... Add a 'Fact' test case to the parser selftest commit | commitdiff | tree | snapshot
2012-11-14 Nathaniel Wesley... Begin transcoding Overton's thesis commit | commitdiff | tree | snapshot
2012-11-12 Nathaniel Wesley... Move from home-grown Proxy to 'tagged' package commit | commitdiff | tree | snapshot
2012-11-09 Nathaniel Wesley... ekmett externals updated commit | commitdiff | tree | snapshot
2012-11-09 Nathaniel Wesley... Fix build: remove stale constraint commit | commitdiff | tree | snapshot
2012-11-09 Nathaniel Wesley... Fix build: check in TTerm.hs commit | commitdiff | tree | snapshot
2012-11-08 Nathaniel Wesley... Some frontend work commit | commitdiff | tree | snapshot
2012-11-08 Nathaniel Wesley... Update external/ to point to forks which will hopefully... commit | commitdiff | tree | snapshot
2012-11-05 Nathaniel Wesley... Add DAMSL K3 as an external repository commit | commitdiff | tree | snapshot
2012-11-02 Nathaniel Wesley... Explain how to build the tree; revise .cabal commit | commitdiff | tree | snapshot
2012-11-02 Nathaniel Wesley... Begin tracking trifecta as a git submodule commit | commitdiff | tree | snapshot
2012-10-30 Nathaniel Wesley... First pass at K3 Stdlib from experiments commit | commitdiff | tree | snapshot
2012-10-30 Nathaniel Wesley... Minor documentation cleanup in ParserHS commit | commitdiff | tree | snapshot
2012-10-30 Nathaniel Wesley... Scattered progress on K3 backend commit | commitdiff | tree | snapshot
2012-10-30 Nathaniel Wesley... Improvements to HList utility library commit | commitdiff | tree | snapshot
2012-10-30 Nathaniel Wesley... Add bracketState commit | commitdiff | tree | snapshot
2012-10-23 Nathaniel Wesley... A whole host of changes commit | commitdiff | tree | snapshot
2012-10-18 Nathaniel Wesley... BackendK3: Eliminate Slices as distinct objects from... commit | commitdiff | tree | snapshot
2012-10-18 Nathaniel Wesley... BackendK3: Minor tweaks, more math commit | commitdiff | tree | snapshot
2012-10-17 Nathaniel Wesley... Remove PTup and STup verbosity from BackendK3 commit | commitdiff | tree | snapshot
2012-10-17 Nathaniel Wesley... Fix K3 backend selftest to deal with formatting commit | commitdiff | tree | snapshot
2012-10-16 Nathaniel Wesley... K3: CTE, Ref now data families; new Annotation framewor... commit | commitdiff | tree | snapshot
2012-10-16 Nathaniel Wesley... Fix haddock build, improve documentation, small misc commit | commitdiff | tree | snapshot
2012-10-09 Nathaniel Wesley... Fix cabal build, shuffle backend goo, more tests commit | commitdiff | tree | snapshot
2012-10-06 Nathaniel Wesley... Make Dyna parser understand type annotations commit | commitdiff | tree | snapshot
2012-10-05 Nathaniel Wesley... Eliminate explicit tuple size from pattern and slice... commit | commitdiff | tree | snapshot
2012-10-03 Nathaniel Wesley... Move REPL to Haskeline from editline commit | commitdiff | tree | snapshot
2012-10-02 Nathaniel Wesley... Commit some incremental progress on the K3 AST commit | commitdiff | tree | snapshot
2012-09-26 Nathaniel Wesley... Snapshotting before I try to replace pairs with tuples commit | commitdiff | tree | snapshot
2012-09-22 Nathaniel Wesley... Add LICENSE.INFO for dependencies commit | commitdiff | tree | snapshot
2012-09-22 Nathaniel Wesley... Some initial progress towards a K3 backend: AST, render... commit | commitdiff | tree | snapshot
2012-09-22 Nathaniel Wesley... REPL and parser improvements commit | commitdiff | tree | snapshot
2012-09-15 Nathaniel Wesley... Initial REPL commit | commitdiff | tree | snapshot
2012-08-09 Nathaniel Wesley... Add more to README commit | commitdiff | tree | snapshot
2012-08-09 Nathaniel Wesley... An initial checkin of a parser and some ANF stuff commit | commitdiff | tree | snapshot