Marko Durkovic
|
19f0678645
|
Update lint
|
2022-04-11 00:07:53 +02:00 |
|
Marko Durkovic
|
946f2edb42
|
Update copyright headers
|
2022-04-10 23:32:25 +02:00 |
|
Marko Durkovic
|
52480e2bad
|
Type generics and missing return types
|
2021-11-25 14:26:17 +01:00 |
|
Marko Durkovic
|
c55e81f375
|
Report faulty index on connection or chunk error
|
2021-10-21 19:13:33 +02:00 |
|
Marko Durkovic
|
885900df39
|
Make reader1 API match reader2
|
2021-09-13 10:49:57 +02:00 |
|
Marko Durkovic
|
5bd1bcbd83
|
Use built-in collections as generic types
|
2021-08-06 18:13:33 +02:00 |
|
Marko Durkovic
|
f33e65b14a
|
Change to connection oriented reader API
|
2021-08-06 18:13:33 +02:00 |
|
Marko Durkovic
|
12acb677e6
|
Use half-open intervals for time ranges
|
2021-07-05 17:48:36 +02:00 |
|
Marko Durkovic
|
c2bbeec7aa
|
Make optional connection header fields available
|
2021-07-05 17:48:36 +02:00 |
|
Marko Durkovic
|
4de0c99274
|
Add rosbag1 support
|
2021-05-16 17:40:53 +02:00 |
|