-
- Downloads
Ported XED to K rewrite rules, will now begin work to integrate it with the original semantics.
parents
No related branches found
No related tags found
Showing
- .gitignore 4 additions, 0 deletions.gitignore
- XED_LICENSE 178 additions, 0 deletionsXED_LICENSE
- build.sh 9 additions, 0 deletionsbuild.sh
- categories.k 114 additions, 0 deletionscategories.k
- decoder-syntax.k 367 additions, 0 deletionsdecoder-syntax.k
- decoder.k 0 additions, 0 deletionsdecoder.k
- generated_decoder_rules.k 0 additions, 0 deletionsgenerated_decoder_rules.k
- generator/config_gen.py 37 additions, 0 deletionsgenerator/config_gen.py
- generator/datafiles/all-dec-instructions.txt 0 additions, 0 deletionsgenerator/datafiles/all-dec-instructions.txt
- generator/datafiles/all-dec-patterns.txt 0 additions, 0 deletionsgenerator/datafiles/all-dec-patterns.txt
- generator/datafiles/all-dec-spine.txt 25 additions, 0 deletionsgenerator/datafiles/all-dec-spine.txt
- generator/datafiles/all-fields.txt 398 additions, 0 deletionsgenerator/datafiles/all-fields.txt
- generator/datafiles/all-pointer-names.txt 71 additions, 0 deletionsgenerator/datafiles/all-pointer-names.txt
- generator/datafiles/all-registers.txt 580 additions, 0 deletionsgenerator/datafiles/all-registers.txt
- generator/datafiles/all-state.txt 345 additions, 0 deletionsgenerator/datafiles/all-state.txt
- generator/datafiles/all-widths.txt 224 additions, 0 deletionsgenerator/datafiles/all-widths.txt
- generator/datafiles/extract-widths.sh 2 additions, 0 deletionsgenerator/datafiles/extract-widths.sh
- generator/datafiles/in-code.txt 319 additions, 0 deletionsgenerator/datafiles/in-code.txt
- generator/datafiles/in-patterns.txt 218 additions, 0 deletionsgenerator/datafiles/in-patterns.txt
- generator/datafiles/mk_register_to_string.sh 1 addition, 0 deletionsgenerator/datafiles/mk_register_to_string.sh
Loading
Please register or sign in to comment