|
|
|
@8fa0668
|
05/03/21 09:54:58 |
frank.kuehndel |
spec: Glossary terms for timer manager
…
|
|
|
@b7af59e
|
04/26/21 12:59:37 |
frank.kuehndel |
spec: Add spec item for rtems_timer_cancel()
Adding the specification …
|
|
|
@fc0cf3b
|
04/22/21 13:40:45 |
frank.kuehndel |
spec: timer_initiate_server test more independent
Factoring out the …
|
|
|
@6b84ea2
|
04/20/21 13:58:45 |
frank.kuehndel |
spec: rtems_timer_initiate_server() minor changes
Apply recommended …
|
|
|
@726ae38
|
05/14/21 07:30:42 |
Sebastian Huber |
spec: Fix rtems_scheduler_ident() validation
|
|
|
@0b348f4
|
05/12/21 05:11:04 |
Sebastian Huber |
spec: Move INVALID_ID to tx-support.h
|
|
|
@c9b1bba
|
05/11/21 14:00:25 |
Sebastian Huber |
validation: Let skip reasons overwrite
Allow transition map variants …
|
|
|
@590b01c
|
05/12/21 19:32:29 |
Sebastian Huber |
spec: Constify rtems_task_wake_when()
|
|
|
@c28cb74
|
05/12/21 12:06:33 |
Sebastian Huber |
spec: Clarify rtems_task_get_priority() doc
|
|
|
@ed93256
|
05/12/21 13:09:35 |
Sebastian Huber |
spec: Document rtems_task_set_scheduler() errors
|
|
|
@42598d4
|
05/12/21 11:15:17 |
Sebastian Huber |
glossary: Add priority terms
|
|
|
@28fb75e
|
05/12/21 12:41:47 |
Sebastian Huber |
validation: Support glossary term plurals
|
|
|
@0174da5
|
05/12/21 12:05:05 |
Sebastian Huber |
content: Improve plural of terms
|
|
|
@b403a86
|
05/12/21 04:55:19 |
Sebastian Huber |
modules: Update rtems-docs
|
|
|
@d12d6fc
|
05/12/21 04:55:08 |
Sebastian Huber |
modules: Update rtems
|
|
|
@5690919
|
05/10/21 05:09:27 |
Sebastian Huber |
spec: rtems_scheduler_get_processor_maximum()
|
|
|
@1bbc5d0
|
05/07/21 13:52:12 |
Sebastian Huber |
applconfig: Use unspecified groups
Remove ${.:document-reference/*} hacks.
|
|
|
@12edb02
|
05/07/21 11:45:01 |
Sebastian Huber |
applconfig: Use unspecified groups
|
|
|
@9c8a0fb
|
05/07/21 11:29:13 |
Sebastian Huber |
applconfig: Use unspecified function
|
|
|
@d7e961a
|
05/07/21 10:56:24 |
Sebastian Huber |
spec: Fix links
|
|
|
@6962992
|
05/07/21 10:02:26 |
Sebastian Huber |
spec: Fix links
|
|
|
@8d4e726
|
05/07/21 09:22:31 |
Sebastian Huber |
modules: Update rtems
|
|
|
@f1d9d39
|
05/07/21 09:20:24 |
Sebastian Huber |
spec: Fix rtems_scheduler_get_processor() vali
|
|
|
@f914a32
|
03/02/21 07:27:49 |
Sebastian Huber |
config.yml: Generate more chapters
|
|
|
@e09165e
|
05/07/21 08:42:36 |
Sebastian Huber |
modules: Update rtems
|
|
|
@d1b869b
|
05/05/21 07:20:26 |
Sebastian Huber |
spec: Specify scheduler manager directives
|
|
|
@98f08f1
|
05/07/21 07:02:29 |
Sebastian Huber |
spec: Add SMP-only and non-SMP test suites
|
|
|
@bff9c6e
|
05/07/21 06:20:47 |
Sebastian Huber |
modules: Update rtems-docs
|
|
|
@79c5a92
|
05/07/21 06:04:41 |
Sebastian Huber |
spec: Update scheduler documentation
|
|
|
@8d06b93
|
04/20/21 12:55:58 |
Sebastian Huber |
spec: Specify memory allocation directives
|
|
|
@95d87f1
|
05/07/21 05:38:28 |
Sebastian Huber |
spec: Fix semaphore set priority validation
|
|
|
@129eb36
|
05/06/21 16:11:33 |
Sebastian Huber |
spec: Fix ceiling enqueue validation
|
|
|
@c5365bb
|
05/06/21 09:35:09 |
Sebastian Huber |
validation: Fix N/A pre-condition handling
|
|
|
@441319d
|
05/06/21 06:30:59 |
Sebastian Huber |
spec: Avoid name conflicts with test support
|
|
|
@2b40bf8
|
05/05/21 15:59:33 |
Sebastian Huber |
validation: Fix remove duplicate pre-conds
|
|
|
@0ce025e
|
05/05/21 11:14:15 |
Sebastian Huber |
validation: Reliably remove duplicate pre-conds
|
|
|
@3bbed3a
|
05/03/21 06:14:33 |
Sebastian Huber |
Fix tests
Revert changes from commit …
|
|
|
@50d1e69
|
05/02/21 18:52:26 |
Sebastian Huber |
spec: Add RTEMS_NOINIT
|
|
|
@0227592
|
04/28/21 13:13:47 |
Sebastian Huber |
spec: Add requirements for acfg
|
|
|
@d419c8f
|
04/29/21 08:16:04 |
Sebastian Huber |
spec: Replace constraint scope with a link
|
|
|
@5b65cce
|
04/29/21 08:02:12 |
Sebastian Huber |
spec: Add requirement for test suites
|
|
|
@aa6a1f4
|
04/29/21 07:15:04 |
Sebastian Huber |
spec: Add test suite name attribute
|
|
|
@4dfc418
|
04/29/21 07:04:18 |
Sebastian Huber |
spec: Link general glossary to to root requirement
|
|
|
@ba05406
|
04/29/21 06:44:49 |
Sebastian Huber |
specview.py: Include interface placements
|
|
|
@2bc31a7
|
04/29/21 06:44:26 |
Sebastian Huber |
spec: Add unit test role
|
|
|
@57e1090
|
04/29/21 06:44:01 |
Sebastian Huber |
spec: Add requirement for interface domains
|
|
|
@b1f05da
|
04/28/21 06:16:25 |
Sebastian Huber |
spec: Use explicit constraints for acfg
|
|
|
@f1a2067
|
04/28/21 12:10:08 |
Sebastian Huber |
content: Apply initial indent only to first block
|
|
|
@0753303
|
04/29/21 09:28:46 |
Sebastian Huber |
spec: Fix CONFIGURE_BSP_PREREQUISITE_DRIVERS docs
|
|
|
@6348dbe
|
04/29/21 13:02:04 |
Sebastian Huber |
spec: Add missing "the"
|
|
|
@7dbf229
|
04/29/21 12:48:32 |
Sebastian Huber |
spec: Fix wording
|
|
|
@9eca051
|
04/27/21 11:04:04 |
Sebastian Huber |
config.yml: Generate region chapter
|
|
|
@59d09b1
|
04/27/21 11:03:01 |
Sebastian Huber |
spec: Update /rtems/region/* documentation
|
|
|
@a5161ec
|
04/23/21 09:08:10 |
Sebastian Huber |
spec: Update /rtems/task/* documentation
|
|
|
@e406433
|
04/26/21 13:08:07 |
Sebastian Huber |
spec: Generalize may preempt constraints
|
|
|
@d3b9142
|
04/26/21 07:04:50 |
Sebastian Huber |
spec: Allow multiple interface references
|
|
|
@4565c33
|
04/23/21 16:36:32 |
Sebastian Huber |
spec: Update /rtems/scheduler/* documentation
|
|
|
@1c036bb
|
04/22/21 12:03:25 |
Sebastian Huber |
spec: Update /rtems/intr/* documentation
|
|
|
@4e58a41
|
04/27/21 08:55:07 |
Sebastian Huber |
spec: Constify timer fire when directives
|
|
|
@88496ed
|
04/22/21 11:39:57 |
Sebastian Huber |
spec: Use glossary term
|
|
|
@2d6c251
|
04/23/21 16:40:57 |
Sebastian Huber |
spec: Fix wording
|
|
|
@07a63aa
|
04/22/21 08:50:46 |
Sebastian Huber |
spec: Update /rtems/message/* documentation
|
|
|
@c86228e
|
04/22/21 06:06:27 |
Sebastian Huber |
spec: Update /rtems/ratemon/* documentation
|
|
|
@1f19c21
|
04/23/21 06:29:52 |
Sebastian Huber |
spec: Check for NULL configuration
|
|
|
@c8729ae
|
04/22/21 12:02:58 |
Sebastian Huber |
spec: Clarify rtems_timer_cancel() docs
|
|
|
@cbe0dc2
|
04/21/21 07:54:07 |
Sebastian Huber |
config.yml: Generate more chapters
|
|
|
@929a974
|
04/21/21 17:32:58 |
Sebastian Huber |
spec: Update /rtems/support/* documentation
|
|
|
@e2942af
|
04/21/21 17:33:40 |
Sebastian Huber |
spec: Update /rtems/dpmen/* documentatation
|
|
|
@182294b
|
04/21/21 17:39:17 |
Sebastian Huber |
spec: Update /rtems/mp/* documentation
|
|
|
@4c96de5
|
04/21/21 07:52:14 |
Sebastian Huber |
spec: Update /rtems/init/* and /rtems/fatal/* docs
|
|
|
@540d24d
|
04/21/21 11:23:10 |
Sebastian Huber |
spec: Add user extensions glossary terms
|
|
|
@14378aa
|
04/21/21 07:53:32 |
Sebastian Huber |
interfacedoc: Substitute group descriptions
|
|
|
@6ae1100
|
04/20/21 10:47:49 |
Sebastian Huber |
modules: Update rtems
|
|
|
@4f8869b
|
04/20/21 07:04:50 |
Sebastian Huber |
spec: Use posix_memalign()
The aligned_alloc() depends on errno.
|
|
|
@d7b0d44
|
04/19/21 14:58:07 |
Sebastian Huber |
modules: Update rtems
|
|
|
@350fff39
|
04/19/21 10:12:53 |
frank.kuehndel |
spec: Add spec item rtems_timer_initiate_server()
Adding the …
|
|
|
@93d6393
|
04/14/21 18:36:06 |
Sebastian Huber |
spec: Specify semphore obtain
|
|
|
@af974f1
|
04/14/21 09:47:07 |
Sebastian Huber |
spec: Account for helping schedulers
|
|
|
@640e2df
|
04/16/21 20:16:14 |
Sebastian Huber |
validation: More compact post-conditions
|
|
|
@b6d4229
|
04/16/21 13:14:50 |
Sebastian Huber |
validation: Assign run parameters early
This allows to use the run …
|
|
|
@ffec29a
|
04/15/21 14:34:27 |
Sebastian Huber |
validation: Avoid use of uint0_t
|
|
|
@2b6d64b
|
04/16/21 07:59:54 |
Sebastian Huber |
spec: Document semaphore obtain errors
|
|
|
@5c2aa3d
|
04/14/21 04:57:50 |
Sebastian Huber |
spec: Adjust scheduler terms
|
|
|
@9954989
|
04/12/21 09:45:33 |
Sebastian Huber |
spec: Add scheduler glossary terms
|
|
|
@f320094
|
04/13/21 11:18:53 |
Sebastian Huber |
modules: Update rtems
|
|
|
@671cd42
|
04/13/21 08:53:31 |
Sebastian Huber |
spec: Add custom action req texts
|
|
|
@1b8fb90
|
04/13/21 08:26:56 |
Sebastian Huber |
config.yml: Add extra files
|
|
|
@0285f84
|
04/13/21 08:24:51 |
Sebastian Huber |
modules: Update rtems
|
|
|
@9e7ee26
|
04/13/21 08:07:12 |
Sebastian Huber |
validation: Add get_post_conditions()
|
|
|
@9b90a96
|
04/12/21 12:55:27 |
Sebastian Huber |
spec: New cases for /rtems/sem/req/obtain
|
|
|
@c1546e6
|
04/12/21 09:45:50 |
Sebastian Huber |
modules: Update rtems
|
|
|
@2a7217d
|
04/12/21 09:44:19 |
Sebastian Huber |
spec: Add a test suite without a clock driver
|
|
|
@83d7651
|
04/12/21 06:11:53 |
Sebastian Huber |
modules: Update rtems
|
|
|
@8cfee8f
|
04/12/21 05:14:55 |
Sebastian Huber |
spec: Use ClockTick?()
|
|
|
@f0ba295
|
04/12/21 05:15:17 |
Sebastian Huber |
spec: Update due to renamed header
|
|
|
@0966b76
|
04/09/21 14:01:39 |
Sebastian Huber |
config.yml: Add extra files
|
|
|
@aec1727
|
04/08/21 13:07:13 |
frank.kuehndel |
spec: Add spec items for clock manager
Adding the specification items …
|
|
|
@2014f8b
|
04/09/21 17:18:56 |
Sebastian Huber |
spec: Update due to API changes
|
|
|
@7e71a8c
|
04/07/21 12:12:19 |
Sebastian Huber |
spec: Specify parts of rtems_semaphore_obtain()
|
|
|
@8b5158b
|
04/08/21 12:40:26 |
Sebastian Huber |
spec: Use GetThread?() from test support
|
|
|