Commit a9b8be4

authored

Merge pull request #4498 from RalfJung/genmc-build

Add support for building and linking against genmc

2 parents 1fc3bc9 + 9fb3bbb commit a9b8be4Copy full SHA for a9b8be4

23 files changed

+1130

-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
- eval.rs
- machine.rs
tests
- genmc/pass
  - test_cxx_build.rs
  - test_cxx_build.stderr
- ui.rs

23 files changed

+1130

-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)