kmels/dart-haskell

Issues

• Parametrize --timeout_seconds

  #47 opened 10 years ago
  0

• Create random values for lists

  #46 opened 4 years ago
  0

• Define a predicate branch, pretty print it properly for Z3

  #45 opened 4 years ago
  0

• Case analysis should return an structured data type

  #44 opened 11 years ago
  0

• Fix tabbing of --watch-test

  #43 opened 4 years ago
  0

• When a function is reported as failed, show the error message as well

  #42 opened 12 years ago
  0

• Create --watch-smt, a flag to watch the smt solver

  #41 opened 12 years ago
  0

• Create a test suite for Prelude

  #40 opened 4 years ago
  0

• Stop passing the environment that holds library definitions around, create a field within DARTState

  #39 opened 12 years ago
  0

• --watch-test does nothing; -f examples/interpreter/RecursiveVdefg.hs --test even fails to feed function

  #38 opened 12 years ago
  0

• Pretty print data instead of showing TyConApps

  #37 opened 12 years ago
  0

• Add a benchmarking option, show how long does an evaluation last, for every definition

  #36 opened 12 years ago
  0

• Prelude's take External core behaviour is different from DARt.Examples.Lists.mytake, causing weird semantics and leading to unexpected results

  #35 opened 12 years ago
  0

• Printed Lists is shown with thunks, should show values instead

  #34 opened 12 years ago
  0

• Create a configuration file to parametrize order of magnitude on primitive types

  #33 opened 12 years ago
  0

• Deprecate TypeExtractor and use extcore`s Ty

  #32 opened 12 years ago
  0

• Set continous integration at travis-ci.org

  #31 opened 12 years ago
  1

• Add an option to evaluate a result strictly (Eval with lazy semantics, then force evaluation)

  #30 opened 4 years ago
  0

• Prelude's `take` is not working, but a definition of us does.

  #29 opened 12 years ago
  0

• Implement newtype (evaluates strictly)

  #28 opened 4 years ago
  0

• Rewrite TypeExtractor to transform trees directly

  #27 opened 12 years ago
  1

• --debug should not show reduction steps from the interpreter, that should be done by --watch-reduction

  #26 opened 12 years ago
  0

• Functions to test shouldn't be re-evaluated once they were interpreted.

  #25 opened 4 years ago
  0

• Module is acknowledged twice

  #24 opened 4 years ago
  0

• Set a timeout for every test

  #23 opened 12 years ago
  0

• Test functions of arity greater than 2

  #22 opened 12 years ago
  0

• Polymorphic types should be testable a well

  #21 opened 4 years ago
  0

• WRONG: Could not find var in env base:GHC.Base.++

  #20 opened 12 years ago
  0

• Generate random instances of any data type

  #19 opened 12 years ago
  0

• Test that no library id/fun is loaded in the environment twice

  #18 opened 4 years ago
  0

• ghc-core and -fext-core generate default alternative in the wrong order

  #17 opened 12 years ago
  1

• `odd` and `even` don't work if they are defined recursively

  #16 opened 12 years ago
  1

• Juts in time compilation: Evaluate custom haskell expressions from command line argument

  #15 opened 12 years ago
  2

• Definition of recursive even fails in pattern match failure

  #14 opened 12 years ago
  1

• Acknowledge source files, acknowledge the base package

  #13 opened 4 years ago
  0

• Create a type class Evaluable for Thunk, HeapAddress, Id, Exp

  #12 opened 12 years ago
  1

• Rewrite binary Appt functions in --debug mode

  #11 opened 4 years ago
  0

• Remove --show-expression, leave --show-subexpressions

  #10 opened 4 years ago
  0

• Determine if a expression is in WHNF

  #9 opened 12 years ago
  1

• Write regression tests

  #8 opened 12 years ago
  0

• Evaluate expressions with free type variables

  #7 opened 4 years ago
  0

• dart-haskell -f examples/interpreter/GHC.Num.hs fails to load

  #6 opened 12 years ago
  3

• Evaluate haskell expressions

  #5 opened 4 years ago
  0

• Add a debugging flag to the interpreter

  #4 opened 12 years ago
  1

• Benchmark hashmaps for the heap (Data.HashTable.ST.Basic vs Data.HashTable.ST.Cuckoo Data.HashTable.ST.Linear)

  #3 opened 4 years ago
  0

• Create branch with Kleisli Arrows

  #2 opened 12 years ago
  1

• After a value definition is evaluated (from exp to IM Value), it should be added to the heap

  #1 opened 12 years ago
  2