# # ChangeLog for / in rtems-central # # Generated by Trac 1.2.1.dev0 # 06/15/24 23:33:27 Wed, 08 Sep 2021 11:57:42 GMT Sebastian Huber [67ad8f7] * spec/rtems/event/req/send-receive.yml (modified) * spec/rtems/req/ident-local.yml (modified) * spec/rtems/req/ident.yml (modified) spec: Add requirement texts Wed, 08 Sep 2021 11:51:10 GMT Sebastian Huber [82da385] * modules/rtems (modified) modules: Update rtems Wed, 08 Sep 2021 07:21:32 GMT Sebastian Huber [338ff25] * spec/rtems/sem/req/mrsp-prio-change-while-waiting.yml (added) * spec/rtems/sem/val/smp.yml (modified) spec: Specify MrsP special case Wed, 08 Sep 2021 06:27:37 GMT Sebastian Huber [e7c122c] * spec/rtems/sem/val/smp.yml (added) * spec/score/interr/if/thread-queue-enqueue-sticky-from-bad-state.yml (added) * spec/score/tq/req/fatal-enqueue-sticky-from-bad-state.yml (added) spec: Specify bad sticky thread queue enqueue Tue, 07 Sep 2021 07:31:38 GMT Sebastian Huber [f37d7e9] * spec/rtems/sem/req/flush.yml (added) * spec/score/tq/req/flush-fifo.yml (modified) * spec/score/tq/req/flush-priority-inherit.yml (added) * spec/score/tq/req/flush-priority.yml (added) spec: Specify rtems_semaphore_flush() Tue, 07 Sep 2021 13:13:25 GMT Sebastian Huber [3cd32df] * spec/score/thread/req/fatal-bad-thread-dispatch-environment-ipi.yml (moved) * spec/score/thread/req/fatal-bad-thread-dispatch-environment-robust.yml (added) * spec/score/val/fatal.yml (modified) spec: Fix fatal error specification Tue, 07 Sep 2021 12:59:42 GMT Sebastian Huber [c7e73b5] * spec/rtems/signal/req/send.yml (modified) spec: Fix sporadic test failures Tue, 07 Sep 2021 11:55:08 GMT Sebastian Huber [b71c41d] * spec/testsuites/validation-1.yml (modified) * spec/testsuites/validation-no-clock-0.yml (moved) * spec/testsuites/validation-one-cpu-0.yml (added) * spec/testsuites/validation-one-cpu-1.yml (added) spec: Reorganize test suites Tue, 07 Sep 2021 07:00:40 GMT Sebastian Huber [e5ea4be] * spec/rtems/message/req/construct.yml (moved) spec: Specify message storage free handler Tue, 07 Sep 2021 06:37:19 GMT Sebastian Huber [53ba7fb] * spec/rtems/message/req/construct-errors.yml (modified) spec: Simplify message queue construct Tue, 07 Sep 2021 06:24:54 GMT Sebastian Huber [8f73057] * spec/rtems/timer/val/timer.yml (modified) spec: Improve timer order test Tue, 07 Sep 2021 06:13:57 GMT Sebastian Huber [1481d95] * config.yml (modified) * spec/score/thread/req/tls-initialized-data.yml (modified) * spec/score/thread/req/tls-max-zero.yml (added) * spec/score/thread/req/tls-zero-initialized-data.yml (modified) * spec/testsuites/validation-tls-1.yml (added) spec: Improve TLS specification Mon, 06 Sep 2021 14:21:55 GMT Sebastian Huber [60d295a] * modules/rtems (modified) modules: Update rtems Mon, 06 Sep 2021 14:00:56 GMT Sebastian Huber [9797da6] * spec/score/thread/val/smp.yml (modified) spec: Improve thread pinning test case Mon, 06 Sep 2021 13:38:28 GMT Sebastian Huber [44cf7af] * spec/rtems/timer/req/fire-order.yml (added) * spec/rtems/timer/val/timer.yml (added) spec: Specifiy timer fire order Mon, 06 Sep 2021 12:21:56 GMT Sebastian Huber [1eba46e] * modules/rtems (modified) modules: Update rtems Fri, 03 Sep 2021 15:36:44 GMT Sebastian Huber [e7e15c3] * spec/score/thread/req/pinning-helping.yml (added) * spec/score/thread/req/pinning-nested.yml (added) * spec/score/thread/req/pinning-preemptible.yml (added) * spec/score/thread/req/pinning-unpin-suspended.yml (added) * spec/score/thread/req/pinning.yml (added) * spec/score/thread/val/smp.yml (added) spec: Specify thread pinning Mon, 06 Sep 2021 11:21:04 GMT Sebastian Huber [2944697] * spec/rtems/clock/req/set.yml (modified) spec: Take TOD hooks into account Mon, 06 Sep 2021 10:57:30 GMT Sebastian Huber [833ef156] * spec/rtems/clock/req/get-tod.yml (modified) * spec/rtems/clock/req/set.yml (modified) spec: Adjust to new latest valid time of day Mon, 06 Sep 2021 10:30:22 GMT Sebastian Huber [43004fa] * spec/rtems/task/req/construct.yml (modified) spec: Use TEST_MINIMUM_STACK_SIZE Mon, 06 Sep 2021 10:30:03 GMT Sebastian Huber [debee86] * modules/rtems-docs (modified) modules: Update rtems-docs Fri, 03 Sep 2021 13:40:45 GMT Sebastian Huber [0f905a0] * spec/c/if/clock-settime.yml (added) * spec/rtems/clock/constraint/tod-begin.yml (added) * spec/rtems/clock/constraint/tod-end.yml (added) * spec/rtems/clock/if/set.yml (modified) spec: Document time of day constraints Thu, 02 Sep 2021 14:42:09 GMT Sebastian Huber [9d58e78] * spec/c/if/flsl.yml (added) * spec/c/if/memcpy.yml (added) * spec/c/if/memset.yml (added) * spec/c/if/strings.yml (added) * spec/c/req/flsl.yml (added) * spec/c/req/memcpy.yml (added) * spec/c/req/memset.yml (added) * spec/c/val/c.yml (added) spec: Specify some C library functions Thu, 02 Sep 2021 14:48:33 GMT Sebastian Huber [67a358c] * rtemsspec/validation.py (modified) validation: Fix empty test context Thu, 02 Sep 2021 13:29:30 GMT Sebastian Huber [5a2c3a4] * modules/rtems (modified) modules: Update rtems Thu, 02 Sep 2021 13:27:17 GMT Sebastian Huber [afaceb4] * spec/rtems/intr/req/entry-remove.yml (modified) spec: Simplify rtems_interrupt_entry_remove() Use ... Thu, 02 Sep 2021 12:56:04 GMT Sebastian Huber [a15261c] * spec/c/if/sys-lock.yml (added) * spec/score/futex/if/wait.yml (modified) * spec/score/futex/if/wake.yml (modified) spec: Specify Thu, 02 Sep 2021 12:45:41 GMT Sebastian Huber [ac4ec32] * spec/rtems/message/req/buffer.yml (modified) spec: Fix substitutions Thu, 02 Sep 2021 11:32:12 GMT Sebastian Huber [8a7871e] * modules/rtems (modified) modules: Update rtems Thu, 19 Aug 2021 13:20:16 GMT Frank Kühndel [9f4f0ce] * spec/rtems/message/glossary/firstmessage.yml (added) * spec/rtems/message/glossary/lastmessage.yml (added) * spec/rtems/message/glossary/maximummessagesize.yml (added) * spec/rtems/message/glossary/maximumpendingmessages.yml (added) * spec/rtems/message/glossary/nop.yml (added) * spec/rtems/message/glossary/receiver.yml (added) * spec/rtems/message/req/attributes.yml (added) * spec/rtems/message/req/buffer.yml (added) * spec/rtems/message/req/options.yml (added) * spec/rtems/message/req/receive.yml (added) * spec/rtems/message/req/urgent-send.yml (added) * spec/rtems/message/val/message-macros.yml (added) spec: Partially specify message manager Thu, 02 Sep 2021 11:26:26 GMT Sebastian Huber [9e0fdc1] * spec-glossary/glossary/firstinfirstout.yml (modified) * spec-glossary/glossary/last-in-first-out.yml (added) * spec-glossary/glossary/lifo.yml (added) spec: Add LIFO to glossary Thu, 02 Sep 2021 07:49:41 GMT Sebastian Huber [569d2b3] * rtemsspec/build.py (modified) * rtemsspec/tests/test_build.py (modified) build: Add option to omit test header files Tue, 31 Aug 2021 13:18:31 GMT Sebastian Huber [cc2b4aa] * spec/c/if/eagain.yml (added) * spec/score/futex/if/group.yml (added) * spec/score/futex/if/wait.yml (added) * spec/score/futex/if/wake.yml (added) * spec/score/futex/req/wait.yml (added) * spec/score/futex/req/wake.yml (added) * spec/score/tq/req/flush-fifo.yml (added) * spec/score/tq/req/flush-filter-stop.yml (added) * spec/score/tq/req/flush-filter.yml (added) * spec/score/tq/req/flush-remove-timer.yml (added) * spec/score/tq/req/flush-unblock.yml (added) spec: Specify futex operations Wed, 01 Sep 2021 15:53:21 GMT Sebastian Huber [d97cdbc] * modules/rsb (modified) modules: Update rsb Tue, 31 Aug 2021 05:27:47 GMT Sebastian Huber [f6659c1c] * modules/rtems (modified) modules: Update rtems Tue, 31 Aug 2021 05:10:02 GMT Sebastian Huber [ab92ddc] * modules/rtems-docs (modified) modules: Update rtems-docs Mon, 30 Aug 2021 14:27:11 GMT Sebastian Huber [48ce03a] * rtemsspec/build.py (modified) * rtemsspec/tests/spec-build/bsp.yml (modified) * spec/spec/build-dependency-conditional.yml (added) spec: Add conditional build dependencies Mon, 30 Aug 2021 14:21:13 GMT Sebastian Huber [b1dd795] * spec/spec/build-option.yml (modified) spec: Document build option Tue, 17 Aug 2021 15:32:35 GMT Sebastian Huber [2085243] * rtemsspec/tests/spec-validation/action2.yml (modified) * rtemsspec/tests/test_validation.py (modified) * rtemsspec/validation.py (modified) * spec/bsp/req/interrupt-spurious.yml (modified) * spec/c/req/clock-nanosleep.yml (modified) * spec/rtems/barrier/req/create.yml (modified) * spec/rtems/barrier/req/delete.yml (modified) * spec/rtems/barrier/req/release.yml (modified) * spec/rtems/barrier/req/wait.yml (modified) * spec/rtems/event/req/send-receive.yml (modified) * spec/rtems/intr/req/clear.yml (modified) * spec/rtems/intr/req/entry-install.yml (modified) * spec/rtems/intr/req/entry-remove.yml (modified) * spec/rtems/intr/req/get-affinity.yml (modified) * spec/rtems/intr/req/handler-iterate.yml (modified) * spec/rtems/intr/req/is-pending.yml (modified) * spec/rtems/intr/req/raise-on.yml (modified) * spec/rtems/intr/req/raise.yml (modified) * spec/rtems/intr/req/set-affinity.yml (modified) * spec/rtems/intr/req/vector-disable.yml (modified) * spec/rtems/intr/req/vector-enable.yml (modified) * spec/rtems/intr/req/vector-is-enabled.yml (modified) * spec/rtems/io/req/getchark.yml (modified) * spec/rtems/io/req/put-char.yml (modified) * spec/rtems/io/req/putc.yml (modified) * spec/rtems/message/req/delete.yml (modified) * spec/rtems/sem/req/create.yml (modified) * spec/rtems/sem/req/delete.yml (modified) * spec/rtems/sem/req/obtain.yml (modified) * spec/rtems/sem/req/release.yml (modified) * spec/rtems/sem/req/set-priority.yml (modified) * spec/rtems/signal/req/catch.yml (modified) * spec/rtems/signal/req/send.yml (modified) * spec/rtems/task/req/construct.yml (modified) * spec/rtems/task/req/create-errors.yml (modified) * spec/rtems/task/req/delete.yml (modified) * spec/rtems/task/req/exit.yml (modified) * spec/rtems/task/req/mode.yml (modified) * spec/rtems/task/req/restart.yml (modified) * spec/rtems/task/req/set-scheduler.yml (modified) * spec/rtems/task/req/start.yml (modified) * spec/rtems/task/req/wake-after.yml (modified) * spec/rtems/task/req/wake-when.yml (modified) * spec/score/mtx/req/seize-try.yml (modified) * spec/score/mtx/req/seize-wait.yml (modified) * spec/score/sem/req/seize-try.yml (modified) * spec/score/sem/req/seize-wait.yml (modified) * spec/score/thread/val/thread.yml (modified) * spec/score/tq/req/enqueue-ceiling.yml (modified) * spec/score/tq/req/enqueue-fifo.yml (modified) * spec/score/tq/req/enqueue-priority.yml (modified) validation: Add ${.:/test-context-type} Add and use ... Tue, 17 Aug 2021 15:27:43 GMT Sebastian Huber [a6bba0d] * spec/rtems/sem/req/obtain.yml (modified) * spec/score/mtx/req/seize-try.yml (modified) * spec/score/mtx/req/seize-wait.yml (modified) spec: Move TQ get owner to base context Tue, 17 Aug 2021 08:26:19 GMT Sebastian Huber [6dfe4e0] * modules/rtems (modified) modules: Update rtems Tue, 17 Aug 2021 08:13:49 GMT Sebastian Huber [520bc152] * rtemsspec/validation.py (modified) validation: Simplify mapper customization Tue, 17 Aug 2021 07:37:03 GMT Sebastian Huber [b8ef80b] * modules/rtems (modified) modules: Update rtems Tue, 17 Aug 2021 07:35:27 GMT Sebastian Huber [41ca85e] * rtemsspec/tests/test_validation.py (modified) * rtemsspec/validation.py (modified) * spec2modules.py (modified) spec2modules.py: Add target files option Mon, 16 Aug 2021 17:13:53 GMT Sebastian Huber [600a975] * spec/testsuites/validation/c-library.yml (deleted) * spec/testsuites/validation/classic-barrier.yml (deleted) * spec/testsuites/validation/profile.yml (deleted) spec: Remove space profile test suite Mon, 16 Aug 2021 09:51:09 GMT Sebastian Huber [6e02ba4] * spec/rtems/task/req/construct.yml (modified) spec: Specify initial modes in task construction Fri, 13 Aug 2021 11:54:32 GMT Sebastian Huber [d0b9a1a] * spec/rtems/task/req/construct.yml (modified) spec: Specify floating-point task construction Fri, 13 Aug 2021 07:52:04 GMT Sebastian Huber [8293cd4] * spec/rtems/task/req/construct.yml (moved) spec: Improve rtems_task_construct() validation Call ... Fri, 13 Aug 2021 18:08:29 GMT Sebastian Huber [713d94b] * rtemsspec/tests/spec-validation/action2.yml (modified) * rtemsspec/tests/test_validation.py (modified) * rtemsspec/validation.py (modified) validation: Add ${.:skip} for action requirements Add support to ... Mon, 16 Aug 2021 10:19:27 GMT Sebastian Huber [1574e66] * rtemsspec/tests/test_validation.py (modified) * rtemsspec/validation.py (modified) validation: Move parts of loop body to a function Fri, 13 Aug 2021 20:26:16 GMT Sebastian Huber [54e9530] * rtemsspec/tests/test_validation.py (modified) * rtemsspec/transitionmap.py (modified) * rtemsspec/validation.py (modified) validation: Move map index/entry to context Fri, 13 Aug 2021 19:49:52 GMT Sebastian Huber [5f798f4] * rtemsspec/tests/test_validation.py (modified) * rtemsspec/validation.py (modified) validation: Simplify pre-condition N/A support Thu, 12 Aug 2021 14:14:44 GMT Sebastian Huber [93c6ede] * modules/rtems (modified) modules: Update rtems Thu, 12 Aug 2021 13:17:00 GMT Sebastian Huber [fd2405a] * spec/score/mtx/req/seize-try.yml (modified) * spec/score/mtx/req/seize-wait.yml (modified) spec: Specify priority ceiling violation Thu, 12 Aug 2021 06:30:33 GMT Sebastian Huber [0b697e8] * modules/rtems (modified) modules: Update rtems Thu, 12 Aug 2021 06:28:12 GMT Sebastian Huber [39cc1c1] * spec/rtems/intr/req/get-affinity.yml (modified) spec: Improve coverage Use a larger than normal CPU set. Wed, 11 Aug 2021 13:47:04 GMT Sebastian Huber [34701f8] * spec/score/mtx/req/seize-try.yml (modified) * spec/score/status/if/mutex-ceiling-violated.yml (added) spec: Specify priority ceiling violation Wed, 11 Aug 2021 12:50:06 GMT Sebastian Huber [5bf5cc6] * spec/score/smp/req/per-cpu-jobs-order.yml (added) * spec/score/smp/val/per-cpu-jobs.yml (added) spec: Specify per-processor jobs order Wed, 11 Aug 2021 12:04:12 GMT Sebastian Huber [18fe81a0] * spec/rtems/status/req/text.yml (added) spec: Specify rtems_status_text() Wed, 11 Aug 2021 09:01:52 GMT Sebastian Huber [cde8481] * spec/acfg/val/default.yml (added) * spec/testsuites/validation-acfg-0.yml (added) spec: Test default values of acfg options Wed, 11 Aug 2021 08:48:12 GMT Sebastian Huber [c2e657b] * spec/constraint/tls-alignment-power-of-2.yml (added) * spec/score/thread/req/tls-big-alignment.yml (added) * spec/score/thread/req/tls-initialized-data.yml (added) * spec/score/thread/req/tls-zero-initialized-data.yml (added) * spec/score/thread/val/tls.yml (added) * spec/testsuites/validation-tls-0.yml (added) spec: Specify thread-local storage Wed, 11 Aug 2021 08:00:26 GMT Sebastian Huber [02c729f] * spec/rtems/task/req/wake-after.yml (modified) spec: Improve rtems_task_wake_after() Tue, 10 Aug 2021 15:40:46 GMT Sebastian Huber [8ad304a] * modules/rtems (modified) modules: Update rtems Tue, 10 Aug 2021 15:08:58 GMT Sebastian Huber [9273501] * modules/rtems (modified) modules: Update rtems Tue, 10 Aug 2021 15:04:22 GMT Sebastian Huber [a19cb21] * spec/rtems/task/req/construct-errors.yml (modified) spec: Clarify rtems_task_construct() Tue, 10 Aug 2021 11:59:04 GMT Sebastian Huber [5008d31] * spec/score/thread/req/cancel-killer.yml (added) * spec/score/thread/val/thread.yml (added) spec: Specify a thread termination error condition Tue, 10 Aug 2021 10:47:28 GMT Sebastian Huber [5d4bd09] * spec/rtems/part/req/return-buffer.yml (modified) spec: Improve rtems_partition_return_buffer() Tue, 10 Aug 2021 08:31:24 GMT Sebastian Huber [3482edb] * modules/rtems (modified) modules: Update rtems Tue, 10 Aug 2021 08:29:29 GMT Sebastian Huber [7f57b1e] * spec/score/interr/val/terminate.yml (modified) spec: Add code coverage support for _Terminate() Tue, 10 Aug 2021 08:12:01 GMT Sebastian Huber [f57e1ee] * spec/bsp/sparc/leon3/val/fatal-shutdown-response.yml (modified) * spec/testsuites/fatal-bsp-sparc-leon3-shutdown-response.yml (modified) spec: Improve branch coverage Tue, 10 Aug 2021 06:53:42 GMT Sebastian Huber [470cc52] * spec/rtems/intr/req/entry-install.yml (modified) spec: Improve rtems_interrupt_entry_install() test Mon, 09 Aug 2021 19:06:21 GMT Sebastian Huber [e380268] * modules/rsb (modified) modules: Update rsb Mon, 09 Aug 2021 16:02:35 GMT Sebastian Huber [5cb9a82] * modules/rtems (modified) modules: Update rtems Mon, 09 Aug 2021 16:01:16 GMT Sebastian Huber [0a3498e] * modules/rsb (modified) modules: Update rsb Sun, 08 Aug 2021 13:28:38 GMT Sebastian Huber [6e24f98] * config.yml (modified) * spec/rtems/userext/req/thread-begin-iterate-remove.yml (added) * spec/rtems/userext/req/thread-begin-order.yml (added) * spec/rtems/userext/req/thread-create-allocator-owner.yml (added) * spec/rtems/userext/req/thread-create-iterate-remove.yml (added) * spec/rtems/userext/req/thread-create-order.yml (added) * spec/rtems/userext/req/thread-delete-allocator-owner.yml (added) * spec/rtems/userext/req/thread-delete-iterate-remove.yml (added) * spec/rtems/userext/req/thread-delete-order.yml (added) * spec/rtems/userext/req/thread-exitted-iterate-remove.yml (added) * spec/rtems/userext/req/thread-exitted-order.yml (added) * spec/rtems/userext/req/thread-restart-iterate-remove.yml (added) * spec/rtems/userext/req/thread-restart-order.yml (added) * spec/rtems/userext/req/thread-start-iterate-remove.yml (added) * spec/rtems/userext/req/thread-start-order.yml (added) * spec/rtems/userext/req/thread-switch-order.yml (added) * spec/rtems/userext/req/thread-terminate-iterate-remove.yml (added) * spec/rtems/userext/req/thread-terminate-order.yml (added) * spec/rtems/userext/val/userext.yml (added) * spec/score/interr/val/terminate.yml (modified) * spec/testsuites/terminate.yml (modified) * spec/testsuites/userext.yml (added) spec: Specify user extensions Sun, 08 Aug 2021 10:43:11 GMT Sebastian Huber [b803b81] * modules/rtems (modified) modules: Update rtems Sat, 07 Aug 2021 21:11:23 GMT Sebastian Huber [cf944d7] * spec/rtems/task/req/construct-errors.yml (modified) spec: Simplify specification Sat, 07 Aug 2021 19:17:07 GMT Sebastian Huber [291b6f6] * modules/rtems (modified) modules: Update rtems Sat, 07 Aug 2021 19:15:34 GMT Sebastian Huber [c284133] * spec/bsp/sparc/leon3/val/fatal-shutdown-response.yml (modified) spec: Improve branch coverage Fri, 06 Aug 2021 18:26:14 GMT Sebastian Huber [7354d08] * modules/rtems (modified) modules: Update rtems Fri, 06 Aug 2021 18:25:27 GMT Sebastian Huber [f06116e] * spec/rtems/ratemon/req/get-status.yml (modified) spec: Fix sporadic test failures The memcmp() may fail due to ... Fri, 06 Aug 2021 16:40:33 GMT Sebastian Huber [75dac6b] * modules/rsb (modified) modules: Update rsb Fri, 06 Aug 2021 15:51:23 GMT Sebastian Huber [006f626] * config.yml (modified) config.yml: Add extra file Fri, 06 Aug 2021 15:48:49 GMT Sebastian Huber [e73cfe8] * modules/rtems (modified) modules: Update rtems Wed, 30 Jun 2021 15:27:30 GMT Frank Kühndel [d86a5d6] * spec/rtems/ratemon/glossary/active.yml (added) * spec/rtems/ratemon/glossary/consumed.yml (added) * spec/rtems/ratemon/glossary/cputime.yml (added) * spec/rtems/ratemon/glossary/deadline.yml (added) * spec/rtems/ratemon/glossary/elapsed.yml (added) * spec/rtems/ratemon/glossary/expired.yml (added) * spec/rtems/ratemon/glossary/inactive.yml (added) * spec/rtems/ratemon/glossary/interval.yml (added) * spec/rtems/ratemon/glossary/job.yml (added) * spec/rtems/ratemon/glossary/nop.yml (added) * spec/rtems/ratemon/glossary/ownertask.yml (added) * spec/rtems/ratemon/glossary/postponedjob.yml (added) * spec/rtems/ratemon/glossary/scheduleroperation.yml (added) * spec/rtems/ratemon/glossary/state.yml (added) * spec/rtems/ratemon/glossary/time.yml (added) * spec/rtems/ratemon/req/cancel.yml (added) * spec/rtems/ratemon/req/get-status.yml (added) * spec/rtems/ratemon/req/period.yml (added) spec: Specify rate monotonic manager directives Thu, 05 Aug 2021 07:02:27 GMT Sebastian Huber [0e6a982] * spec/rtems/task/req/delete.yml (added) spec: Specify rtems_task_delete() Fri, 06 Aug 2021 06:06:27 GMT Sebastian Huber [e131ac1] * spec/rtems/task/req/restart.yml (modified) spec: Use SetSelfPriorityNoYield() Thu, 05 Aug 2021 06:50:29 GMT Sebastian Huber [9e4aced] * spec/bsp/req/interrupt-spurious.yml (modified) spec: Improve bsp_interrupt_spurious() test case Thu, 05 Aug 2021 06:32:27 GMT Sebastian Huber [f11d55c] * spec/rtems/intr/req/entry-install.yml (modified) * spec/rtems/intr/req/entry-remove.yml (modified) * spec/rtems/intr/req/handler-iterate.yml (modified) spec: Update GetTestableInterruptVector() calls Thu, 05 Aug 2021 06:13:02 GMT Sebastian Huber [6089b67] * spec/rtems/task/req/restart.yml (modified) spec: Move thread queue wrapping to support code Wed, 04 Aug 2021 14:51:09 GMT Sebastian Huber [e81ba24] * spec/rtems/task/req/restart.yml (modified) spec: Improve rtems_task_restart() specification Wed, 04 Aug 2021 14:31:38 GMT Sebastian Huber [7f78551] * spec/rtems/sem/req/release.yml (modified) * spec/rtems/task/req/restart.yml (modified) spec: Fix "the the" Wed, 04 Aug 2021 05:51:25 GMT Sebastian Huber [022af24] * spec/score/smp/req/fatal-start-of-mandatory-processor-failed.yml (modified) * spec/score/smp/req/processor-online.yml (added) * spec/score/smp/req/start-of-optional-processor-failed-continue.yml (added) * spec/score/smp/req/start-of-processor-failed-not-online.yml (added) * spec/score/smp/val/start-of-optional-processor-failed.yml (added) * spec/testsuites/validation-smp-only-0.yml (moved) * spec/testsuites/validation-smp-only-1.yml (added) * spec/testsuites/validation-smp-only-2.yml (added) spec: Specify SMP system initialization Wed, 04 Aug 2021 06:51:17 GMT Sebastian Huber [d03280c] * spec/rtems/userext/req/fatal-iterate-remove.yml (added) * spec/rtems/userext/req/fatal-order.yml (added) * spec/score/interr/req/terminate-userext.yml (modified) * spec/score/interr/val/terminate.yml (modified) spec: Improve user extension specification Wed, 04 Aug 2021 05:33:52 GMT Sebastian Huber [e3aa3d8] * spec/score/smp/val/fatal.yml (modified) spec: Improve test cases Tue, 03 Aug 2021 19:27:18 GMT Sebastian Huber [2e9e1a0] * spec/score/interr/val/terminate.yml (modified) spec: Fix links Tue, 03 Aug 2021 17:59:19 GMT Sebastian Huber [4278e4a] * modules/rtems (modified) modules: Update rtems Tue, 03 Aug 2021 17:37:48 GMT Sebastian Huber [2a68c01] * spec/bsp/req/interrupt-spurious.yml (modified) spec: Wrap bsp_interrupt_spurious() Maybe this helps to fix a gcov ... Tue, 03 Aug 2021 16:08:03 GMT Sebastian Huber [27e7db3] * modules/rtems (modified) modules: Update rtems Tue, 03 Aug 2021 14:14:22 GMT Sebastian Huber [f83bcc1] * spec/score/interr/req/terminate-halt.yml (added) * spec/score/interr/req/terminate-shutdown-halt.yml (added) * spec/score/interr/req/terminate-shutdown.yml (added) * spec/score/interr/req/terminate-state.yml (added) * spec/score/interr/req/terminate-userext.yml (added) * spec/score/interr/req/terminate.yml (added) * spec/score/interr/val/terminate.yml (added) * spec/testsuites/terminate.yml (added) spec: Specify the system termination