Matthias Volk

icon indicating a website link https://volkm.github.io/

icon company Eindhoven University of Technology icon location Eindhoven icon location Assistant Professor at TU/e. Previously at University of Twente and RWTH Aachen University @moves-rwth

Results 86 comments of Matthias Volk

std::optional vs boost::optional

I am also in favour of using features from std whenever possible.

std::optional vs boost::optional

As a follow-up, other constructs such as `boost::any` can possibly also be replaced.

std::optional vs boost::optional

I personally would prefer the former. Then we have one dedicated commit which changes this behaviour, and we can also make sure that certain constructs are not occurring anymore. Otherwise,...

Parsing schedulers and applying them via the command line

Just for clarification: using stormpy is not an option?

Contribution guide

Can you give us some details which type of algorithm you plan to add? Then we can give you some suggestions and pointers. An overview of some developer guidelines can...

Compile Times

Just for (my) documentation: - traces can also be viewed with [Firefox profiler](https://profiler.firefox.com/), [Speedscope](https://www.speedscope.app/) or [Perfetto](https://ui.perfetto.dev). - [ninjatracing](https://github.com/nico/ninjatracing) for creating json files from ninja build log

remove an instance of boost::any

I can rerun the jobs for some reason. Let's see whether it works the second time.

refactoring towards compile speed

LGTM but there is an `#include ` missing, see CI.

can't check DTMC model

The formula is not supported in your Storm installation because the Spot library is missing. Spot provides support for LTL formula. You could reinstall Storm with support for Spot (How...

can't check DTMC model

I am happy to hear that rewriting the formula allowed you to perform the analysis. Regarding building your own models: After you have built the transition matrix and other components...