]> hydra-www.ietfng.org Git - dyna2/shortlog
projects / dyna2 / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dyna2
2013-02-07 Nathaniel Wesley... Some more small utility functions commit | commitdiff | tree | snapshot
2013-02-07 Nathaniel Wesley... Minor documentation tweaks commit | commitdiff | tree | snapshot
2013-02-04 Nathaniel Wesley... Slightly more friendly frontend driver commit | commitdiff | tree | snapshot
2013-02-04 Nathaniel Wesley... Update to new parser & trifecta packages commit | commitdiff | tree | snapshot
2013-01-12 Nathaniel Wesley... Tidy source tree commit | commitdiff | tree | snapshot
2013-01-11 Nathaniel Wesley... Haddock parse fix commit | commitdiff | tree | snapshot
2013-01-11 Nathaniel Wesley... Parser has a new idea of expressions; planner fix commit | commitdiff | tree | snapshot
2013-01-11 Nathaniel Wesley... Restore external subodules, update, and update our... commit | commitdiff | tree | snapshot
2013-01-09 Nathaniel Wesley... Refactor planner; initial work towards backward chaining commit | commitdiff | tree | snapshot
2013-01-09 Nathaniel Wesley... More foolishness with sexy types commit | commitdiff | tree | snapshot
2012-12-20 Nathaniel Wesley... Overhaul pipeline and self-tests (╯°□°）╯︵ ┻━┻ commit | commitdiff | tree | snapshot
2012-12-20 Nathaniel Wesley... Comment out compile-failing K3 test case commit | commitdiff | tree | snapshot
2012-12-20 Nathaniel Wesley... bin/interpreter.py trace to stderr commit | commitdiff | tree | snapshot
2012-12-19 timvexciting new aggregators and command-line options. commit | commitdiff | tree | snapshot
2012-12-18 timvmerge commit | commitdiff | tree | snapshot
2012-12-18 timvnew aggregator interface. commit | commitdiff | tree | snapshot
2012-12-18 Nathaniel Wesley... Move the K3 backend to Backend.K3 commit | commitdiff | tree | snapshot
2012-12-18 Nathaniel Wesley... Fix the parser and selftests commit | commitdiff | tree | snapshot
2012-12-18 Nathaniel Wesley... Plumb through first pass at rule indexing commit | commitdiff | tree | snapshot
2012-12-18 timvREPL uses dyna compiler to get plans; suppports (to... commit | commitdiff | tree | snapshot
2012-12-18 timvmerge commit | commitdiff | tree | snapshot
2012-12-17 Nathaniel Wesley... Rework rule planner to take modes from backend commit | commitdiff | tree | snapshot
2012-12-17 timvnonlinear unification. commit | commitdiff | tree | snapshot
2012-12-17 timvrow slicing - an example of interesting structure building commit | commitdiff | tree | snapshot
2012-12-17 timvexample of aggregator conflict. commit | commitdiff | tree | snapshot
2012-12-17 timvdoc tweaks. commit | commitdiff | tree | snapshot
2012-12-17 timvusing "pair-valued" shape as suggested by Jason in... commit | commitdiff | tree | snapshot
2012-12-17 timvadded sigmoid - a simple example of back-chained math commit | commitdiff | tree | snapshot
2012-12-17 timvtweaks to dijkstras commit | commitdiff | tree | snapshot
2012-12-17 timvtiny tweak to codegen commit | commitdiff | tree | snapshot
2012-12-14 timvrename commit | commitdiff | tree | snapshot
2012-12-14 timvminor bugfix in plus equals and times equals aggregator... commit | commitdiff | tree | snapshot
2012-12-13 timvtweaks commit | commitdiff | tree | snapshot
2012-12-13 timvtweaks to python code. commit | commitdiff | tree | snapshot
2012-12-13 timvmerge commit | commitdiff | tree | snapshot
2012-12-13 timvmatrix shape. commit | commitdiff | tree | snapshot
2012-12-13 Nathaniel Wesley... Create Dyna.Main. and move exceptions there commit | commitdiff | tree | snapshot
2012-12-13 timvfix boo-boo commit | commitdiff | tree | snapshot
2012-12-13 timvFIX: aggregating on empty returns None, which now propa... commit | commitdiff | tree | snapshot
2012-12-13 Nathaniel Wesley... Add examples/dijkstra.dyna, taken from Dyna 1 commit | commitdiff | tree | snapshot
2012-12-13 timvtweaks. commit | commitdiff | tree | snapshot
2012-12-13 timvtweaks commit | commitdiff | tree | snapshot
2012-12-13 timv() commit | commitdiff | tree | snapshot
2012-12-13 timv() commit | commitdiff | tree | snapshot
2012-12-13 timvmerge commit | commitdiff | tree | snapshot
2012-12-13 timv() commit | commitdiff | tree | snapshot
2012-12-13 Nathaniel Wesley... Let's try that again. commit | commitdiff | tree | snapshot
2012-12-13 Nathaniel Wesley... Stop being quite so ambitious in Analysis.RuleMode.inv commit | commitdiff | tree | snapshot
2012-12-13 timvsimpl, flat, replacement updates in python script. commit | commitdiff | tree | snapshot
2012-12-13 timvvery nice webpage generated. commit | commitdiff | tree | snapshot
2012-12-12 timvmerge commit | commitdiff | tree | snapshot
2012-12-12 Nathaniel Wesley... Missed in the last round of commits commit | commitdiff | tree | snapshot
2012-12-12 timvmerge commit | commitdiff | tree | snapshot
2012-12-12 timvworking on some javascript hacks to help us manage... commit | commitdiff | tree | snapshot
2012-12-12 Nathaniel Wesley... More .gitignore rules commit | commitdiff | tree | snapshot
2012-12-12 Nathaniel Wesley... Add perverse examples commit | commitdiff | tree | snapshot
2012-12-12 Nathaniel Wesley... Code shuffling for debugging backends commit | commitdiff | tree | snapshot
2012-12-12 timvremove old update planner. commit | commitdiff | tree | snapshot
2012-12-12 timvENH: dump-to-file/display stable rendering of chart. commit | commitdiff | tree | snapshot
2012-12-12 Nathaniel Wesley... Handle "diagonal" cases in rule planner commit | commitdiff | tree | snapshot
2012-12-12 timvFIX: accidently delete on unchanged values commit | commitdiff | tree | snapshot
2012-12-12 timvtweaks. commit | commitdiff | tree | snapshot
2012-12-12 timvPut "call" indirection table and aggregator definitions... commit | commitdiff | tree | snapshot
2012-12-12 timvadded matrixops examples; demonstrates the "edge templa... commit | commitdiff | tree | snapshot
2012-12-12 timvFIX: run_agenda termination condition commit | commitdiff | tree | snapshot
2012-12-12 timvelaborate papa2 example works! commit | commitdiff | tree | snapshot
2012-12-12 timvmerge commit | commitdiff | tree | snapshot
2012-12-12 Nathaniel Wesley... Merge branch 'master' of github.com:nwf/dyna commit | commitdiff | tree | snapshot
2012-12-12 timvmerge commit | commitdiff | tree | snapshot
2012-12-12 timvmerge commit | commitdiff | tree | snapshot
2012-12-12 Nathaniel Wesley... Tweak Analysis.RuleMode planning strategy commit | commitdiff | tree | snapshot
2012-12-12 timvFIX: syntactic issues - can't assign to "()" commit | commitdiff | tree | snapshot
2012-12-12 Nathaniel Wesley... Linearization & annotation handling in ANF 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 Nathaniel Wesley... A little smarter Analysis.RuleMode planner 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
next