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

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