Another change to ANF

Now that we are indexing evals by an unique Int, we may as well
enforce that with an IntMap, rather than just a Set.

This is in preparation for displaying each update's ANF after
double-counting prevention cruxes have been added.

Improve ./debug

Cleanup ANF frontend some more

Eliminate the awkward old ANF language in favor of direct translation to
Cruxes in Dyna.Analysis.ANF.  Evaluation cruxes are now properly indexed
within rules using an Int, so we don't have to rely on the output variable
being unique.  There are more flavors of unification cruxes, including
inequality constraints.

The terrible 'handleConflictors' has been replaced with a much more
sane function which operates on cruxes, rather than on DOpAMine, which will
be welcome when we have more interesting OPIter modes.

While here, move python scripts from bin/ to src/Dyna/Backend/Python and
adjust the world.  Use this as an excuse to make ./debug invoke the dyna
compiler only once and dump everything to different files in $PROGRAM.d/

First pass at new mode infrastructure plumbing

This brings the Mercury mode system all the way out through the planner,
though it does not actually really avail itself of any of the improved
functionality.  It compiles and passes all selftests, but that, too, is
hardly saying anything.

Snapshot before more surgery

First pass at disposition pragmas

More cleanups and a forgotten file

Dependency fixes, hopefully

Snapshot mode stuff

Several small bug fixes

Tidy source tree, update README

Checkpoint effort on the Mercury mode system

Fix and expand Analysis.Mode.Inst

Correct iSubGLB_ definition
Add iEq_ and iSubLUB_
Expand commentary
Better IBound-vs-IBound cases in GLB functions

Some additional utilities appeared in XXX.DataUtils and XXX.MonadUtils.

Some bits of Overton's mode system for Mercury

The beginnings of a re-implementation of Mercury's mode system, as described
in: David Overton. Precise and Expressive Mode Systems for Typed Logic
Programming Languages.  University of Melbourne, Department of Computer
Science and Software Engineering.  Ph.D. thesis. December, 2003.
<http://www.mercury.csse.unimelb.edu.au/information/papers.html#dmo-thesis>

Some more small utility functions

Minor documentation tweaks

Slightly more friendly frontend driver

Update to new parser & trifecta packages

Tidy source tree

  - Separate assignments and unifications in ANF.  Assignments are now
    exclusively for loading (or checking) literals.
  - Move term base cases out from our myriad of representations into
    Dyna.Term.TTerm's TBase.
  - Fix comma and whenever handling in ANF (which is a temporary hack)
    and while there, make "true" and "false" a little closer to correct.
  - Move Analysis.Aggregation over to Main.Exception rather than Either.
  - Remove some dead code from Backend.Python and ParserHS.Parser
  - While here and there, squash some warnings

Haddock parse fix

Parser has a new idea of expressions; planner fix

 - Move handling of the ','/2 and whenever/2 operators into the ANF
   processor, next to '*'/1, '&'/1, and is/2, rather than the parser.
 - Remove the side-condition field in rule forms
 - Fallout from this exposed a really, really bad initialization bug
   in the rule planner, which is now hopefully corrected.

Restore external subodules, update, and update our code

Refactor planner; initial work towards backward chaining

More foolishness with sexy types

Overhaul pipeline and self-tests (╯°□°）╯︵ ┻━┻

This moves us to the much more pleasant position of having one main driver
(in Dyna.Main.Driver) which runs the (common) analysis workers and then
hands off to a user-specified backend (though the interface of
Dyna.Main.BackendDefn).  Along the way, we can dump (to stderr or to files)
things we might care about.

Move the python interpreter and debugging tool over to the new pipeline
driver.  While doing that, add a "ghcbuild" target to the Makefile that may
behave better than the cabal-istic build mechanism for older GHCs than the
one on my machine.

Add a Python backend selftest module which compares us against "golden"
files in examples/expected/; they are named ".py.out" on the chance that we
get similar golden files for other backends eventually.  Wire this in to the
main test harness on the "simple" and "papa2" examples.

While here, move the test harness out of Dyna.Test to Dyna.Main.TestsDriver,
update the README, and move it to Markdown.

┬──┬ ノ( ゜-゜ノ)

Comment out compile-failing K3 test case

bin/interpreter.py trace to stderr

exciting new aggregators and command-line options.

merge

new aggregator interface.

tweaks to constants in Python.hs

Move the K3 backend to Backend.K3

Fix the parser and selftests

Plumb through first pass at rule indexing

While here, rename FRule to Rule and fallout

REPL uses dyna compiler to get plans; suppports (to some extent) the addition of
new rules (deletion or rules should be pretty easy to add).

improvements to code load and compile.

Python codegen no longer uses call indirection table.

'and_equals' and 'or_equals' use python 'and' and 'or' instead of python '&' and
'|', which are bit-twiddling operations.

merge

Rework rule planner to take modes from backend

While here, factor out some material to Dyna.Analysis.Base, and execute a
proof-of-concept change by adding true/0 and false/0 as constants which
evaluate to True and False in the Python backend.

Some other minor changes seem to have crept in, too.

nonlinear unification.

row slicing - an example of interesting structure building

example of aggregator conflict.

doc tweaks.

using "pair-valued" shape as suggested by Jason in 12/14 Dyna meeting.

added sigmoid - a simple example of back-chained math

tweaks to dijkstras

tiny tweak to codegen

rename

--HG--
rename : bin/stdlib.py => bin/interpreter.py

minor bugfix in plus equals and times equals aggregator, regarding None
values. This tweaks the reactivity issues I was having with the papa2 example.

I've also made a few minor, cleanup/tweaks to stdlib.

tweaks

tweaks to python code.

merge

matrix shape.

Create Dyna.Main. and move exceptions there

fix boo-boo

FIX: aggregating on empty returns None, which now propagate correctly thru the
program.

Add examples/dijkstra.dyna, taken from Dyna 1

tweaks.

tweaks

()

()

merge

()

Let's try that again.

Stop being quite so ambitious in Analysis.RuleMode.inv

simpl, flat, replacement updates in python script.

very nice webpage generated.

merge

Missed in the last round of commits

merge

working on some javascript hacks to help us manage our compiler output.

More .gitignore rules

Add perverse examples

Code shuffling for debugging backends

remove old update planner.

ENH: dump-to-file/display stable rendering of chart.

Handle "diagonal" cases in rule planner

FIX: accidently delete on unchanged values

tweaks.

Put "call" indirection table and aggregator definitions in defn ("definitions")
module.

added matrixops examples; demonstrates the "edge template overcounting problem" - a template which shouldnt fire more than once results in overcounting.

FIX: run_agenda termination condition
FIX: more fixes pertaining to python tuple unpacking.

elaborate papa2 example works!

use correct aggregators for each functor.

merge

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

merge

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.

FIX: syntactic issues - can't assign to "()"

FIX: "continue" cases in for-loops

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