isla-cat 0.2.0

Isla is a symbolic execution engine for Sail instruction set architecture specifications. This crate implements a SMT translator for subset of the cat language used by herd7 to specify relaxed memory models.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

.PHONY: test fmt clean

all: cat2smt

test:
	cargo test

fmt:
	cargo fmt

clean:
	-cargo clean
	-rm -f cat2smt

cat2smt:
	cargo build --release
	cp target/release/cat2smt .