]> hydra-www.ietfng.org Git - dyna2/shortlog
dyna2
2013-08-06 Tim VieiraConsolidate external libs
2013-08-05 Tim Vieiraignore coverage.py output
2013-08-05 Tim Vieiranew test case
2013-08-05 Tim VieiraBUGFIX in recompute backchain.
2013-08-05 Tim Vieirafix force-directed graph layout example.
2013-08-05 Tim VieiraBig improvements to code coverage!
2013-08-04 Tim Vieiracompiler wont create .anf files by default
2013-08-04 Tim VieiraCodegen includes ANF in generated source.
2013-08-04 Tim Vieiraadd path.py to package
2013-08-04 Tim VieiraRefactor - put compiler interface in separate module.
2013-08-02 Tim Vieira()
2013-08-02 Tim VieiraMerge ../working
2013-08-02 Tim VieiraMisc.
2013-08-01 Tim Vieiracleanup
2013-08-01 Tim VieiraMerge ../working
2013-08-01 Tim Vieirareplace cons comparison operator with something much...
2013-08-01 Tim VieiraMerge ../working
2013-08-01 Tim VieiraGot rid of debug script -- it's now just `--debug`...
2013-08-01 Tim VieiraMerge ../working
2013-08-01 Tim Vieiraupdate alist test case.
2013-08-01 Tim VieiraSmall improvement to REPL debug command.
2013-08-01 Tim VieiraMerge ../working
2013-08-01 Tim Vieiraignore crashlog directory
2013-08-01 Tim Vieiraadded crash summary.
2013-08-01 Tim VieiraMany small tweaks.
2013-07-31 Tim Vieiraminor refactor.
2013-07-31 Tim VieiraInterning is back! However, charts are never deleted.
2013-07-31 Tim VieiraTweaks:
2013-07-29 Jason EisnerFilled in spec outline in Sphinx documentation.
2013-07-29 Tim Vieiraadd debug method to Rule.
2013-07-29 Jason EisnerMerge branch 'master' of https://github.com/nwf/dyna
2013-07-29 Jason Eisnerchanged layout to match sphinx's own documentation...
2013-07-29 Tim Vieiraminor cleanup
2013-07-29 Jason EisnerEdited conf.py in Sphinx documentation:
2013-07-28 Tim Vieiraadded test case for issue #66
2013-07-28 Tim VieiraFixed Issue #66 - "stale backchaining memos when new...
2013-07-27 Tim VieiraIncorporate feedback from LI student crashlogs.
2013-07-27 Tim Vieirafix crash report #67; color prompt #64
2013-07-25 Tim Vieiragit should ignore VERSION file.
2013-07-25 Tim Vieiraadditional tests fro issue #52
2013-07-25 Tim VieiraMakefile maintains a VERSION file from which `./dyna...
2013-07-24 Tim Vieirafix issue #63.
2013-07-24 Tim Vieirasmall fix.
2013-07-24 Tim Vieiraadded ':' operator.
2013-07-23 Tim VieiraAfter retracting all rules defining a functor/arity...
2013-07-23 Tim VieiraIssue #62: allow Dyna to report its own version.
2013-07-23 Tim Vieiraadded `|=` and fixed `:-`.
2013-07-21 Tim Vieiratweak
2013-07-21 Tim Vieiraadd test case for an instance of a cyclic program which...
2013-07-21 Tim Vieiraadded test case from issue #31 - late backchaining...
2013-07-21 Tim Vieirarecompile rules on late backchain declaration (Issue...
2013-07-21 Tim VieiraAddress Issue #51 - showing errors in "Changes"
2013-07-20 Tim Vieiratweaks/cleanup
2013-07-19 Tim Vieiraadded test case for issue #52 -- keeping $key up to...
2013-07-19 Tim Vieiraadd test for transitive deps in memoized BC rule retrac...
2013-07-19 Tim VieiraBig improvments to memoized BC rule retraction. We...
2013-07-18 Tim VieiraFixed issue #52.
2013-07-18 Tim Vieirabetter error msgs.
2013-07-18 Tim Vieiraminor tweaks.
2013-07-18 Tim Vieirafixed Issue #57
2013-07-17 Tim Vieira()
2013-07-17 Tim Vieirarefactored code, resolved asymmetries between FC and...
2013-07-17 Tim VieiraClean up agenda loop.
2013-07-17 Tim Vieiraanf file required.
2013-07-16 Tim Vieiramaintain a coarse dependency graph of head->evals and...
2013-07-16 Tim Vieira()
2013-07-16 Tim VieiraDropped end-to-end tests from haskell test runner ...
2013-07-14 Tim Vieiramove command-line interface to separate file --> main.py
2013-07-13 Tim Vieiraminor cleanup.
2013-07-13 Tim Vieiranew tests for error handling.
2013-07-13 Tim VieiraBUGFIX: properly clear error.
2013-07-13 Tim VieiraStabilize output of `bag=` by sorting elements and...
2013-07-12 Tim Vieirabetter cleanup when an initializer fails.
2013-07-12 Tim Vieira`dump_rules` won't crash when rule failed to load dyna...
2013-07-11 Tim VieiraMerge ../incoming into HEAD
2013-07-11 Tim VieiraMerge branch 'master' of ssh://github.com/nwf/dyna
2013-07-11 Tim VieiraMerge branch 'master' of ssh://github.com/nwf/dyna
2013-07-11 Nathaniel Wesley... Minor haddock fixups
2013-07-11 Tim Vieirastabilize error dump.
2013-07-11 Tim Vieiraadded error test case.
2013-07-11 Tim Vieiraadded error test case.
2013-07-11 Tim Vieiraadded matplotlib post-processor for static drawings.
2013-07-11 Tim Vieiraminor cleanups
2013-07-11 Tim Vieiraadded test for dyna boolean operations.
2013-07-11 Tim VieiraUse Dyna Boolean type instead of Python's bool. This...
2013-07-11 Nathaniel Wesley... Booleans are not to be treated as atoms
2013-07-11 Nathaniel Wesley... Ensure evaluation of an assertion
2013-07-11 Nathaniel Wesley... Prune some unused code from the test suite
2013-07-11 Nathaniel Wesley... Add hpc coverage for self-tests
2013-07-10 Tim Vieiranonfunctional tweaks to handling of '->'.
2013-07-10 Tim Vieirabetter FIFO
2013-07-10 Tim VieiraIssue #1: display [] instead of &nil.
2013-07-10 Tim VieiraIssue #40: Dyna will concatenate files for you, but...
2013-07-10 Nathaniel Wesley... Fix "longest-match" requirement on operators
2013-07-10 Tim VieiraMerge ../working
2013-07-10 Tim VieiraIssue #15: updated Jason's Dijkstra backpointer example...
2013-07-10 Tim Vieiraremove numpy as dep to speed-up load time Issue #44
2013-07-10 Tim VieiraMerge ../working
2013-07-10 Tim Vieira(Issue #46) `:-` now implicit aggregator for facts...
2013-07-10 Tim Vieirawith_key no longer quotes it's second argument.
next