jstolarek slicer issues

jstolarek / slicer

Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK

http://dl.acm.org/citation.cfm?id=3110258

GNU General Public License v3.0

6 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Need help: Store handling during slicing

#67 jstolarek closed 7 years ago
2
Recover multi-argument applications during resugaring

#66 jstolarek closed 7 years ago
0
Introduce top-level bindings

#65 jstolarek opened 7 years ago
0
Improve pretty-printing

#64 jstolarek closed 7 years ago
2
Possible bug: Store invariants broken?

#63 jstolarek closed 7 years ago
3
2D arrays utterly broken

#62 jstolarek closed 7 years ago
5
Display arrays

#61 jstolarek opened 7 years ago
0
Arrays

#60 jamescheney closed 7 years ago
4
Slicing tuple references does not work

#59 jstolarek closed 7 years ago
3
Implement conversions between doubles and integers

#58 jstolarek opened 7 years ago
0
"Cannot resugar store labels" in REPL

#57 jstolarek closed 7 years ago
1
Numerical overflows

#56 jstolarek closed 7 years ago
1
Investigate better parsing of integers

#55 jstolarek opened 7 years ago
0
T47

#54 jamescheney closed 7 years ago
0
Visualize references, exceptions, loops and arrays

#53 jstolarek opened 7 years ago
1
Add trace representation for implicit exceptions?

#52 jstolarek closed 7 years ago
0
Backward slicing has quadratic complexity

#51 jstolarek closed 7 years ago
5
Unbelievable speed-ups from Resugarable type class

#50 jstolarek opened 7 years ago
0
Build benchmark suite on Travis

#49 jstolarek closed 7 years ago
0
Outcomes

#48 jamescheney closed 7 years ago
1
Addition + exception slicing bug

#47 jstolarek closed 7 years ago
17
Potential bug: VStar in environment resulting from bwdSlice

#46 jstolarek opened 7 years ago
1
Implement forward slicing

#45 jstolarek opened 7 years ago
1
Evaluate division to an exception when dividing by 0

#44 jstolarek closed 7 years ago
0
Assignment slicing incorrect

#43 jamescheney closed 7 years ago
2
leq/lub definitions for store labels

#42 jstolarek closed 7 years ago
1
Weird definition of `leq` for booleans

#41 jstolarek closed 7 years ago
1
Equality is = but should be ==

#40 jstolarek closed 7 years ago
0
Use pattern synonyms for better control of whether computations returned or raised.

#39 jstolarek closed 7 years ago
1
Use assertions to ensure that exception values are not stored in en environment or on the store

#38 jstolarek closed 7 years ago
2
Test tracing of nested exceptions

#37 jstolarek closed 7 years ago
1
Run slicing inside a monad

#36 jstolarek closed 7 years ago
2
Better abstraction of reference store

#35 jstolarek closed 7 years ago
2
Disallow holes in programs

#34 jstolarek opened 7 years ago
1
Program-style let bindings parse in REPL although they shouldn't

#33 jstolarek opened 7 years ago
0
Comments not allowed in REPL scripts

#32 jstolarek opened 7 years ago
1
Update TraceTree

#31 jstolarek closed 7 years ago
6
Operators bind tighter than function application

#30 jstolarek opened 7 years ago
1
Simplify "if" tracing

#29 jstolarek closed 7 years ago
2
Implement new rules in the paper

#28 jstolarek closed 7 years ago
2
Resugar traces

#27 jstolarek closed 7 years ago
3
Implement separate data type of exceptions

#26 jstolarek opened 7 years ago
0
Implement better type-checking

#25 jstolarek opened 7 years ago
0
Better error pretty-printing

#24 jstolarek opened 7 years ago
1
Add support for exceptions in TML programs

#23 jstolarek closed 7 years ago
6
Un-parameterize EvalState

#22 jstolarek closed 7 years ago
0
Separate executable and library

#21 jstolarek closed 7 years ago
0
Implement resugaring

#20 jstolarek closed 7 years ago
2
Load files into REPL

#19 jstolarek closed 7 years ago
3
Rename `name` field of `TyDecl` in `Absyn`

#18 jstolarek closed 7 years ago
1