Daniel Schemmel

Kdalloc was written in C++17, and does use some C++17 features. We should not currently be relying on any C++17 features for performance, so, if you prefer, I can change...

The following, much simpler enum also crashes rustc due to logos: ```rust #[derive(logos::Logos)] pub enum LogosToken { #[regex(r#"a(?:(?:'|'')[b'[^']])*"#)] Problem, #[error] Error, } ```

@251 - I have applied your diff - the files now have license headers (this does not make them change licenses) - "preceeding" became "preceding" and "restort" became "restore" -...

>@danielschemmel do you have any preference between `--kdalloc` and `--allocate-determ`? As I said, I prefer `--kdalloc` as it's descriptive, eliminates confusion with the old option, and is in sync with...

> * It adds an extra namespace next to KLEE and not being part of the `namespace klee` I like different namespaces for things that can be separated. How do...

- All cli arguments are now `--kdalloc` - `kdalloc/util` is gone - this caused some changes to `include/klee/ADT/Bits.h` - `::kdalloc` became `::klee::kdalloc` - `include/kdalloc` became `include/klee/KDAlloc` - reformatted every change...

I would like to suggest just using the full name `ExecutionTree` with full arguments like `-write-execution-tree`. There is not that much to gain by saving a few keystrokes.

@ccadar The issues should be addressed in this version (`CrosscheckCoreStpZ3.c` now takes

Done

@MartinNowack Rebased, let's see the results