]> git.unchartedbackwaters.co.uk Git - francis/psl_presentation_20130225.git/shortlog
francis/psl_presentation_20130225.git
2013-02-20 Francis RussellAdd slide on aliasing.
2013-02-19 Francis RussellAdd slides on reasoning about correctness.
2013-02-19 Francis RussellWork on improving Scala implementation slides.
2013-02-19 Francis RussellAlter opacity in simulation cell diagram.
2013-02-18 Francis RussellAdd diagram of simulation cell and example of DSL syntax.
2013-02-18 Francis RussellAdd slides on variability in ONTEP.
2013-02-15 Francis RussellAdd generated code from the Scala OFC implementation.
2013-02-15 Francis RussellImprove index propagation graph.
2013-02-14 Francis RussellInitial work on Scala implementation slides.
2013-02-13 Francis RussellAdd slides on domain of variability.
2013-02-13 Francis RussellInitial work on PSL slides.