]> hydra-www.ietfng.org Git - dyna2/shortlog
projects / dyna2 / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dyna2
2012-12-12 timvFIX: syntactic issues - can't assign to "()" commit | commitdiff | tree | snapshot
2012-12-12 timvmerge commit | commitdiff | tree | snapshot
2012-12-12 timvadded papa2 example. commit | commitdiff | tree | snapshot
2012-12-12 timvrenderSpan moved to trifecta utils. commit | commitdiff | tree | snapshot
2012-12-12 timvfixed bug in loading anf output. commit | commitdiff | tree | snapshot
2012-12-12 timvtake dyna source as input, asks dyna compiler to compile. commit | commitdiff | tree | snapshot
2012-12-12 timvescape quote characters so we don't break graphviz. commit | commitdiff | tree | snapshot
2012-12-12 Nathaniel Wesley... Merge branch 'master' of github.com:nwf/dyna commit | commitdiff | tree | snapshot
2012-12-12 Nathaniel Wesley... Maybe fix aggregator parsing commit | commitdiff | tree | snapshot
2012-12-11 timvadded papa.dyna to examples. commit | commitdiff | tree | snapshot
2012-12-11 timv() commit | commitdiff | tree | snapshot
2012-12-11 timvuse (generated) initializers. commit | commitdiff | tree | snapshot
2012-12-11 timvmerge commit | commitdiff | tree | snapshot
2012-12-11 Nathaniel Wesley... Attempt to handle "is/2" in normalizer; fallout commit | commitdiff | tree | snapshot
2012-12-11 timvstdlib: "Papa" example works. commit | commitdiff | tree | snapshot
2012-12-11 Nathaniel Wesley... Add planning for initializers; make python write them commit | commitdiff | tree | snapshot
2012-12-11 timvWIP: more pieces of the puzzle commit | commitdiff | tree | snapshot
2012-12-11 timvmerge commit | commitdiff | tree | snapshot
2012-12-11 timvCrude implementation of the chart and other utils.... commit | commitdiff | tree | snapshot
2012-12-11 timvtweaks commit | commitdiff | tree | snapshot
2012-12-10 Nathaniel Wesley... Adjust variable naming convention slightly commit | commitdiff | tree | snapshot
2012-12-10 timvmerge commit | commitdiff | tree | snapshot
2012-12-10 timvadded Dyna/Test/Main2.hs - temporary test runner which... commit | commitdiff | tree | snapshot
2012-12-10 timvMinor refactoring: ANFRules carry around ANFState and... commit | commitdiff | tree | snapshot
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
next