-
- Downloads
Decoding to semantics rules now works. Now all we need to do is sort out the...
Decoding to semantics rules now works. Now all we need to do is sort out the memory model and actually integrate with the x86 semantics
Showing
- config/extractor-false.k 4 additions, 0 deletionsconfig/extractor-false.k
- config/extractor-true.k 4 additions, 0 deletionsconfig/extractor-true.k
- config/inum-to-opcode.k 6 additions, 0 deletionsconfig/inum-to-opcode.k
- decoder-configuration.k 8 additions, 4 deletionsdecoder-configuration.k
- decoder.k 7 additions, 2 deletionsdecoder.k
- generated_decoder_rules.k 12737 additions, 12768 deletionsgenerated_decoder_rules.k
- generator/datafiles/all-dec-instructions.txt 11 additions, 11 deletionsgenerator/datafiles/all-dec-instructions.txt
- generator/datafiles/inum-opcode-map-groups.csv 1217 additions, 1225 deletionsgenerator/datafiles/inum-opcode-map-groups.csv
- generator/generate-semantics-decoder.sh 47 additions, 0 deletionsgenerator/generate-semantics-decoder.sh
- generator/rewrite-ops.py 38 additions, 0 deletionsgenerator/rewrite-ops.py
- inum-extractor-configuration.k 4 additions, 0 deletionsinum-extractor-configuration.k
- inum-to-opcode.k 1213 additions, 1219 deletionsinum-to-opcode.k
- make-broken-opcodes.sh 0 additions, 1 deletionmake-broken-opcodes.sh
- out.txt 2856 additions, 0 deletionsout.txt
- run-on-large-program.sh 4 additions, 2 deletionsrun-on-large-program.sh
- samples.decoded 3019 additions, 0 deletionssamples.decoded
- smallest.txt 1 addition, 1 deletionsmallest.txt
- test-decoder.k 11 additions, 3 deletionstest-decoder.k
Loading
Please register or sign in to comment