Tags

Tags give the ability to mark specific points in history as being important

release-0.8.9
protected

8ca9bfa0 · Add BATT_REQUIRE_EQ, ... macros to return non-Ok status when a condition fails. · Aug 11, 2022
```
(no message)
```
release-0.8.8
protected

6ec4df55 · Allow Optional<T> to be printable when T is not (using make_printable). · Aug 10, 2022
```
(no message)
```
release-0.8.7
protected

77f8ecab · Use make_printable for other state type instances in StochasticModelChecker. · Aug 10, 2022
```
(no message)
```
release-0.8.6
protected

19cece88 · Use `make_printable` for model state types. · Aug 10, 2022
```
(no message)
```
release-0.8.5
protected

13b355e1 · Add pluggable state machine model checker implementations: exhaustive and stochastic. · Aug 10, 2022
```
(no message)
```
release-0.8.4
protected

58312189 · Make the RadixQueue size for StateMachine configurable at compile time. · Aug 08, 2022
```
(no message)
```
release-0.8.3
protected

be98128c · Fix methods of StateMachineEntropySource to be `const`. · Aug 08, 2022
```
(no message)
```
release-0.8.2
protected

c5bb8a26 · Fix flaky test; restore release pipelines. · Aug 08, 2022
```
(no message)
```
release-0.8.1
protected

07d2b53b · Add StateMachineEntropySource to allow state machines to pass around the · Aug 08, 2022
```
(no message)
```
release-0.8.0
protected

df9c7877 · Add pick_branch. · Aug 03, 2022
```
(no message)
```
release-0.7.3
protected

df9c7877 · Add pick_branch. · Aug 03, 2022
```
(no message)
```
release-0.7.2
protected

4c4ef190 · Minor enhancements to StateMachineModel. · Aug 03, 2022
```
(no message)
```
release-0.7.1
protected

afcb15db · Make sure config.hpp is included everywhere; add some missing copyrights. · Aug 02, 2022
```
(no message)
```
release-0.7.0
protected

98d5e695 · Add parallel_transform algo; fix parallel_copy unit test (ScopedWorkContext). · Jul 28, 2022
```
(no message)
```
release-0.6.17
protected

98d5e695 · Add parallel_transform algo; fix parallel_copy unit test (ScopedWorkContext). · Jul 28, 2022
```
(no message)
```
release-0.6.16
protected

d0ca1e8d · fix docker image sha · Jul 20, 2022
```
(no message)
```
release-0.6.15
protected

b5ec8744 · Small fixes to Status and dump_hex; remove non-working Doxygen from CMakeLists · Jul 20, 2022
```
(no message)
```
release-0.6.14
protected

15a3e029 · Make `inside_work_fn_` bool Task-scoped instead of thread_local. · Jul 13, 2022
```
(no message)
```
release-0.6.13
protected

db47d56f · Add scripts to export(). · Jul 13, 2022
```
(no message)
```
release-0.6.12
protected

02cd057c · Add clang tools to the docker image. · Jul 13, 2022
```
(no message)
```

1
…
10
11
12
13
14
15
16
17