softwarelanguageslab/maf

Issues

• Include a delta debugging tool for program simplification

  #25 opened a year ago by jevdplas
  0

• Non-determinism with duplicate code definitions

  #12 opened 4 years ago by jevdplas
  1

• Persisting the analysis state

  #13 opened 4 years ago by jevdplas
  3

• Add support for multi-line and other comments

  #31 opened 3 years ago by bramvdbogaerde
  0

• Automate precision tests and track precision across commits

  #15 opened 4 years ago by acieroid
  2

• Support for Scheme vector literals

  #19 opened 4 years ago by noahvanes
  1

• Support failures in core lattice operations

  #21 opened 4 years ago by noahvanes
  1

• Configurable error handling/states

  #29 opened 3 years ago by bramvdbogaerde
  3

• Vararg list addresses may accidentally overlap with other addresses

  #30 opened 3 years ago by noahvanes
  0

• The Scheme Expressions do not consistently use SchemeVar

  #27 opened 3 years ago by jevdplas
  1

• Extensibility of MAF

  #28 opened 3 years ago by bramvdbogaerde
  1

• Factor out reference types in SchemeLattice

  #23 opened 4 years ago by noahvanes
  0

• Support first-class continuations in SchemeInterpreter

  #18 opened 4 years ago by noahvanes
  1

• Uniform lattice operations

  #24 opened 4 years ago by noahvanes
  0

• Factor our the inner Value trait in ModularSchemeLattice

  #22 opened 4 years ago by noahvanes
  0

• Allow for specialisation in core lattices interfaces

  #17 opened 4 years ago by noahvanes
  0

• Parameterising the abstract domains for Scheme vectors and pairs

  #20 opened 4 years ago by noahvanes
  0

• Improve representation of Scheme vectors

  #3 opened 4 years ago by jevdplas
  1

• Unclear toString definitions hamper result interpretation and debugging

  #10 opened 4 years ago by jevdplas
  0

• Add support for `string-set!` and `string-fill!`

  #14 opened 4 years ago by acieroid
  1

• Use TailCalls in Concrete Scheme Interpreter

  #5 opened 4 years ago by jevdplas
  2

• Use a plain Scheme file for the prelude

  #1 opened 4 years ago by acieroid
  0

• Use `BigInt` to represent Scheme numbers

  #16 opened 4 years ago by acieroid
  1

• Use case objects for primitives

  #11 opened 4 years ago by jevdplas
  1

• Parser fails when file ends on comment

  #8 opened 4 years ago by jevdplas
  0

• Parser error for unknown reason

  #9 opened 4 years ago by jevdplas
  0

• Better error reporting by Scheme parser

  #7 opened 4 years ago by jevdplas
  0

• Expand the soundness tests

  #6 opened 4 years ago by jevdplas
  0

• Enable soundness tests on all benchmarks

  #4 opened 4 years ago by jevdplas
  0