| Missing ']' |
|
More...
|
almost 2 years ago
|
| Fix compilation error with clang 11.0.1. |
|
More...
|
almost 2 years ago
|
| Enable _GLIBCXX_DEBUG for one of the builds. |
|
More...
|
almost 2 years ago
|
| Merge branch 'maximal-subset-search' into 'master' |
|
More...
|
almost 2 years ago
|
| Sonar smells. |
|
More...
|
almost 2 years ago
|
| Don't clear flops_amount on ExecImpl::reset. |
|
More...
|
almost 2 years ago
|
| Quick tests show that currentContainer is always empty at this point. |
|
More...
|
almost 2 years ago
|
| try to use another mattermost action, as the main one is linux only (uses docker) |
|
More...
|
almost 2 years ago
|
| [ci-skpi] fix sending of messages, and do parallel testing on github action |
|
More...
|
almost 2 years ago
|
| assume mmap is not functional for us on macos>=11 as memory accesses are restricted by default |
|
More...
|
almost 2 years ago
|
| [ci skip] remove spurious line |
|
More...
|
almost 2 years ago
|
| add macos build to github action, untested |
|
More...
|
almost 2 years ago
|
| remove ns3 from ubuntu stable and github actions, as 3.35 is broken on 22.04 |
|
More...
|
almost 2 years ago
|
| Walking the stack in the forward direction gives the same result, but makes the code simpler. |
|
More...
|
almost 2 years ago
|
| Fix a useless change -- and go get some sleep |
|
More...
|
almost 2 years ago
|
| Bump cmake to at least 3.12 |
|
More...
|
almost 2 years ago
|
| python3-dev is another dependency of the Python bindings |
|
More...
|
almost 2 years ago
|
| Reindent -- almost no real change |
|
More...
|
almost 2 years ago
|
| Forgot to add c++17g to the "ignore" list. |
|
More...
|
almost 2 years ago
|
| fix MC + gcc builds |
|
More...
|
almost 2 years ago
|
| Add computation for minimally reproducible sets |
|
More...
|
almost 2 years ago
|
| Move the implem of a function out of the header to reduce issues |
|
More...
|
almost 2 years ago
|
| Correct MANIFEST.in according to `make distcheck` |
|
More...
|
almost 2 years ago
|
| Filter events before performing iteration |
|
More...
|
almost 2 years ago
|
| Move the PageStore from ModelChecker to RemoteApp |
|
More...
|
almost 2 years ago
|
| Move the stats of visited_states count from ModelChecker to DFSExplorer where it belongs |
|
More...
|
almost 2 years ago
|
| Move the dot_output from ModelChecker to Exploration |
|
More...
|
almost 2 years ago
|
| One reference to the global singleton mc_model_checker that I'd like to kill |
|
More...
|
almost 2 years ago
|
| Rename some fields to obey our coding standard |
|
More...
|
almost 2 years ago
|
| Simplify assertions. |
|
More...
|
almost 2 years ago
|
