hydra-www.ietfng.org Git - dyna2/shortlog

]> hydra-www.ietfng.org Git - dyna2/shortlog

2014-02-10	Nathaniel Wesley...	Minor updates to be compatible with lens 4	commit \| commitdiff \| tree \| snapshot
2014-01-06	Jason Eisner	notes from nwf/jason meeting on numbers and strings	commit \| commitdiff \| tree \| snapshot
2013-12-13	Jason Eisner	added notes about stability, gensyms/capturing, type...	commit \| commitdiff \| tree \| snapshot
2013-11-15	Jason Eisner	merged in Jason's changes, mostly a lot of "todo" items...	commit \| commitdiff \| tree \| snapshot
2013-09-13	Juneki Hong	updated and cleaned up the boxes.dyna example. Unfortun...	commit \| commitdiff \| tree \| snapshot
2013-09-05	Juneki Hong	Made a boxes.dyna example file. It make some boxes...	commit \| commitdiff \| tree \| snapshot
2013-08-29	Nathaniel Wesley...	First cut at a rule planner outside heuristic	commit \| commitdiff \| tree \| snapshot
2013-08-29	Nathaniel Wesley...	NoBackend primitives implicit modes, too	commit \| commitdiff \| tree \| snapshot
2013-08-24	Juneki Hong	small change to the Makefile. It can now build right...	commit \| commitdiff \| tree \| snapshot
2013-08-20	Juneki Hong	Think I got bounding box information from text that...	commit \| commitdiff \| tree \| snapshot
2013-08-19	Tim Vieira	first-pass at porting @darcey's tutorial to dyna's...	commit \| commitdiff \| tree \| snapshot
2013-08-16	Tim Vieira	added logo to readme.	commit \| commitdiff \| tree \| snapshot
2013-08-15	Tim Vieira	Cleanup top-level dir #69	commit \| commitdiff \| tree \| snapshot
2013-08-15	Tim Vieira	Merge ../working	commit \| commitdiff \| tree \| snapshot
2013-08-15	Jason Eisner	minor	commit \| commitdiff \| tree \| snapshot
2013-08-15	Jason Eisner	formatting	commit \| commitdiff \| tree \| snapshot
2013-08-15	Jason Eisner	expanded overview slightly	commit \| commitdiff \| tree \| snapshot
2013-08-15	Jason Eisner	format fix	commit \| commitdiff \| tree \| snapshot
2013-08-15	Jason Eisner	expanded README.md with tutorial links, download instru...	commit \| commitdiff \| tree \| snapshot
2013-08-14	Tim Vieira	several tweaks.	commit \| commitdiff \| tree \| snapshot
2013-08-13	Nathaniel Wesley...	Fix sphinx warning	commit \| commitdiff \| tree \| snapshot
2013-08-13	Nathaniel Wesley...	Update TODO lists	commit \| commitdiff \| tree \| snapshot
2013-08-13	Nathaniel Wesley...	Tweak version target in Makefile	commit \| commitdiff \| tree \| snapshot
2013-08-13	Nathaniel Wesley...	New automata library	commit \| commitdiff \| tree \| snapshot
2013-08-13	Juneki Hong	The top of force.dyna suggests to use the --postprocess...	commit \| commitdiff \| tree \| snapshot
2013-08-07	Tim Vieira	Further improvments to coverage (now at 87%).	commit \| commitdiff \| tree \| snapshot
2013-08-06	Tim Vieira	added post processors tests.	commit \| commitdiff \| tree \| snapshot
2013-08-06	Tim Vieira	use alist `list (a -> b)` as value of `dict=`.	commit \| commitdiff \| tree \| snapshot
2013-08-06	Tim Vieira	see prev	commit \| commitdiff \| tree \| snapshot
2013-08-06	Tim Vieira	Consolidate external libs	commit \| commitdiff \| tree \| snapshot
2013-08-05	Tim Vieira	ignore coverage.py output	commit \| commitdiff \| tree \| snapshot
2013-08-05	Tim Vieira	new test case	commit \| commitdiff \| tree \| snapshot
2013-08-05	Tim Vieira	BUGFIX in recompute backchain.	commit \| commitdiff \| tree \| snapshot
2013-08-05	Tim Vieira	fix force-directed graph layout example.	commit \| commitdiff \| tree \| snapshot
2013-08-05	Tim Vieira	Big improvements to code coverage!	commit \| commitdiff \| tree \| snapshot
2013-08-04	Tim Vieira	compiler wont create .anf files by default	commit \| commitdiff \| tree \| snapshot
2013-08-04	Tim Vieira	Codegen includes ANF in generated source.	commit \| commitdiff \| tree \| snapshot
2013-08-04	Tim Vieira	add path.py to package	commit \| commitdiff \| tree \| snapshot
2013-08-04	Tim Vieira	Refactor - put compiler interface in separate module.	commit \| commitdiff \| tree \| snapshot
2013-08-02	Tim Vieira	()	commit \| commitdiff \| tree \| snapshot
2013-08-02	Tim Vieira	Merge ../working	commit \| commitdiff \| tree \| snapshot
2013-08-02	Tim Vieira	Misc.	commit \| commitdiff \| tree \| snapshot
2013-08-01	Tim Vieira	cleanup	commit \| commitdiff \| tree \| snapshot
2013-08-01	Tim Vieira	Merge ../working	commit \| commitdiff \| tree \| snapshot
2013-08-01	Tim Vieira	replace cons comparison operator with something much...	commit \| commitdiff \| tree \| snapshot
2013-08-01	Tim Vieira	Merge ../working	commit \| commitdiff \| tree \| snapshot
2013-08-01	Tim Vieira	Got rid of debug script -- it's now just `--debug`...	commit \| commitdiff \| tree \| snapshot
2013-08-01	Tim Vieira	Merge ../working	commit \| commitdiff \| tree \| snapshot
2013-08-01	Tim Vieira	update alist test case.	commit \| commitdiff \| tree \| snapshot
2013-08-01	Tim Vieira	Small improvement to REPL debug command.	commit \| commitdiff \| tree \| snapshot
2013-08-01	Tim Vieira	Merge ../working	commit \| commitdiff \| tree \| snapshot
2013-08-01	Tim Vieira	ignore crashlog directory	commit \| commitdiff \| tree \| snapshot
2013-08-01	Tim Vieira	added crash summary.	commit \| commitdiff \| tree \| snapshot
2013-08-01	Tim Vieira	Many small tweaks.	commit \| commitdiff \| tree \| snapshot
2013-07-31	Tim Vieira	minor refactor.	commit \| commitdiff \| tree \| snapshot
2013-07-31	Tim Vieira	Interning is back! However, charts are never deleted.	commit \| commitdiff \| tree \| snapshot
2013-07-31	Tim Vieira	Tweaks:	commit \| commitdiff \| tree \| snapshot
2013-07-29	Jason Eisner	Filled in spec outline in Sphinx documentation.	commit \| commitdiff \| tree \| snapshot
2013-07-29	Tim Vieira	add debug method to Rule.	commit \| commitdiff \| tree \| snapshot
2013-07-29	Jason Eisner	Merge branch 'master' of https://github.com/nwf/dyna	commit \| commitdiff \| tree \| snapshot
2013-07-29	Jason Eisner	changed layout to match sphinx's own documentation...	commit \| commitdiff \| tree \| snapshot
2013-07-29	Tim Vieira	minor cleanup	commit \| commitdiff \| tree \| snapshot
2013-07-29	Jason Eisner	Edited conf.py in Sphinx documentation:	commit \| commitdiff \| tree \| snapshot
2013-07-28	Tim Vieira	added test case for issue #66	commit \| commitdiff \| tree \| snapshot
2013-07-28	Tim Vieira	Fixed Issue #66 - "stale backchaining memos when new...	commit \| commitdiff \| tree \| snapshot
2013-07-27	Tim Vieira	Incorporate feedback from LI student crashlogs.	commit \| commitdiff \| tree \| snapshot
2013-07-27	Tim Vieira	fix crash report #67; color prompt #64	commit \| commitdiff \| tree \| snapshot
2013-07-25	Tim Vieira	git should ignore VERSION file.	commit \| commitdiff \| tree \| snapshot
2013-07-25	Tim Vieira	additional tests fro issue #52	commit \| commitdiff \| tree \| snapshot
2013-07-25	Tim Vieira	Makefile maintains a VERSION file from which `./dyna...	commit \| commitdiff \| tree \| snapshot
2013-07-24	Tim Vieira	fix issue #63.	commit \| commitdiff \| tree \| snapshot
2013-07-24	Tim Vieira	small fix.	commit \| commitdiff \| tree \| snapshot
2013-07-24	Tim Vieira	added ':' operator.	commit \| commitdiff \| tree \| snapshot
2013-07-23	Tim Vieira	After retracting all rules defining a functor/arity...	commit \| commitdiff \| tree \| snapshot
2013-07-23	Tim Vieira	Issue #62: allow Dyna to report its own version.	commit \| commitdiff \| tree \| snapshot
2013-07-23	Tim Vieira	added `\|=` and fixed `:-`.	commit \| commitdiff \| tree \| snapshot
2013-07-21	Tim Vieira	tweak	commit \| commitdiff \| tree \| snapshot
2013-07-21	Tim Vieira	add test case for an instance of a cyclic program which...	commit \| commitdiff \| tree \| snapshot
2013-07-21	Tim Vieira	added test case from issue #31 - late backchaining...	commit \| commitdiff \| tree \| snapshot
2013-07-21	Tim Vieira	recompile rules on late backchain declaration (Issue...	commit \| commitdiff \| tree \| snapshot
2013-07-21	Tim Vieira	Address Issue #51 - showing errors in "Changes"	commit \| commitdiff \| tree \| snapshot
2013-07-20	Tim Vieira	tweaks/cleanup	commit \| commitdiff \| tree \| snapshot
2013-07-19	Tim Vieira	added test case for issue #52 -- keeping $key up to...	commit \| commitdiff \| tree \| snapshot
2013-07-19	Tim Vieira	add test for transitive deps in memoized BC rule retrac...	commit \| commitdiff \| tree \| snapshot
2013-07-19	Tim Vieira	Big improvments to memoized BC rule retraction. We...	commit \| commitdiff \| tree \| snapshot
2013-07-18	Tim Vieira	Fixed issue #52.	commit \| commitdiff \| tree \| snapshot
2013-07-18	Tim Vieira	better error msgs.	commit \| commitdiff \| tree \| snapshot
2013-07-18	Tim Vieira	minor tweaks.	commit \| commitdiff \| tree \| snapshot
2013-07-18	Tim Vieira	fixed Issue #57	commit \| commitdiff \| tree \| snapshot
2013-07-17	Tim Vieira	()	commit \| commitdiff \| tree \| snapshot
2013-07-17	Tim Vieira	refactored code, resolved asymmetries between FC and...	commit \| commitdiff \| tree \| snapshot
2013-07-17	Tim Vieira	Clean up agenda loop.	commit \| commitdiff \| tree \| snapshot
2013-07-17	Tim Vieira	anf file required.	commit \| commitdiff \| tree \| snapshot
2013-07-16	Tim Vieira	maintain a coarse dependency graph of head->evals and...	commit \| commitdiff \| tree \| snapshot
2013-07-16	Tim Vieira	()	commit \| commitdiff \| tree \| snapshot
2013-07-16	Tim Vieira	Dropped end-to-end tests from haskell test runner ...	commit \| commitdiff \| tree \| snapshot
2013-07-14	Tim Vieira	move command-line interface to separate file --> main.py	commit \| commitdiff \| tree \| snapshot
2013-07-13	Tim Vieira	minor cleanup.	commit \| commitdiff \| tree \| snapshot
2013-07-13	Tim Vieira	new tests for error handling.	commit \| commitdiff \| tree \| snapshot
2013-07-13	Tim Vieira	BUGFIX: properly clear error.	commit \| commitdiff \| tree \| snapshot
next

RSS Atom