- Aug 17, 2021
-
-
Martin Christoph Hierholzer authored
-
- Aug 13, 2021
-
-
d-rothe authored
* spec tests: Data validity propagation * update documentation links spec <-> tests Co-authored-by:
Dietrich Rothe <dietrich.rothe@desy.de>
-
- Jun 03, 2021
-
-
Martin Killenberg authored
-
- Jun 02, 2021
-
-
Martin Killenberg authored
-
- May 31, 2021
-
-
Martin Killenberg authored
-
Martin Killenberg authored
-
- Aug 10, 2020
-
-
Martin Killenberg authored
-
- Aug 05, 2020
-
-
Martin Killenberg authored
data validity propagation spec: Removed DataValidityCounter object, which simplifies the spec and the implementation.
-
Martin Killenberg authored
-
- Jul 09, 2020
-
-
Christoph Kampmeyer authored
- Added requirement that receivers are faulty on construction (1.8) - Clarified that validity can be set by the user code in 2.1.5
-
- May 20, 2020
-
-
Martin Killenberg authored
-
Martin Killenberg authored
-
- May 11, 2020
-
-
Martin Christoph Hierholzer authored
[wip] exception handling spec (and other specs): fix numbering, fix broken references, add links for all references
-
- Apr 03, 2020
-
-
Martin Killenberg authored
-
- Mar 31, 2020
-
-
Martin Killenberg authored
-
Martin Killenberg authored
-
Martin Killenberg authored
-
Martin Killenberg authored
-
- Mar 05, 2020
-
-
Martin Killenberg authored
-