index
:
urm
master
[ARCHIVED 2017] An abstract Unlimited Register Machine simulator implemented in the functional programming language OCaml
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
*
Do not reuse Hashtables
pacien
2018-05-01
|
*
Add examples from S.V website
pacien
2018-04-30
|
*
Refactor reg and label creation
pacien
2018-04-30
|
*
Use const for end label
pacien
2018-04-30
|
*
Fix Mult offset
pacien
2018-04-30
|
*
Fix state propagation
pacien
2018-04-30
|
*
Fix Mult conversion
pacien
2018-04-30
|
*
Use another strategy to quit the program
pacien
2018-04-30
|
*
Add missing instruction translations
pacien
2018-04-30
|
*
Adjust parser
pacien
2018-04-30
|
*
Implement eurm compilation stage 3 and 4
pacien
2018-04-30
|
*
Implement eurm compilation stage 2
pacien
2018-04-30
|
*
Implement state and eurm compilation stage 1
pacien
2018-04-30
|
*
Implement compile_preprocess
pacien
2018-04-29
|
*
Rename URM types and fix urm_from_eurm signature
pacien
2018-04-29
|
*
Move sources to dedicated directory
pacien
2018-04-29
|
*
Add factorial example EURM program
pacien
2018-04-29
|
*
Merge branch 'eurm'
pacien
2018-04-29
|
\
|
*
Add new files to makefile
pacien
2018-04-21
|
|
|
*
Impl urm_from_eurm
pacien
2018-04-21
|
|
|
*
Document eurm transformation functions
pacien
2018-04-21
|
|
|
*
Add EURM conv test
pacien
2018-04-21
|
|
|
*
Add EURM interface
pacien
2018-04-21
|
|
*
|
Sort regs before printing
pacien
2018-04-27
|
|
*
|
Implement trace mode
pacien
2018-04-27
|
|
*
|
Remove useless rec
Notkea
2018-04-27
|
|
*
|
Implement program execution from command line
pacien
2018-04-22
|
|
*
|
Simplifications
pacien
2018-04-22
|
|
*
|
Make instruction parser case insensitive
pacien
2018-04-21
|
/
*
Add factorial test program
pacien
2018-04-21
|
*
Add test
pacien
2018-04-21
|
*
Modularize everything
pacien
2018-04-20
|
*
Simplify imports
pacien
2018-04-20
|
*
Reformat and simplify code
pacien
2018-04-20
|
*
Updating documentation
Adam NAILI
2018-04-20
|
*
urm_run working + a lot of subfunctionnalities
Adam NAILI
2018-04-20
|
*
Implementing some functions. Urm not working. Need reg manipulation func
Adam NAILI
2018-04-19
|
*
Beginning of the project
Adam NAILI
2018-03-30
|
*
Initial commit
Notkea
2018-03-30