Giters
nwf
/
dyna
Dyna2 compiler and REPL
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
146
Watchers:
21
Issues:
85
Forks:
20
nwf/dyna Issues
Repository has bitrotted?
Updated
4 years ago
Comments count
6
Dyna syntax clarifications
Updated
5 years ago
Docker for Dyna (because Python is fragile)
Updated
6 years ago
Comments count
3
Are there any restrictions on return types?
Updated
6 years ago
Comments count
5
How does it scale?
Updated
6 years ago
Comments count
4
Builds but won't run: "No module named IPython.frontend.terminal.embed"
Closed
6 years ago
Comments count
3
Build problems
Closed
9 years ago
Comments count
7
Build fails with `src/Dyna/Analysis/Mode/Execution/NamedInst.hs:257:37: Couldn't match type ‘b’ with ‘forall i_. InstF f1 i_’`
Updated
9 years ago
Comments count
3
make error: src/Dyna/ParserHS/OneshotDriver.hs:111:48
Updated
9 years ago
Comments count
3
OPCase proposal
Updated
10 years ago
Comments count
2
true and false shouldn't be parsed as functors
Updated
10 years ago
Comments count
10
Syntax error in input breaks Python REPL
Closed
10 years ago
Comments count
2
Deprecation warning from ipython
Closed
10 years ago
Comments count
1
fresh build errors
Updated
10 years ago
Comments count
1
make failed in Ubuntu 13.10 Saucy Salamander: Not in scope: type constructor or class `Overloading'
Updated
10 years ago
Comments count
1
Built-in function names should be excluded from item names
Updated
10 years ago
bad parse for [3 | &foo]
Updated
11 years ago
Comments count
3
reference to missing path "$DYNAHOME/dist/build/dyna/dyna" in dynac.py
Updated
11 years ago
Comments count
2
reorganize top-level directory
Updated
11 years ago
Comments count
10
Keeping documentation up-to-date
Updated
11 years ago
allow Dyna to report its own version
Updated
11 years ago
Comments count
13
kill "is"? or turn it around?
Updated
11 years ago
Comments count
1
garbage collection
Updated
11 years ago
stale backchaining memos when new rules are added
Closed
11 years ago
Comments count
1
a student reports "many crashes"
Closed
11 years ago
Comments count
1
special color for user input in REPL
Updated
11 years ago
Comments count
5
URGENT - Dijkstra's with backpointers now hanging around cycles
Closed
11 years ago
Comments count
5
argument of with_key doesn't parse correctly
Updated
11 years ago
Comments count
5
can't retract wrong aggregator
Closed
11 years ago
Comments count
2
better printing of :- items, and better type checking for :-, |=, &=
Closed
11 years ago
Comments count
13
lack of convergence around cycles
Updated
11 years ago
Comments count
2
Subscriptions
Updated
11 years ago
errors should be reported as part of "Changes"
Closed
11 years ago
Comments count
4
reduce startup time?
Closed
11 years ago
Comments count
3
use overlapping variables to help choose among plans?
Updated
11 years ago
Comments count
6
$key doesn't retract properly in with_key construction
Closed
11 years ago
URGENT - most recent version causes Dyna to exit repl
Closed
11 years ago
Comments count
2
$key can't be traced
Updated
11 years ago
"whynot" tracing
Updated
11 years ago
Comments count
1
weird errors in forward-backward execution
Updated
11 years ago
Comments count
6
Python's Boolean, 0, and 1 are interchangeable
Closed
11 years ago
Comments count
7
implement gensyms
Updated
11 years ago
Comments count
11
implicit :- aggregator (stating facts)
Updated
11 years ago
Comments count
2
mysterious syntax error with !=
Closed
11 years ago
Comments count
2
allow multiple .dyna files on command line
Updated
11 years ago
Comments count
6
parser crashes on wordgraph example
Updated
11 years ago
Comments count
2
crash log not being copied correctly?
Closed
11 years ago
Comments count
2
implement prefix aggregators
Updated
11 years ago
:= makes arbitrary choice where it should give error.
Closed
11 years ago
Comments count
4
destructuring definitions
Updated
11 years ago
Previous
Next