tm: Graph

Mercurial Mercurial > hg > tm / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | help
less more | (0) -100 -50 -28 +28 +50 tip

tuned scala examples
2013-03-14, by Christian Urban
tuned
2013-03-14, by Christian Urban
added an abacus to javabyte code compiler
2013-03-14, by Christian Urban
tuned
2013-03-14, by Christian Urban
added a stimes_ac lemma for Xingyuan
2013-03-14, by Christian Urban
better printing of register programs in Scala
2013-03-12, by Christian Urban
some peephole optimisations in the scala code
2013-03-10, by Christian Urban
updated
2013-03-08, by Christian Urban
updated
2013-03-08, by Christian Urban
tuned conclusion
2013-03-07, by Christian Urban
small typo in the paper
2013-03-07, by Christian Urban
added definition of termination for rec_exec
2013-03-07, by Christian Urban
added an function definition for eval.
2013-03-06, by Christian Urban
added a comment about deeply embedding of recursive functions
2013-03-06, by Christian Urban
added a version with partial_function
2013-03-05, by Christian Urban
partial_function test
2013-03-03, by Christian Urban
added factorial as an example
2013-03-03, by Christian Urban
tuned abacus to turing compilation
2013-03-03, by Christian Urban
finished compliations
2013-03-02, by Christian Urban
added examples for the rec to abacus compilation
2013-03-01, by Christian Urban
tuning
2013-03-01, by Christian Urban
added a test to make the simplifier be fast enough to do actual compilations
2013-03-01, by Christian Urban
corrected scala compiler from recs to abacus
2013-03-01, by Christian Urban
updated proofs in Recursive (by Jian)
2013-02-28, by Christian Urban
simplified slightly rec_compilation function
2013-02-28, by Christian Urban
added a coment about partial_function
2013-02-27, by Christian Urban
syntactic convenience for recursive functions
2013-02-26, by Christian Urban
added all recursive functions needed for the UF
2013-02-26, by Christian Urban

less more | (0) -100 -50 -28 +28 +50 tip

tm