Merge branch 'master' of github.com:nwf/dyna

merge

Tweak Analysis.RuleMode planning strategy

This should result in all-bound OPCalls being earlier in update plans,
leading to earlier bail-out in the case of an update not being applicable.

Linearization & annotation handling in ANF

merge

added papa2 example.

A little smarter Analysis.RuleMode planner

renderSpan moved to trifecta utils.

fixed bug in loading anf output.

take dyna source as input, asks dyna compiler to compile.

escape quote characters so we don't break graphviz.

Merge branch 'master' of github.com:nwf/dyna

Maybe fix aggregator parsing

Dot is not an aggregator

added papa.dyna to examples.

()

use (generated) initializers.

merge

Attempt to handle "is/2" in normalizer; fallout

stdlib: "Papa" example works.

Add planning for initializers; make python write them

WIP: more pieces of the puzzle

merge

Crude implementation of the chart and other utils. Starting to spin the wheels on CKY on a simple sentence.

tweaks

Adjust variable naming convention slightly

merge

added Dyna/Test/Main2.hs - temporary test runner which skips K3Backend tests.

Minor refactoring: ANFRules carry around ANFState and Trifecta Span information.

renamed type FDR to FRule to match the constructor.

Restore inverse math; drop arity from OPGetArgsIf

Restore deleted submodules

removed Analysis/RuleModeTest.hs, the old Python code generator, in favor of Backend/Python.hs.

Improvements python code generation.

Require end of file when parsing file.

Using "_" instead of "_$" as our intermediate variable prefix.

Tweak ANF, etc.; clone pdope in Backend.Python

This commit is known to break Dyna.Analysis.RuleModeTest; sorry.

Manual merge

Yet another stab at ANF

crummy code generation from crummy plans.

first pass at dopeamine pretty printing.

first pass at dopeamine pretty printing.

added test case; whitespace cleanup

added a few more dyna examples

Start Dyna.Backend.Python; add Analysis.Aggregation; tweak ANF

Add mapUpsert to XXX.DataUtils

Tweaks to Analysis.ANF and friends

Another day, another try at Analysis.RuleMode

This time around, we're more dopaminergic.

Comments in ParserHS

Initial pass at rule mode planning in Haskell

merge

tweak imports

Parameterize Analysis.ANF.NT on the contents of a variable

Tweak Analysis.ANF

Move ANF to hackish, but flat, representation

Merge branch 'master' of github.com:nwf/dyna

Compilation fixes and tweaks to HList utils

Compilation fixes to THTuple for new GHC

Merge branch 'master' of github.com:nwf/dyna

fixed bug in update plan section headings.

WIP: towards a new spin on K3 backend

Pretty up the frontend code a bit

dump update plans to html output; clean up

renamed anfviz to prototype to better reflect what the script actually does.

cleanup utils.

Pair programming to the rescue! Fixed update planning algorithm works! Our
solution is a brute-force search algorihtm for a feasible solution.

update planning: work in progress.

Merge branch 'master' of github.com:nwf/dyna

ENH: pprint no longer wraps variables in quotes

Several changes: "update planning", bugfixes, enhancements, cleanup

NEW: "Update Planning" steps towards generating code to handle update/queries to
individual terms in rules (in forward and backward chaining).

BUGFIX: hypergraph incoming and outgoing indices where buggy

ENH: using graphviz SVG output for nicer graphics

CLEANUP: anfviz moved some code into separate file bin/utils.py

Towards "query planning" -- half of two-stage approach complete.

Tweak ANF normalization

Merge branch 'master' of github.com:nwf/dyna

anfviz - produces html output for an entire dyna program.

added examples directory and a few example dyna programs.

BUGFIX (minor) in normalize parse pretty printer (handled numbers in the result
incorrectly).

Merge branch 'master' of github.com:nwf/dyna

Tweak README and authors in dyna.cabal

Widen the type on incState in MonadUtils

Add hrllen to HList utilities module

Fix logic inversion in NormalizeParse

Tweak the parser as suggested by Tim V

added anf visualizater (python script)

BUGFIX: NormalizeParse works now...

Missed file from last time

First part of new NormalizeParse

Merge branch 'master' of github.com:nwf/dyna

added ANF pretty printer

Merge branch 'master' of github.com:nwf/dyna

Insignificant changes to NormalizeParse renamed temporary variable names)

Added Makefile (might not really want this...)

Git should not ignore .hs files

Tweaks to XXX.THTuple

Eliminate redundant class from HList module

Minor parser nits

Merge

Make ParserHS more intelligent about spaces and comments

Modified default argument disposition (i.e. how operator/functors perfer to
evaluate their arguments). Now we have (b) operators begining with an alphabetic
character do not evaluate (b) a table of exceptions to for logical and
arithmetic connectives (e.g. exp, not).

Parser now allows wider range of names for aggregators, including "max=".

Add a 'Fact' test case to the parser selftest

While here, silence a warning from Dyna.XXX.TrifectaTest

Begin transcoding Overton's thesis

Move from home-grown Proxy to 'tagged' package

ekmett externals updated

Fix build: remove stale constraint

Fix build: check in TTerm.hs

Some frontend work

Add a special arm to the parser for numerics, and preserve this into the
next representation.  This is not perfect, it is just a start.

A better first pass at Dyna.Analysis.NormalizeParse.  (Though despite the
existence of a Selftest module, there are actually no tests present yet.)

While here, do some refactoring; hopefully things are better than before.

Update external/ to point to forks which will hopefully be integrated upstream

Add DAMSL K3 as an external repository