Skip to content
This repository has been archived by the owner on Jul 11, 2021. It is now read-only.

Issues: nwf/dyna

53 Open 32 Closed
53 Open 32 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Repository has bitrotted?
#87 opened Sep 24, 2020 by nmsmith
6
Dyna syntax clarifications
#86 opened Mar 12, 2019 by kfk
Docker for Dyna (because Python is fragile)
#85 opened Apr 24, 2018 by JeffreyBenjaminBrown
3
How does it scale?
#84 opened Apr 13, 2018 by JeffreyBenjaminBrown
4
Are there any restrictions on return types?
#83 opened Apr 9, 2018 by JeffreyBenjaminBrown
5
make error: src/Dyna/ParserHS/OneshotDriver.hs:111:48
#80 opened Mar 10, 2015 by skylogic004
3
Build fails with src/Dyna/Analysis/Mode/Execution/NamedInst.hs:257:37: Couldn't match type ‘b’ with ‘forall i_. InstF f1 i_’
#79 opened Mar 9, 2015 by pyetras
3
OPCase proposal
#78 opened Mar 6, 2014 by nwf
@nwf
2
fresh build errors
#75 opened Feb 25, 2014 by tias
1
make failed in Ubuntu 13.10 Saucy Salamander: Not in scope: type constructor or class `Overloading'
#74 opened Feb 9, 2014 by dissipate
1
Built-in function names should be excluded from item names
#73 opened Dec 12, 2013 by kosiakk
reference to missing path "$DYNAHOME/dist/build/dyna/dyna" in dynac.py
#70 opened Nov 21, 2013 by colin-alexa
2
reorganize top-level directory
#69 opened Aug 15, 2013 by jeisner
10
garbage collection enhancement
#68 opened Jul 30, 2013 by jeisner
bad parse for [3 | &foo]
#65 opened Jul 25, 2013 by jeisner
3
special color for user input in REPL enhancement REPL
#64 opened Jul 25, 2013 by jeisner
5
allow Dyna to report its own version REPL
#62 opened Jul 23, 2013 by jeisner
@timvieira
13
kill "is"? or turn it around?
#60 opened Jul 22, 2013 by jeisner
1
Subscriptions
#59 opened Jul 22, 2013 by timvieira
Keeping documentation up-to-date
#58 opened Jul 22, 2013 by timvieira
@timvieira
use overlapping variables to help choose among plans?
#56 opened Jul 17, 2013 by jeisner
@nwf
6
lack of convergence around cycles
#55 opened Jul 17, 2013 by jeisner
2
$key can't be traced
#54 opened Jul 17, 2013 by jeisner
@timvieira
argument of with_key doesn't parse correctly
#53 opened Jul 17, 2013 by jeisner
@nwf
5
"whynot" tracing enhancement
#50 opened Jul 17, 2013 by jeisner
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.