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

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

2015-05-04	Nathaniel Wesley...	Tweak readme main	commit \| commitdiff \| tree \| snapshot
2015-05-04	Nathaniel Wesley...	Bump trifecta lower bound	commit \| commitdiff \| tree \| snapshot
2015-05-04	Nathaniel Wesley...	Attempt to improve GHC version support	commit \| commitdiff \| tree \| snapshot
2015-03-11	Nathaniel Wesley...	Small compilation fixes	commit \| commitdiff \| tree \| snapshot
2014-12-20	Jason Eisner	some todos added from time to time	commit \| commitdiff \| tree \| snapshot
2014-08-08	Jason Eisner	Merge branch 'master' of github.com:nwf/dyna	commit \| commitdiff \| tree \| snapshot
2014-08-08	Jason Eisner	various additions to spec	commit \| commitdiff \| tree \| snapshot
2014-03-03	Tim Vieira	Merge branch 'master' of ssh://github.com/nwf/dyna...	commit \| commitdiff \| tree \| snapshot
2014-03-02	Nathaniel Wesley...	More small tweaks to build system	commit \| commitdiff \| tree \| snapshot
2014-03-02	Nathaniel Wesley...	Start sketch of type system docs	commit \| commitdiff \| tree \| snapshot
2014-03-02	Nathaniel Wesley...	Move automata library	commit \| commitdiff \| tree \| snapshot
2014-02-27	Nathaniel Wesley...	Tweak provided patch as per @timvieira	commit \| commitdiff \| tree \| snapshot
2014-02-27	kosiakk	Failure on parse errors, issue #71	commit \| commitdiff \| tree \| snapshot
2014-02-27	Nathaniel Wesley...	Tweak build process handling of git submodules	commit \| commitdiff \| tree \| snapshot
2014-02-27	Nathaniel Wesley...	Add sphinx bootstrap theme as git submodule	commit \| commitdiff \| tree \| snapshot
2014-02-27	Alexander Kosenkov	Search is broken because of an extra line in git output	commit \| commitdiff \| tree \| snapshot
2014-02-27	Nathaniel Wesley...	Tweak build process	commit \| commitdiff \| tree \| snapshot
2014-02-26	Tim Vieira	Merge branch 'master' of ssh://github.com/nwf/dyna...	commit \| commitdiff \| tree \| snapshot
2014-02-10	Nathaniel Wesley...	Minor updates to be compatible with lens 4	commit \| commitdiff \| tree \| snapshot
2014-01-08	Tim Vieira	remove deprecation warning	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
next

RSS Atom