|
|
|
@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
|
|
|
@94d88e4
|
09/09/21 13:29:54 |
Sebastian Huber |
spec: Document the user extension manager
|
|
|
@4c2144f
|
09/09/21 14:36:23 |
Sebastian Huber |
interface: Add parameters and return to typedefs
|
|
|
@ccf334e
|
09/09/21 14:41:45 |
Sebastian Huber |
interface: Simplify return attribute
|
|
|
@67b229d
|
09/09/21 13:03:01 |
Sebastian Huber |
spec: Fix rtems_rate_monotonic_get_status() test
|
|
|
@c34a930
|
09/09/21 07:06:20 |
Sebastian Huber |
spec: Specify semaphore obtain timeouts
|
|
|
@2d4c4a2
|
09/09/21 08:43:06 |
Sebastian Huber |
transitionmap: Fix pre-condition summary
|
|
|
@4644a83
|
09/08/21 12:35:10 |
Sebastian Huber |
spec: Document the cache manager
|
|
|
@2c4e35b
|
09/14/21 12:32:17 |
Sebastian Huber |
spec: Fix variable substitution
|
|
|
@67ad8f7
|
09/08/21 11:57:42 |
Sebastian Huber |
spec: Add requirement texts
|
|
|
@82da385
|
09/08/21 11:51:10 |
Sebastian Huber |
modules: Update rtems
|
|
|
@338ff25
|
09/08/21 07:21:32 |
Sebastian Huber |
spec: Specify MrsP special case
|
|
|
@e7c122c
|
09/08/21 06:27:37 |
Sebastian Huber |
spec: Specify bad sticky thread queue enqueue
|
|
|
@f37d7e9
|
09/07/21 07:31:38 |
Sebastian Huber |
spec: Specify rtems_semaphore_flush()
|
|
|
@3cd32df
|
09/07/21 13:13:25 |
Sebastian Huber |
spec: Fix fatal error specification
|
|
|
@c7e73b5
|
09/07/21 12:59:42 |
Sebastian Huber |
spec: Fix sporadic test failures
|
|
|
@b71c41d
|
09/07/21 11:55:08 |
Sebastian Huber |
spec: Reorganize test suites
|
|
|
@e5ea4be
|
09/07/21 07:00:40 |
Sebastian Huber |
spec: Specify message storage free handler
|
|
|
@53ba7fb
|
09/07/21 06:37:19 |
Sebastian Huber |
spec: Simplify message queue construct
|
|
|
@8f73057
|
09/07/21 06:24:54 |
Sebastian Huber |
spec: Improve timer order test
|
|
|
@1481d95
|
09/07/21 06:13:57 |
Sebastian Huber |
spec: Improve TLS specification
|
|
|
@60d295a
|
09/06/21 14:21:55 |
Sebastian Huber |
modules: Update rtems
|
|
|
@9797da6
|
09/06/21 14:00:56 |
Sebastian Huber |
spec: Improve thread pinning test case
|
|
|
@44cf7af
|
09/06/21 13:38:28 |
Sebastian Huber |
spec: Specifiy timer fire order
|
|
|
@1eba46e
|
09/06/21 12:21:56 |
Sebastian Huber |
modules: Update rtems
|
|
|
@e7e15c3
|
09/03/21 15:36:44 |
Sebastian Huber |
spec: Specify thread pinning
|
|
|
@2944697
|
09/06/21 11:21:04 |
Sebastian Huber |
spec: Take TOD hooks into account
|
|
|
@833ef156
|
09/06/21 10:57:30 |
Sebastian Huber |
spec: Adjust to new latest valid time of day
|
|
|
@43004fa
|
09/06/21 10:30:22 |
Sebastian Huber |
spec: Use TEST_MINIMUM_STACK_SIZE
|
|
|
@debee86
|
09/06/21 10:30:03 |
Sebastian Huber |
modules: Update rtems-docs
|
|
|
@0f905a0
|
09/03/21 13:40:45 |
Sebastian Huber |
spec: Document time of day constraints
|
|
|
@9d58e78
|
09/02/21 14:42:09 |
Sebastian Huber |
spec: Specify some C library functions
|
|
|
@67a358c
|
09/02/21 14:48:33 |
Sebastian Huber |
validation: Fix empty test context
|
|
|