Commits on Source (6)
-
Per Lindgren authored
-
Per Lindgren authored
-
Per Lindgren authored
-
Per Lindgren authored
-
Per Lindgren authored
-
Per Lindgren authored
Showing
- .vscode/settings.json 14 additions, 0 deletions.vscode/settings.json
- CHANGELOG.md 7 additions, 0 deletionsCHANGELOG.md
- Cargo.toml 0 additions, 12 deletionsCargo.toml
- README.md 35 additions, 35 deletionsREADME.md
- cargo-klee/Cargo.toml 8 additions, 8 deletionscargo-klee/Cargo.toml
- cargo-klee/src/main.rs 9 additions, 6 deletionscargo-klee/src/main.rs
- klee-examples/.vscode/settings.json 6 additions, 0 deletionsklee-examples/.vscode/settings.json
- klee-examples/Cargo.toml 19 additions, 57 deletionsklee-examples/Cargo.toml
- klee-examples/examples/get_sign.rs 98 additions, 0 deletionsklee-examples/examples/get_sign.rs
- klee-examples/examples/gpioa.rs 0 additions, 26 deletionsklee-examples/examples/gpioa.rs
- klee-examples/examples/modify.rs 0 additions, 27 deletionsklee-examples/examples/modify.rs
- klee-examples/examples/registers.rs 0 additions, 32 deletionsklee-examples/examples/registers.rs
- klee-examples/examples/systick.rs 0 additions, 21 deletionsklee-examples/examples/systick.rs
- klee-examples/src/clk.rs 0 additions, 111 deletionsklee-examples/src/clk.rs
- klee-examples/src/clk_simple.rs 0 additions, 99 deletionsklee-examples/src/clk_simple.rs
- klee-examples/src/foo.rs 0 additions, 61 deletionsklee-examples/src/foo.rs
- klee-examples/src/peripheral.rs 0 additions, 123 deletionsklee-examples/src/peripheral.rs
- klee-examples/src/register.rs 0 additions, 107 deletionsklee-examples/src/register.rs
- src/lang_items.rs 0 additions, 10 deletionssrc/lang_items.rs
- src/lib.rs 0 additions, 73 deletionssrc/lib.rs
.vscode/settings.json
0 → 100644
CHANGELOG.md
0 → 100644
Cargo.toml
deleted
100644 → 0
[package] | ||
name = "klee" | ||
version = "0.2.0" | ||
authors = ["Per Lindgren <per.lindgren@ltu.se>, Jorge Aparicio <jorge@japaric.io>"] | ||
edition = "2018" | ||
[dependencies] | ||
cstr_core = "0.1.2" | ||
[features] | ||
klee-analysis = [] | ||
klee-examples/.vscode/settings.json
0 → 100644
klee-examples/examples/get_sign.rs
0 → 100644
klee-examples/examples/gpioa.rs
deleted
100644 → 0
klee-examples/examples/modify.rs
deleted
100644 → 0
klee-examples/examples/registers.rs
deleted
100644 → 0
klee-examples/examples/systick.rs
deleted
100644 → 0
klee-examples/src/clk.rs
deleted
100644 → 0
klee-examples/src/clk_simple.rs
deleted
100644 → 0
klee-examples/src/foo.rs
deleted
100644 → 0
klee-examples/src/peripheral.rs
deleted
100644 → 0
klee-examples/src/register.rs
deleted
100644 → 0
src/lang_items.rs
deleted
100644 → 0
src/lib.rs
deleted
100644 → 0