From f2cc8f4f6c38378216d27554653ffbfce3dee29d Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Wed, 2 Jan 2019 10:50:07 +0100
Subject: [PATCH] cortex-m-rt not yet updated
---
Cargo.toml | 11 ++---------
1 file changed, 2 insertions(+), 9 deletions(-)
diff --git a/Cargo.toml b/Cargo.toml
index 485c2ef..fa1ddd1 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -6,12 +6,10 @@ license = "MIT OR Apache-2.0"
name = "stm32f413"
version = "0.3.0"
-
[patch.crates-io]
-volatile-register = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git", branch = "klee-analysis" }
-#volatile-register = { path = "../../klee/volatile-register/" }
+vcell = { git = "https://github.com/perlindgren/vcell.git" }
+volatile-register = { git = "https://github.com/perlindgren/volatile-register.git" }
cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee-analysis" }
-#cortex-m = { path = "../../cortex-m" }
[dependencies]
bare-metal = "0.2.4"
@@ -24,11 +22,6 @@ version = "0.6.0"
optional = true
version = "0.6.5"
-#[dependencies.klee]
-#optional = true
-#path = "../."
-##version = "0.6.5"
-
[features]
rt = ["cortex-m-rt/device"]
klee-analysis = ["cortex-m/klee-analysis", "vcell/klee-analysis"]
\ No newline at end of file
--
GitLab