isla 0.2.0

Isla is a symbolic execution engine for Sail instruction set architecture specifications.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

.PHONY: all isla-sail isla-litmus isla web test fmt clean install uninstall update

all: isla

isla:
	cargo build --release

isla-sail:
	$(MAKE) -C isla-sail isla-sail

isla-litmus:
	$(MAKE) -C isla-litmus isla-litmus

web:
	$(MAKE) -C web all

test:
	test/run_tests.rb --config configs/riscv64.toml
	$(MAKE) -C isla-lib test
	$(MAKE) -C isla-cat test
	$(MAKE) -C isla-axiomatic test

test-github:
	test/run_tests.rb --config configs/riscv64_ubuntu.toml
	$(MAKE) -C isla-lib test
	$(MAKE) -C isla-cat test
	$(MAKE) -C isla-axiomatic test

fmt:
	$(MAKE) -C isla-lib fmt
	$(MAKE) -C isla-cat fmt
	$(MAKE) -C isla-axiomatic fmt
	$(MAKE) -C web fmt
	cargo fmt

clean:
	-$(MAKE) -C isla-sail clean
	-$(MAKE) -C isla-litmus clean
	-$(MAKE) -C isla-cat clean
	-$(MAKE) -C web clean
	-cargo clean

install: all
	@cargo install --locked --path .

uninstall:
	@cargo uninstall isla

update: uninstall install