Commit de8297d3 authored by Andreas Schmidt's avatar Andreas Schmidt
Browse files

README clarifications

parent 1104e039
......@@ -24,12 +24,13 @@ or on Windows:
If everything went fine, `git diff` should not return anything, as the code in [`/consert_edcc2021`](./consert_edcc2021) is exactly the same.
Note that if you do not have Rust installed, `cargo-fmt` is not available and `git diff` shows the missing formatting.
## Overview of the Code Synthesis Components
* Input Model File: [edcc2021.xml](./edcc2021.xml)
* Binaries for the Command-Line-Interface: [/bin](./bin)
* Binaries for the Command-Line-Interface: [bin](./bin)
* [Windows](./bin/
* [Linux](./bin/conserts-v0.1.4-x86_64-unknown-linux-musl.tar.gz)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment