]> hydra-www.ietfng.org Git - dyna2/shortlog
dyna2
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.
2013-07-10 Jason Eisnerminor edits
2013-07-10 Jason Eisneradded forward-backward.dyna, and its companion file...
2013-07-10 Jason Eisnerrestored +x permission to debug (somehow removed before...
2013-07-10 Jason Eisnersimplified examples/dijkstra-backpointers.dyna, and...
2013-07-10 Tim Vieiramerge.
2013-07-10 Tim Vieirafixed force-directed layout.
2013-07-09 Tim Vieiranew infix operator for alist `->`/2
2013-07-09 Tim Vieirasmall improvements to handling booleans
2013-07-08 Tim Vieira()
2013-07-08 Tim VieiraSmall tweaks.
2013-07-08 Nathaniel Wesley... Small, non-functional changes around the tree
2013-07-08 Nathaniel Wesley... Try to improve python crash logging
2013-07-08 Nathaniel Wesley... exitFailure on panic
2013-07-08 Tim Vieiraadded parsing (training, parsing, testing) `test/app...
2013-07-08 Tim Vieiramake run-doctest.py executable
2013-07-07 Tim VieiraMerge branch 'master' of ssh://github.com/nwf/dyna
2013-07-07 Tim VieiraIssue #12 simplify output of "draw" command. Edge crux...
2013-07-07 Tim Vieiracircle. Mouse over shows the rule source and rule index.
2013-07-06 Tim Vieira()
2013-07-06 Tim Vieiraupdate tests - new solution formatting.
2013-07-06 Tim VieiraIssue #38 "better printing of :- items, and better...
2013-07-06 Tim Vieiramight error when retracting a BC rule.
2013-07-06 Tim Vieiratweaks.
2013-07-05 Tim Vieira()
2013-07-05 Tim Vieirause doctests
2013-07-05 Tim Vieirause doctester
2013-07-05 Tim Vieiraremove cruft.
2013-07-05 Tim Vieira`dict=` create something like associative list -- this...
2013-07-05 Tim VieiraMerge ../working
2013-07-05 Tim Vieiraadded dyna doctest for retracting BC rules.
2013-07-05 Tim Vieiraworking on fixing BC rule retraction.
2013-07-05 Nathaniel Wesley... Generate update plans for backchained items
2013-07-05 Tim VieiraMerge ../working
2013-07-05 Tim Vieiraadded dijkstra-backpointers to end-to-end tests.
2013-07-05 Tim Vieiraadded `with_key` infix operator for (Issue #29 Backpoin...
2013-07-05 Tim VieiraMerge ../working
2013-07-05 Tim Vieiraimplementation of @nwf's argm idea for backpointers...
2013-07-04 Tim VieiraMerge ../working
2013-07-04 Tim Vieiraminor fix to trace formatting
2013-07-03 Tim VieiraMerge ../working
2013-07-03 Tim Vieiramultiline input in doctest
2013-07-03 Tim VieiraMerge ../working
2013-07-03 Tim VieiraOverhaul error message displays
2013-07-03 Tim VieiraMerge ../working
2013-07-03 Tim Vieiraimprovements to `examples/ptb.dyna`
2013-07-03 Nathaniel Wesley... Merge branch 'master' of github.com:nwf/dyna
2013-07-03 Nathaniel Wesley... Stop collecting update handlers by functar
2013-07-03 Nathaniel Wesley... Add PHONY label to tags targets in Makefile
2013-07-03 Tim VieiraError when user tries to iterate over something which...
2013-07-02 Tim Vieirastable `set` and `bag` ordering.
2013-07-02 Tim Vieiraadded example of optimal path extraction for shortest...
2013-07-02 Tim VieiraProposal for definition of `argmax=/argmin=`.
2013-07-02 Tim Vieiratweaks to trace to print lists nicely, and infix 'in'
next