Issues
- 0
- 1
Non-determinism with duplicate code definitions
#12 opened by jevdplas - 3
Persisting the analysis state
#13 opened by jevdplas - 0
- 2
- 1
Support for Scheme vector literals
#19 opened by noahvanes - 1
Support failures in core lattice operations
#21 opened by noahvanes - 3
Configurable error handling/states
#29 opened by bramvdbogaerde - 0
- 1
- 1
Extensibility of MAF
#28 opened by bramvdbogaerde - 0
Factor out reference types in SchemeLattice
#23 opened by noahvanes - 1
- 0
Uniform lattice operations
#24 opened by noahvanes - 0
- 0
- 0
- 1
Improve representation of Scheme vectors
#3 opened by jevdplas - 0
- 1
Add support for `string-set!` and `string-fill!`
#14 opened by acieroid - 2
Use TailCalls in Concrete Scheme Interpreter
#5 opened by jevdplas - 0
Use a plain Scheme file for the prelude
#1 opened by acieroid - 1
Use `BigInt` to represent Scheme numbers
#16 opened by acieroid - 1
Use case objects for primitives
#11 opened by jevdplas - 0
Parser fails when file ends on comment
#8 opened by jevdplas - 0
Parser error for unknown reason
#9 opened by jevdplas - 0
Better error reporting by Scheme parser
#7 opened by jevdplas - 0
Expand the soundness tests
#6 opened by jevdplas - 0
Enable soundness tests on all benchmarks
#4 opened by jevdplas