Commit 76f893a

and

authored

Add command kriscv-asm <instruction> (#70)

Provide `kriscv-asm <instruction>` to generate assembled riscv instructions for constructing tests. --------- Co-authored-by: devops <devops@runtimeverification.com>

1 parent 9f4184e commit 76f893aCopy full SHA for 76f893a

4 files changed

package
- version
poetry.lock
pyproject.toml
src/kriscv
- devtools.py

`‎package/version‎`

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-0.1.56`
	`1`	`+0.1.57`

Comments

(0)