Skip to content

v0.1.17: Implement disassembler and instruction fetch cycle (#25)
Compare
Choose a tag to compare
@github-actions github-actions released this 18 Jul 21:42
v0.1.17
f6c0156
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode. 
* Add kllvm and kllvm-runtime targets

* Implement disassemble function

* Implement basic instruction fetch cycle

* Fix simple test suite to update expected output properly. Use _halt instead of _end

* Implement ADDI instruction

* Implement LUI instruction

* Set Version: 0.1.17

* Move test-unit after kdist-build in test workflow so that kllvm-runtime is built

* Use a Map{Int, Int} instead of a RangeMap{Int, Bytes}

* Mark functions total

* Rename INVALIDINSTR to INVALID_INSTR

---------

Co-authored-by: devops <devops@runtimeverification.com>
Assets 2
Loading