aboutsummaryrefslogtreecommitdiff
path: root/src/eurm.ml
Commit message (Expand)AuthorAge
* Replace label lineno hashtable with assoc listpacien2018-05-01
* Do not reuse Hashtablespacien2018-05-01
* Refactor reg and label creationpacien2018-04-30
* Use const for end labelpacien2018-04-30
* Fix Mult offsetpacien2018-04-30
* Fix state propagationpacien2018-04-30
* Fix Mult conversionpacien2018-04-30
* Use another strategy to quit the programpacien2018-04-30
* Add missing instruction translationspacien2018-04-30
* Implement eurm compilation stage 3 and 4pacien2018-04-30
* Implement eurm compilation stage 2pacien2018-04-30
* Implement state and eurm compilation stage 1pacien2018-04-30
* Implement compile_preprocesspacien2018-04-29
* Rename URM types and fix urm_from_eurm signaturepacien2018-04-29
* Move sources to dedicated directorypacien2018-04-29