|
|
fd31adc19e
|
cleaner impl, tests
|
2023-07-07 20:04:33 +02:00 |
|
|
|
b8c338c91c
|
these counter types are more useful
|
2023-07-07 19:49:11 +02:00 |
|
|
|
42775c0bb7
|
improve and fix sequence counters
|
2023-07-07 01:25:23 +02:00 |
|
|
|
bc65cae3ec
|
simplifications for verification reporter
|
2023-07-05 17:24:53 +02:00 |
|
|
|
7a2d518a8c
|
docs fixes
|
2023-01-25 10:52:24 +01:00 |
|
|
|
a665b04844
|
re-add satrs-core without git submoudule
|
2023-01-11 10:30:03 +01:00 |
|
|
|
f24b27ccaf
|
remove satrs-core to replace with submodule
|
2023-01-11 09:49:34 +01:00 |
|
|
|
245388fafa
|
remove mut bound for seq counter impl
|
2023-01-03 17:20:17 +01:00 |
|
|
|
328a060e9c
|
its not that easy..
|
2023-01-03 16:54:01 +01:00 |
|
|
|
b5d3b47056
|
maybe this will work for bare metal code as well
|
2023-01-03 16:35:23 +01:00 |
|
|
|
74c3f78183
|
some more docs added
|
2023-01-03 14:36:43 +01:00 |
|
|
|
c606bfae5a
|
add SequenceCountProvider blanket impl
|
2023-01-03 13:09:14 +01:00 |
|
|
|
f8cd28c4f5
|
dyn-clone also requires alloc..
|
2023-01-03 01:00:51 +01:00 |
|
|
|
e06cadd088
|
overflow handling
|
2022-11-21 10:56:43 +01:00 |
|
|
|
6b93a9fce1
|
some docs and corrections
|
2022-11-21 10:39:48 +01:00 |
|
|
|
607d53942a
|
lock not required anymore
|
2022-11-21 10:28:31 +01:00 |
|
|
|
43a1fb90ce
|
trying to avoid locking whole verification reporter
|
2022-11-21 10:16:15 +01:00 |
|
