kr.angelov d7f3aab994 -optimize-pgf should also apply to the linrefs

2013-11-29 14:25:23 +00:00

..

c

added API in the C runtime and the Java binding for checking whether a given function is linearizable in a given language. This is used in the Android UI for better vizualizations

2013-11-27 12:35:11 +00:00

haskell

-optimize-pgf should also apply to the linrefs

2013-11-29 14:25:23 +00:00

java

better dictionary visualization in the Android App

2013-11-27 22:16:05 +00:00

javascript

fix a typo in src/runtime/javascript/translator.html

2013-09-25 07:13:50 +00:00

python

fix in the Python binding

2013-11-20 09:54:37 +00:00