|
|
|
@ac20062
|
10/07/21 17:23:18 |
frank.kuehndel |
spec: Ratemon: add unittest for code coverage
|
|
|
@30504ee
|
10/06/21 17:05:56 |
frank.kuehndel |
spec: Ratemon: get_status() test reset case
Add test case which uses …
|
|
|
@09c7ca8
|
10/06/21 17:04:54 |
frank.kuehndel |
spec: Ratemon: remove outdated comment
|
|
|
@d1a02a2
|
10/06/21 13:15:54 |
frank.kuehndel |
spec: Ratemon test: Adapt to reset postponed jobs
There was a change …
|
|
|
@a384c76
|
10/08/21 13:45:55 |
Sebastian Huber |
spec: Refine TQ timeout priority inherit spec
|
|
|
@c85c24e
|
10/08/21 13:34:05 |
Sebastian Huber |
spec: Refine TQ surrender priority inherit spec
|
|
|
@3aa4f12
|
10/06/21 07:49:11 |
Sebastian Huber |
spec: Add TQ enqueue priority inherit spec
|
|
|
@a4bc020
|
10/06/21 07:42:42 |
Sebastian Huber |
spec: Improve wording in TQ enqueue specs
|
|
|
@822f2ff
|
10/08/21 05:08:01 |
Sebastian Huber |
modules: Update rsb
|
|
|
@4284b19
|
10/06/21 07:30:40 |
Sebastian Huber |
config.yml: Enable unit tests
|
|
|
@ce9dc44
|
10/06/21 07:30:31 |
Sebastian Huber |
modules: Update rtems
|
|
|
@6f4f211
|
10/06/21 06:57:29 |
Sebastian Huber |
modules: Update rtems
|
|
|
@0884c62
|
10/06/21 06:32:54 |
Sebastian Huber |
spec: Disable clock driver for some test suites
|
|
|
@bc4d8f5
|
10/06/21 05:49:11 |
Sebastian Huber |
spec: Add unit tests for red-black trees
|
|
|
@8d6b28b
|
10/04/21 11:45:53 |
Sebastian Huber |
modules: Update rtems
|
|
|
@618e377
|
10/04/21 07:33:02 |
Sebastian Huber |
spec: Specify rate monotonic timeout
|
|
|
@d85282c
|
10/01/21 13:58:28 |
Sebastian Huber |
spec: Specify CPU usage reporting
|
|
|
@83d381e
|
10/01/21 13:10:45 |
Sebastian Huber |
spec: Improve rtems_task_set_affinity() spec
|
|
|
@f625305
|
10/01/21 06:00:14 |
Sebastian Huber |
items: Add support for arguments in substitutions
|
|
|
@409bd74
|
10/01/21 05:34:55 |
Sebastian Huber |
items: Remove support for pipe substitution
|
|
|
@23b95de
|
09/30/21 14:21:14 |
Sebastian Huber |
items: Add ItemMapper?.get_value_dictionary()
|
|
|
@17c938e
|
09/30/21 11:02:52 |
Sebastian Huber |
modules: Update rtems
|
|
|
@2f48804
|
09/30/21 11:02:15 |
Sebastian Huber |
generate_membench.py: Add task create workaround
|
|
|
@3166d0e
|
09/30/21 10:45:23 |
Sebastian Huber |
modules: Update rtems
|
|
|
@c4a758c
|
09/30/21 08:57:24 |
Sebastian Huber |
generate_membench.py: Add benchmarks
|
|
|
@740289e
|
09/30/21 07:15:55 |
Sebastian Huber |
spec: Move GRLIB group
|
|
|
@fdb80bd
|
09/29/21 12:20:13 |
Sebastian Huber |
modules: Update rtems
|
|
|
@110de4b
|
09/28/21 16:09:50 |
Sebastian Huber |
spec: Improve mutex seize wait
|
|
|
@660c763
|
09/29/21 09:15:05 |
Sebastian Huber |
glossary: Add C*, EDF, Futex, MrsP, and OpenMP
|
|
|
@b944b8a
|
09/28/21 16:14:42 |
Sebastian Huber |
spec: Improve thread queue enqueue FIFO test
|
|
|
@512a4a2
|
09/28/21 14:09:40 |
Sebastian Huber |
spec: Improve semaphore surrender
|
|
|
@fc13d69
|
09/28/21 12:38:27 |
Sebastian Huber |
spec: Specify scheduler helping detail
|
|
|
@579f9db
|
09/28/21 09:37:56 |
Sebastian Huber |
modules: Update rtems
|
|
|
@36095f1
|
09/28/21 09:37:44 |
Sebastian Huber |
spec: Use ts-config.h
|
|
|
@15922df
|
09/28/21 09:16:37 |
Sebastian Huber |
modules: Update rtems
|
|
|
@4bee688
|
09/28/21 08:08:46 |
Sebastian Huber |
specview.py: Improve item validation
|
|
|
@94ce3d7
|
09/28/21 08:49:53 |
Sebastian Huber |
spec: Fix format
|
|
|
@5e94831
|
09/28/21 08:50:26 |
Sebastian Huber |
spec: Mark some directive as not pre-qualified
|
|
|
@b2880bc
|
09/28/21 08:10:15 |
Sebastian Huber |
spec: Mark some acfg options as not pre-qualified
|
|
|
@d7fab03
|
09/28/21 06:34:13 |
Sebastian Huber |
spec: Add application configuration requirements
|
|
|
@3eeb04c
|
09/27/21 05:13:50 |
Sebastian Huber |
spec: Specify thread queue deadlock details
|
|
|
@ef19747
|
09/24/21 14:03:46 |
Sebastian Huber |
modules: Update rtems
|
|
|
@9955732
|
09/24/21 12:32:03 |
Sebastian Huber |
spec: Add usage constraints
|
|
|
@da64e79
|
09/24/21 12:10:46 |
Sebastian Huber |
specview.py: Enumerators do not need validation
|
|
|
@90ebc09
|
09/24/21 12:47:06 |
Sebastian Huber |
spec: Generalize register block specification
|
|
|
@65b3cf0
|
09/24/21 12:32:12 |
Sebastian Huber |
spec: Fix link role
|
|
|
@eb10db2
|
09/24/21 11:34:03 |
Sebastian Huber |
modules: Update rsb
|
|
|
@d05546b
|
09/24/21 11:32:06 |
Sebastian Huber |
modules: Update rtems
|
|
|
@b22a800
|
09/21/21 07:58:20 |
frank.kuehndel |
spec: add unit tests for kern_tc.c
Parts of the file …
|
|
|
@d03e133
|
09/17/21 19:38:03 |
frank.kuehndel |
spec: Unit tests Messge Queue Handler
|
|
|
@9d34d88
|
09/20/21 14:33:41 |
frank.kuehndel |
spec: Remove unused struct member
|
|
|
@f256d34
|
09/16/21 16:55:57 |
frank.kuehndel |
spec: Add STATIC_ANALYSIS and NOINIT specs
This specification is up …
|
|
|
@2b81226
|
09/18/21 13:14:40 |
Sebastian Huber |
spec: Specify <sys/lock.h> mutexes
|
|
|
@878b86d
|
09/20/21 07:28:38 |
Sebastian Huber |
glossary: Add OMIP
|
|
|
@bb951a8
|
09/24/21 09:04:56 |
Sebastian Huber |
spec: Add "function-implementation" link role
|
|
|
@3c60360
|
09/20/21 13:48:41 |
Sebastian Huber |
spec: Generalize semaphore release
|
|
|
@c4a9be6
|
09/24/21 07:40:56 |
Sebastian Huber |
spec: Move futex specification
|
|
|
@e3a2b9f
|
09/22/21 08:48:26 |
Sebastian Huber |
spec: Test thread queue API change
|
|
|
@b3f558d7
|
09/20/21 10:37:23 |
Sebastian Huber |
spec: Improve mutex try seize specification
|
|
|
@8c4f3fc
|
09/20/21 10:35:10 |
Sebastian Huber |
spec: Improve deadlock specification
|
|
|
@071e3e1
|
09/21/21 06:27:40 |
Sebastian Huber |
spec: Test thread queue API change
|
|
|
@196cf4b
|
09/20/21 06:07:56 |
Sebastian Huber |
spec: Update due to API changes
|
|
|
@c72a312
|
09/17/21 16:19:27 |
Sebastian Huber |
spec: Specify timeout with priority inherit
|
|
|
@04685df
|
09/17/21 13:07:36 |
Sebastian Huber |
spec: Specify priority change detail
|
|
|
@67072d2
|
09/17/21 11:03:31 |
Sebastian Huber |
spec: Use T_now_tick()
|
|
|
@a5fd743
|
09/17/21 09:28:04 |
Sebastian Huber |
spec: Specify one scheduler fatal error
|
|
|
@1926cec
|
09/16/21 14:53:16 |
Sebastian Huber |
spec: Thread pin/unpin with only one CPU
|
|
|
@f79346d
|
09/24/21 10:00:16 |
Sebastian Huber |
validation: Add mapper for unspecified functions
|
|
|
@3756347
|
09/21/21 18:15:58 |
Sebastian Huber |
validation: Fix skipping of transition variants
|
|
|
@279d1a8
|
09/16/21 12:34:15 |
Sebastian Huber |
spec: Add missing file
|
|
|
@afe410e
|
09/16/21 12:33:39 |
Sebastian Huber |
spec: Fix interface domain name
|
|
|
@971dea8
|
09/16/21 07:40:01 |
Sebastian Huber |
modules: Update rtems-docs
|
|
|
@9259923
|
09/16/21 07:33:26 |
Sebastian Huber |
modules: Update rtems
|
|
|
@be254b4
|
09/15/21 19:11:56 |
Sebastian Huber |
spec: Use external references for interfaces
|
|
|
@4cd035a
|
09/15/21 15:42:09 |
Sebastian Huber |
glossary: Swap lower and higher priority items
|
|
|
@dcecde1
|
09/15/21 10:34:43 |
Sebastian Huber |
specview.py: Improve no-validation filter
|
|
|
@f14d304
|
09/15/21 14:02:56 |
Sebastian Huber |
spec: Add and use /dev/if/domain
|
|
|
@4bbde5a
|
09/15/21 14:02:31 |
Sebastian Huber |
spec: Clarify /c/if/domain
|
|
|
@c1fb074
|
09/15/21 13:53:00 |
Sebastian Huber |
spec: Fix interface placement
|
|
|
@4ccf113
|
09/15/21 13:46:02 |
Sebastian Huber |
modules: Update rtems
|
|
|
@fc14d39
|
09/15/21 13:43:33 |
Sebastian Huber |
spec: Add unit test example
|
|
|
@0cac2f9
|
09/15/21 11:41:43 |
Sebastian Huber |
spec: Use design groups
|
|
|
@00ee27d
|
09/15/21 10:46:22 |
Sebastian Huber |
spec: Move _CPU_Fatal_halt() item
Add a validation by inspection.
|
|
|
@b65856c
|
09/15/21 08:56:41 |
Sebastian Huber |
spec: Generalize requirement references
|
|
|
@ee6caaa
|
09/15/21 09:42:49 |
Sebastian Huber |
spec: Fix rtems_message_queue_flush() docs
|
|
|
@861f3ad
|
09/15/21 08:58:09 |
Sebastian Huber |
spec: Fix futex specification
|
|
|
@aa1ec76
|
09/15/21 06:04:16 |
Sebastian Huber |
modules: Update rtems
|
|
|
@0af23e1
|
09/15/21 05:59:19 |
Sebastian Huber |
modules: Update rtems-docs
|
|
|
@d579832
|
09/14/21 15:40:40 |
Sebastian Huber |
spec: Fix message manager documentation
Remove bogus return status …
|
|
|
@8b4f848
|
09/13/21 07:53:17 |
Sebastian Huber |
glossary: Priorities
|
|
|
@248df1d
|
09/07/21 13:05:41 |
frank.kuehndel |
spec: Update message manager specification
|
|
|
@93ceaf9
|
09/14/21 13:04:38 |
Sebastian Huber |
score: Fix priority inheritance flush test
|
|
|
@dbfe1c69
|
09/14/21 12:58:06 |
Sebastian Huber |
spec: Fix enabled-by for some fatal errors
|
|
|
@b048c75
|
09/13/21 07:53:31 |
Sebastian Huber |
spec: Improve mutex seize specification
|
|
|
@415e8e2
|
09/13/21 13:05:11 |
Sebastian Huber |
validation: Fix pre-condition state handling
|
|
|
@5631f88
|
09/13/21 12:28:31 |
Sebastian Huber |
validation: Fix transition variants skip
|
|
|
@51213a3
|
09/13/21 13:58:16 |
Sebastian Huber |
content: Add default for optional parameters
|
|
|
@249cfa1
|
09/10/21 12:14:35 |
Sebastian Huber |
spec: Specify register block specification
|
|
|
@9bd6ca9
|
09/13/21 06:14:08 |
Sebastian Huber |
specdoc: Fix wording
|
|
|
@cfb295c
|
09/10/21 12:14:11 |
Sebastian Huber |
spec: Fix some attributes
|
|
|