|
|
|
@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
|
|
|
@5a2c3a4
|
09/02/21 13:29:30 |
Sebastian Huber |
modules: Update rtems
|
|
|
@afaceb4
|
09/02/21 13:27:17 |
Sebastian Huber |
spec: Simplify rtems_interrupt_entry_remove()
Use …
|
|
|
@a15261c
|
09/02/21 12:56:04 |
Sebastian Huber |
spec: Specify <sys/lock.h>
|
|
|
@ac4ec32
|
09/02/21 12:45:41 |
Sebastian Huber |
spec: Fix substitutions
|
|
|
@8a7871e
|
09/02/21 11:32:12 |
Sebastian Huber |
modules: Update rtems
|
|
|
@9f4f0ce
|
08/19/21 13:20:16 |
frank.kuehndel |
spec: Partially specify message manager
|
|
|
@9e0fdc1
|
09/02/21 11:26:26 |
Sebastian Huber |
spec: Add LIFO to glossary
|
|
|
@569d2b3
|
09/02/21 07:49:41 |
Sebastian Huber |
build: Add option to omit test header files
|
|
|
@cc2b4aa
|
08/31/21 13:18:31 |
Sebastian Huber |
spec: Specify futex operations
|
|
|
@d97cdbc
|
09/01/21 15:53:21 |
Sebastian Huber |
modules: Update rsb
|
|
|
@f6659c1c
|
08/31/21 05:27:47 |
Sebastian Huber |
modules: Update rtems
|
|
|
@ab92ddc
|
08/31/21 05:10:02 |
Sebastian Huber |
modules: Update rtems-docs
|
|
|
@48ce03a
|
08/30/21 14:27:11 |
Sebastian Huber |
spec: Add conditional build dependencies
|
|
|
@b1dd795
|
08/30/21 14:21:13 |
Sebastian Huber |
spec: Document build option
|
|
|
@2085243
|
08/17/21 15:32:35 |
Sebastian Huber |
validation: Add ${.:/test-context-type}
Add and use …
|
|
|
@a6bba0d
|
08/17/21 15:27:43 |
Sebastian Huber |
spec: Move TQ get owner to base context
|
|
|
@6dfe4e0
|
08/17/21 08:26:19 |
Sebastian Huber |
modules: Update rtems
|
|
|
@520bc152
|
08/17/21 08:13:49 |
Sebastian Huber |
validation: Simplify mapper customization
|
|
|
@b8ef80b
|
08/17/21 07:37:03 |
Sebastian Huber |
modules: Update rtems
|
|
|
@41ca85e
|
08/17/21 07:35:27 |
Sebastian Huber |
spec2modules.py: Add target files option
|
|
|
@600a975
|
08/16/21 17:13:53 |
Sebastian Huber |
spec: Remove space profile test suite
|
|
|
@6e02ba4
|
08/16/21 09:51:09 |
Sebastian Huber |
spec: Specify initial modes in task construction
|
|
|
@d0b9a1a
|
08/13/21 11:54:32 |
Sebastian Huber |
spec: Specify floating-point task construction
|
|
|
@8293cd4
|
08/13/21 07:52:04 |
Sebastian Huber |
spec: Improve rtems_task_construct() validation
Call …
|
|
|
@713d94b
|
08/13/21 18:08:29 |
Sebastian Huber |
validation: Add ${.:skip} for action requirements
Add support to skip …
|
|
|
@1574e66
|
08/16/21 10:19:27 |
Sebastian Huber |
validation: Move parts of loop body to a function
|
|
|
@54e9530
|
08/13/21 20:26:16 |
Sebastian Huber |
validation: Move map index/entry to context
|
|
|
@5f798f4
|
08/13/21 19:49:52 |
Sebastian Huber |
validation: Simplify pre-condition N/A support
|
|
|
@93c6ede
|
08/12/21 14:14:44 |
Sebastian Huber |
modules: Update rtems
|
|
|
@fd2405a
|
08/12/21 13:17:00 |
Sebastian Huber |
spec: Specify priority ceiling violation
|
|
|
@0b697e8
|
08/12/21 06:30:33 |
Sebastian Huber |
modules: Update rtems
|
|
|
@39cc1c1
|
08/12/21 06:28:12 |
Sebastian Huber |
spec: Improve coverage
Use a larger than normal CPU set.
|
|
|
@34701f8
|
08/11/21 13:47:04 |
Sebastian Huber |
spec: Specify priority ceiling violation
|
|
|
@5bf5cc6
|
08/11/21 12:50:06 |
Sebastian Huber |
spec: Specify per-processor jobs order
|
|
|
@18fe81a0
|
08/11/21 12:04:12 |
Sebastian Huber |
spec: Specify rtems_status_text()
|
|
|
@cde8481
|
08/11/21 09:01:52 |
Sebastian Huber |
spec: Test default values of acfg options
|
|
|
@c2e657b
|
08/11/21 08:48:12 |
Sebastian Huber |
spec: Specify thread-local storage
|
|
|
@02c729f
|
08/11/21 08:00:26 |
Sebastian Huber |
spec: Improve rtems_task_wake_after()
|
|
|
@8ad304a
|
08/10/21 15:40:46 |
Sebastian Huber |
modules: Update rtems
|
|
|
@9273501
|
08/10/21 15:08:58 |
Sebastian Huber |
modules: Update rtems
|
|
|
@a19cb21
|
08/10/21 15:04:22 |
Sebastian Huber |
spec: Clarify rtems_task_construct()
|
|
|
@5008d31
|
08/10/21 11:59:04 |
Sebastian Huber |
spec: Specify a thread termination error condition
|
|
|
@5d4bd09
|
08/10/21 10:47:28 |
Sebastian Huber |
spec: Improve rtems_partition_return_buffer()
|
|
|
@3482edb
|
08/10/21 08:31:24 |
Sebastian Huber |
modules: Update rtems
|
|
|
@7f57b1e
|
08/10/21 08:29:29 |
Sebastian Huber |
spec: Add code coverage support for _Terminate()
|
|
|
@f57e1ee
|
08/10/21 08:12:01 |
Sebastian Huber |
spec: Improve branch coverage
|
|
|
@470cc52
|
08/10/21 06:53:42 |
Sebastian Huber |
spec: Improve rtems_interrupt_entry_install() test
|
|
|
@e380268
|
08/09/21 19:06:21 |
Sebastian Huber |
modules: Update rsb
|
|
|
@5cb9a82
|
08/09/21 16:02:35 |
Sebastian Huber |
modules: Update rtems
|
|
|
@0a3498e
|
08/09/21 16:01:16 |
Sebastian Huber |
modules: Update rsb
|
|
|