]> hydra-www.ietfng.org Git - dyna2/shortlog
projects / dyna2 / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dyna2
2013-05-03 Nathaniel Wesley... First pass at new mode infrastructure plumbing commit | commitdiff | tree | snapshot
2013-04-12 Nathaniel Wesley... Snapshot before more surgery commit | commitdiff | tree | snapshot
2013-03-31 Nathaniel Wesley... First pass at disposition pragmas commit | commitdiff | tree | snapshot
2013-03-29 Nathaniel Wesley... More cleanups and a forgotten file commit | commitdiff | tree | snapshot
2013-03-29 Nathaniel Wesley... Dependency fixes, hopefully commit | commitdiff | tree | snapshot
2013-03-25 Nathaniel Wesley... Snapshot mode stuff commit | commitdiff | tree | snapshot
2013-03-15 Nathaniel Wesley... Several small bug fixes commit | commitdiff | tree | snapshot
2013-03-01 Nathaniel Wesley... Tidy source tree, update README commit | commitdiff | tree | snapshot
2013-03-01 Nathaniel Wesley... Checkpoint effort on the Mercury mode system commit | commitdiff | tree | snapshot
2013-02-12 Nathaniel Wesley... Fix and expand Analysis.Mode.Inst commit | commitdiff | tree | snapshot
2013-02-07 Nathaniel Wesley... Some bits of Overton's mode system for Mercury commit | commitdiff | tree | snapshot
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
next