]> hydra-www.ietfng.org Git - dyna2/shortlog
projects / dyna2 / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dyna2
2013-07-01 Tim Vieiraminor cleanup. commit | commitdiff | tree | snapshot
2013-07-01 Tim Vieiraupdate tests to reflect new output format. commit | commitdiff | tree | snapshot
2013-07-01 Tim VieiraChanged output format yet again. Everything is now... commit | commitdiff | tree | snapshot
2013-07-01 Tim Vieirahide ugly filenames from users. commit | commitdiff | tree | snapshot
2013-07-01 Tim Vieiraupdated documentation to use new repl `>` instead of... commit | commitdiff | tree | snapshot
2013-07-01 Tim Vieirafixed repl test commit | commitdiff | tree | snapshot
2013-07-01 Tim Vieiramerge commit | commitdiff | tree | snapshot
2013-07-01 Tim Vieiraupdated repl tests. commit | commitdiff | tree | snapshot
2013-07-01 Tim VieiraMany changes commit | commitdiff | tree | snapshot
2013-07-01 Tim Vieirachanged repl prompt commit | commitdiff | tree | snapshot
2013-07-01 Nathaniel Wesley... Soften exception messages a bit commit | commitdiff | tree | snapshot
2013-07-01 Nathaniel Wesley... Bump required versions of parsers and trifecta commit | commitdiff | tree | snapshot
2013-06-30 Tim VieiraMerge branch 'master' of ssh://github.com/nwf/dyna commit | commitdiff | tree | snapshot
2013-06-30 Nathaniel Wesley... Add special handling for = and ==. commit | commitdiff | tree | snapshot
2013-06-30 Tim VieiraChanged output format for solution commit | commitdiff | tree | snapshot
2013-06-30 Nathaniel Wesley... Wire up oper pragmas. commit | commitdiff | tree | snapshot
2013-06-30 Nathaniel Wesley... Remove defaults from operator parser commit | commitdiff | tree | snapshot
2013-06-30 Nathaniel Wesley... Strictify Main.Driver configuration fields commit | commitdiff | tree | snapshot
2013-06-30 Nathaniel Wesley... Add [,,,|Rest] syntax support to parser commit | commitdiff | tree | snapshot
2013-06-30 Tim Vieiratrace available at repl supports viewing derivations... commit | commitdiff | tree | snapshot
2013-06-30 Tim VieiraMany changes commit | commitdiff | tree | snapshot
2013-06-29 Tim VieiraEach Interpreters now has a workspace `~/.dyna/tmp... commit | commitdiff | tree | snapshot
2013-06-29 Tim Vieiratweaks to the README, todo list, and repl formatting. commit | commitdiff | tree | snapshot
2013-06-29 Tim VieiraTweaks to error messages. commit | commitdiff | tree | snapshot
2013-06-28 Tim Vieira() commit | commitdiff | tree | snapshot
2013-06-28 Tim Vieiraadded examples/lists.dyna to end-to-end tests commit | commitdiff | tree | snapshot
2013-06-28 Tim Vieiramerged commit | commitdiff | tree | snapshot
2013-06-28 Tim VieiraMerge ../working commit | commitdiff | tree | snapshot
2013-06-28 Tim Vieiracleanup commit | commitdiff | tree | snapshot
2013-06-28 Tim VieiraRemoved existing calls to pycall. stdlib functions... commit | commitdiff | tree | snapshot
2013-06-28 Tim Vieira() commit | commitdiff | tree | snapshot
2013-06-28 Tim Vieirapygments is now optional (if it's missing you are warne... commit | commitdiff | tree | snapshot
2013-06-28 Nathaniel Wesley... Merge branch 'master' of github.com:nwf/dyna commit | commitdiff | tree | snapshot
2013-06-28 Nathaniel Wesley... Just changing the parser is never enough commit | commitdiff | tree | snapshot
2013-06-28 Tim Vieirapretty print lists, which are still cons/nil under... commit | commitdiff | tree | snapshot
2013-06-28 Tim VieiraReorganize imports so that loader/post-processor deps... commit | commitdiff | tree | snapshot
2013-06-28 Tim VieiraMerge ../working commit | commitdiff | tree | snapshot
2013-06-28 Tim Vieirayet another fix to ./debug commit | commitdiff | tree | snapshot
2013-06-28 Nathaniel Wesley... Fix printout of primitive strings commit | commitdiff | tree | snapshot
2013-06-28 Tim VieiraMerge ../working commit | commitdiff | tree | snapshot
2013-06-28 Tim Vieiracleanup output formats. commit | commitdiff | tree | snapshot
2013-06-28 Nathaniel Wesley... Add ruleix=N printouts to dump headers commit | commitdiff | tree | snapshot
2013-06-28 Tim Vieira`draw_circuit` and `trace` work with BC computation commit | commitdiff | tree | snapshot
2013-06-28 Nathaniel Wesley... On second thought... commit | commitdiff | tree | snapshot
2013-06-28 Nathaniel Wesley... Merge branch 'master' of github.com:nwf/dyna commit | commitdiff | tree | snapshot
2013-06-28 Nathaniel Wesley... Tweaks to parser commit | commitdiff | tree | snapshot
2013-06-28 Tim VieiraMerge ../working commit | commitdiff | tree | snapshot
2013-06-28 Tim VieiraBackchained items are no longer displayed in solution. commit | commitdiff | tree | snapshot
2013-06-28 Nathaniel Wesley... Merge branch 'master' of github.com:nwf/dyna commit | commitdiff | tree | snapshot
2013-06-27 Tim Vieiraadded example of backchaining. commit | commitdiff | tree | snapshot
2013-06-27 Tim Vieiradyna doctest runnner. commit | commitdiff | tree | snapshot
2013-06-27 Tim VieiraExperiment version of `trace` now available. commit | commitdiff | tree | snapshot
2013-06-27 Tim Vieira() commit | commitdiff | tree | snapshot
2013-06-27 Tim Vieiraadded geometric series to tests commit | commitdiff | tree | snapshot
2013-06-27 Tim VieiraFirst pass implementation of Jason's `trace` debugger. commit | commitdiff | tree | snapshot
2013-06-27 Nathaniel Wesley... Fix an infinite loop on a malformed NamedInst commit | commitdiff | tree | snapshot
2013-06-27 Nathaniel Wesley... Strengthen static types of Inst lattice functions commit | commitdiff | tree | snapshot
2013-06-25 Tim VieiraNew output format commit | commitdiff | tree | snapshot
2013-06-19 Tim Vieiraground backward chaining! commit | commitdiff | tree | snapshot
2013-06-19 Nathaniel Wesley... Add 'fcomp' target to Makefile commit | commitdiff | tree | snapshot
2013-06-19 Nathaniel Wesley... Whoops! Partition rules, then plan as appropriate commit | commitdiff | tree | snapshot
2013-06-19 Tim VieiraMerge ../working commit | commitdiff | tree | snapshot
2013-06-19 Tim Vieiratoo lazy. commit | commitdiff | tree | snapshot
2013-06-19 Tim VieiraMerge branch 'master' of ssh://github.com/nwf/dyna commit | commitdiff | tree | snapshot
2013-06-19 Nathaniel Wesley... Remove .plan file after running selftest commit | commitdiff | tree | snapshot
2013-06-19 Nathaniel Wesley... Preliminary changes for ground backchaining commit | commitdiff | tree | snapshot
2013-06-19 Tim Vieira() commit | commitdiff | tree | snapshot
2013-06-18 Nathaniel Wesley... Tweak oneshot parser commit | commitdiff | tree | snapshot
2013-06-18 Nathaniel Wesley... Hack in a workaround for hanging the test harness commit | commitdiff | tree | snapshot
2013-06-18 Tim Vieiratest/repl/load uses data commit | commitdiff | tree | snapshot
2013-06-18 Nathaniel Wesley... Stylistic tweaks commit | commitdiff | tree | snapshot
2013-06-18 Nathaniel Wesley... Small mode-system changes commit | commitdiff | tree | snapshot
2013-06-18 Nathaniel Wesley... Improve handling of planner failures commit | commitdiff | tree | snapshot
2013-06-18 Nathaniel Wesley... Rescue ctxFromBindings for aliased case commit | commitdiff | tree | snapshot
2013-06-18 Tim Vieirarefactor load and post-process. both are availabl and... commit | commitdiff | tree | snapshot
2013-06-18 timvadded repl data loading example. commit | commitdiff | tree | snapshot
2013-06-18 timv() commit | commitdiff | tree | snapshot
2013-06-18 timvFirst pass at "bulk loader" API -- at the moment loadin... commit | commitdiff | tree | snapshot
2013-06-18 Nathaniel Wesley... Fix bugs in parser and add tests commit | commitdiff | tree | snapshot
2013-06-18 Nathaniel Wesley... Placeholder docs page for builtins commit | commitdiff | tree | snapshot
2013-06-18 Nathaniel Wesley... Take a stab at fixing up = vs == commit | commitdiff | tree | snapshot
2013-06-18 timvmisc cleanup. commit | commitdiff | tree | snapshot
2013-06-18 timvCircuit visualizer is not a post-processer called draw_... commit | commitdiff | tree | snapshot
2013-06-18 timvtiny tweaks. commit | commitdiff | tree | snapshot
2013-06-18 timvadded load and save scripts. commit | commitdiff | tree | snapshot
2013-06-18 timvPickling Interpreter state seems to work. commit | commitdiff | tree | snapshot
2013-06-18 timvFixed late aggregator assignment. Added REPL test. commit | commitdiff | tree | snapshot
2013-06-18 timvMinor tweaks to crash handler. Post-processor can rende... commit | commitdiff | tree | snapshot
2013-06-18 timvCrash handler. All uncatch exceptions are beautifully... commit | commitdiff | tree | snapshot
2013-06-18 Nathaniel Wesley... Accumulated non-code adjustments; TODO.LSA commit | commitdiff | tree | snapshot
2013-06-12 timvmerge commit | commitdiff | tree | snapshot
2013-06-12 timvProgress toward pickling Interpreter state. Using impor... commit | commitdiff | tree | snapshot
2013-06-12 Nathaniel Wesley... Workaround in test/repl/aggregator-conflict commit | commitdiff | tree | snapshot
2013-06-12 Nathaniel Wesley... Merge branch 'master' of github.com:nwf/dyna commit | commitdiff | tree | snapshot
2013-06-12 Nathaniel Wesley... Wire test/repl into Backend.Python.Selftest commit | commitdiff | tree | snapshot
2013-06-12 timvfixed test/repl test cases. commit | commitdiff | tree | snapshot
2013-06-12 timvdrop dep on numpy. commit | commitdiff | tree | snapshot
2013-06-12 timvmerge commit | commitdiff | tree | snapshot
2013-06-12 timvtweaks. commit | commitdiff | tree | snapshot
2013-06-12 Nathaniel Wesley... Tweak aggr-mismatch error message commit | commitdiff | tree | snapshot
next