Commit c751579

authored

Merge pull request #4498 from RalfJung/genmc-build

Add support for building and linking against genmc

2 parents b59c40e + 87b8cb0 commit c751579Copy full SHA for c751579

23 files changed

+1130

-42

lines changed

src/tools/miri
- .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

`‎src/tools/miri/.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)