search

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
7 stars 0 forks source link

Arrays #60

Closed jamescheney closed 7 years ago

jamescheney commented 7 years ago

This PR is work in progress to merge concurrent progress. Will comment again when ready for review.

jstolarek commented 7 years ago

James, if you have a fix for build errors could you push it? I'd like to start working on reducing computational complexity of slicing and I want to start from arrays branch (even if the arrays don't work yet).

jamescheney commented 7 years ago

All tests passing, added some array tests, now ready for review and merge (or just to be used to write more interesting examples)

jamescheney commented 7 years ago

Sorry about the errors. Everything should build/test correctly now and I am done making changes (unless anything is broken).

jstolarek commented 7 years ago

Rebased and merged.