Unverified Commit 261b0244 authored by Merlin's avatar Merlin 💧
Browse files

Updated executable references

parent 1bcaab02
Pipeline #10987 failed
......@@ -15,12 +15,8 @@ We provide multiple options to get your hands on an up to date COOL executables:
- Docker images unter `cs8service/cool` tagged with the branch they were published from i.e. `cs8service/cool:master` would give you the latest release candidate of COOL.
You could e.g. use it to check coalition logic formulas `echo '<{1 2}> C & [{1 2}] ~C' | docker run -i cs8service/cool:master sat CL`
- A prebuilt static binary of the latest release candidate is available as [`cool-static`](https://git8.cs.fau.de/software/cool/-/jobs/artifacts/master/file/cool-static?job=nix-build).
Run it e.g. `cool-static sat CL <<< '<{1 2}> C & [{1 2}] ~C'`
- All the additional binaries of the project are available as nix-bundles (basically a wrapper like an AppImage to make the executables portable by including their dynamic dependencies) as [job artefacts](https://git8.cs.fau.de/software/cool/-/jobs/artifacts/master/browse?job=nix-bundle).
Not that the wrapping adds about 200ms of thartup time so **don't use the bundles for benchmarking of fast things where the additional 200ms would be significant**.
- Dynamically linked executables without dependencies are also available [in the artefacts](https://git8.cs.fau.de/software/cool/-/jobs/artifacts/master/browse/dynamic?job=build).
Run it e.g. `coalg.exe sat CL <<< '<{1 2}> C & [{1 2}] ~C'`.
Note that these are Linux executables despite the Windows looking `.exe` suffix.
Run it e.g. `coalg sat CL <<< '<{1 2}> C & [{1 2}] ~C'`
- Dynamically linked executables without included dependencies are also available [in the artefacts](https://git8.cs.fau.de/software/cool/-/jobs/artifacts/master/browse/dynamic?job=build).
There are additional features yet to be merged so use at your own risk:
......@@ -29,7 +25,6 @@ There are additional features yet to be merged so use at your own risk:
The current master can only work with **alternation free** mu-calculi so if you want to work with **aconjunctive** mu-calculi you should look into [the `pgsolver` branch](https://git8.cs.fau.de/software/cool/-/tree/pgsolver) and the related artefacts:
- Docker images unter `cs8service/cool:pgsolver`
- [`cool-static`](https://git8.cs.fau.de/software/cool/-/jobs/artifacts/pgsolver/file/cool-static?job=nix-build)
- [Bundles](https://git8.cs.fau.de/software/cool/-/jobs/artifacts/pgsolver/browse?job=nix-bundle)
- [Dynamically linked executables](https://git8.cs.fau.de/software/cool/-/jobs/artifacts/pgsolver/browse/dynamic?job=build).
#### Modelchecking
......@@ -37,7 +32,6 @@ The current master can only work with **alternation free** mu-calculi so if you
If you want to do modelchecking you should look into [the `modcheck` branch](https://git8.cs.fau.de/software/cool/-/tree/modcheck) and the related artefacts:
- Docker images unter `cs8service/cool:modcheck`
- [`cool-static`](https://git8.cs.fau.de/software/cool/-/jobs/artifacts/modcheck/file/cool-static?job=nix-build)
- [Bundles](https://git8.cs.fau.de/software/cool/-/jobs/artifacts/modcheck/browse?job=nix-bundle)
- [Dynamically linked executables](https://git8.cs.fau.de/software/cool/-/jobs/artifacts/modcheck/browse/dynamic?job=build).
### Nix
......@@ -62,7 +56,7 @@ On Debian, Ubuntu or other `apt` based Linux distrubutions you can use [the setu
### Building from Source
To build the cool executable
To build the cool executables
```
dune build
```
......@@ -115,9 +109,7 @@ Some formulas are
So call for example:
```bash
./coalg.exe sat CL <<< '<{ 1 2 }> C & [{ 1 2 }] ~C'
# or via the static executable
./cool-static sat CL <<< '<{ 1 2 }> C & [{ 1 2 }] ~C'
./coalg sat CL <<< '<{ 1 2 }> C & [{ 1 2 }] ~C'
# or via docker
echo '<{1 2}> C & [{1 2}] ~C' | docker run -i cs8service/cool:master sat CL
```
......
......@@ -10,6 +10,6 @@ dockerTools.buildImage {
contents = cool;
config = {
Entrypoint = [ "/bin/cool" ];
Entrypoint = [ "/bin/coalg" ];
};
}
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