Commit 8c9d50a

authored and

committed

Add support for building and linking against genmc

1 parent 0ac45b1 commit 8c9d50aCopy full SHA for 8c9d50a

24 files changed

+1160

-42

lines changed

.gitignore
Cargo.lock
Cargo.toml
doc
- genmc.md
etc
- rust_analyzer_helix.toml
- rust_analyzer_vscode.json
genmc-sys
- .gitignore
- Cargo.toml
- build.rs
- src_cpp
  - MiriInterface.cpp
  - MiriInterface.hpp
- src
  - lib.rs
miri-script/src
- commands.rs
src
- bin
  - miri.rs
- concurrency
  - genmc
  - mod.rs
  - thread.rs
- eval.rs
- machine.rs
tests
- genmc/pass
  - test_cxx_build.rs
  - test_cxx_build.stderr
- ui.rs

24 files changed

+1160

-42

lines changed

`‎.gitignore`

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	`target`
`2`		`-/doc`
`3`	`2`	`tex/*/out`
`4`	`3`	`*.dot`
`5`	`4`	`*.out`

Comments

(0)