|
|
|
@2fb7e59
|
05/05/23 12:41:19 |
Sebastian Huber |
spec: Change requirement type to design
|
|
|
@6280da9
|
05/05/23 12:41:19 |
Sebastian Huber |
spec: Fix group description
|
|
|
@1235b4f
|
05/05/23 12:41:19 |
Sebastian Huber |
spec: Fix enabled-by
|
|
|
@1b601d5
|
05/05/23 12:41:19 |
Sebastian Huber |
spec: Add interface function link
|
|
|
@9ba0964
|
05/05/23 12:41:19 |
Sebastian Huber |
spec: Remove bogus constraint
|
|
|
@3ffa15a
|
05/05/23 12:41:19 |
Sebastian Huber |
spec: Fix unspecified type
|
|
|
@efd0044
|
05/05/23 12:41:19 |
Sebastian Huber |
spec: Improve enabled-by for header files
|
|
|
@2232e0b
|
05/05/23 12:41:19 |
Sebastian Huber |
spec: Fix interface type
|
|
|
@dabc2b0
|
05/05/23 12:41:19 |
Sebastian Huber |
spec: Specify rtems_printer
|
|
|
@99c0aba
|
05/05/23 12:41:19 |
Sebastian Huber |
spec: Specify struct bintime
|
|
|
@003e278
|
05/05/23 12:41:19 |
Sebastian Huber |
specview.py: Add types filter
|
|
|
@bbe1320
|
05/05/23 12:41:19 |
Sebastian Huber |
items: Use CSafeLoader if available
|
|
|
@6d70c4d
|
05/05/23 12:41:19 |
Sebastian Huber |
items: Add "initialize-links" option to ItemCache?
|
|
|
@2f275ca
|
05/05/23 12:41:19 |
Sebastian Huber |
spec: Move Timecounter Handler group
This is in line with other score …
|
|
|
@dbe24a2
|
05/05/23 12:41:19 |
Sebastian Huber |
spec: Use proxies for grlib
|
|
|
@a596b89
|
05/08/23 10:37:13 |
Sebastian Huber |
spec: Add unspecified header file item type
|
|
|
@02f1937
|
05/05/23 12:41:18 |
Sebastian Huber |
spec: Remove unspecified-macro-or-function
Replace …
|
|
|
@d9c467a
|
05/05/23 12:41:18 |
Sebastian Huber |
spec: Remove unspecified-define-or-object
Replace …
|
|
|
@acbac01
|
05/05/23 12:41:18 |
Sebastian Huber |
items: Add proxy item type
|
|
|
@ab406e3
|
05/05/23 12:41:18 |
Sebastian Huber |
items: Yield only links of enabled items
|
|
|
@ff4111c
|
05/05/23 12:41:18 |
Sebastian Huber |
items: Add enabled set to ItemCache?
|
|
|
@50914ac
|
05/05/23 12:41:18 |
Sebastian Huber |
items: Move key path resolution to ItemMapper?
|
|
|
@ee52fac
|
05/05/23 12:41:18 |
Sebastian Huber |
specview.py: Fix API filter
Design groups do not have a name.
|
|
|
@5ab6873
|
05/05/23 12:41:18 |
Sebastian Huber |
sphinxcontent: Add section stack
|
|
|
@e38207f8
|
05/05/23 12:41:18 |
Sebastian Huber |
sphinxcontent: Rework label handling
Rename get_label() in …
|
|
|
@35a64e2
|
05/05/23 12:41:18 |
Sebastian Huber |
sphinxcontent: Add SphinxContent?.latex_tiny()
|
|
|
@b5e7981
|
05/05/23 12:41:18 |
Sebastian Huber |
sphinxcontent: Add add_image()
|
|
|
@4708352
|
05/05/23 12:41:18 |
Sebastian Huber |
sphinxcontent: Add add_rubric()
|
|
|
@ab81553
|
05/05/23 12:41:18 |
Sebastian Huber |
sphinxcontent: Make get value functions public
|
|
|
@bad73b6
|
05/05/23 12:41:18 |
Sebastian Huber |
sphinxcontent: Add add_grid_table()
|
|
|
@d51b4e5
|
05/05/23 12:41:18 |
Sebastian Huber |
content: Fix to_camel_case()
Make sure the result starts with a valid …
|
|
|
@ef66cd0
|
05/05/23 12:41:18 |
Sebastian Huber |
content: Support array parameters
|
|
|
@f31ca5f
|
05/05/23 12:41:18 |
Sebastian Huber |
content: Add get_value_unspecified_type()
|
|
|
@4f6e413
|
05/05/23 12:41:18 |
Sebastian Huber |
spec: Specify runtime measurement execution envs
|
|
|
@716f900
|
05/05/23 12:41:18 |
Sebastian Huber |
spec: Reorganize performance runtime limits
Add a dedicated item for …
|
|
|
@adaa3c7
|
04/25/23 10:10:23 |
Sebastian Huber |
modules: Update rtems
|
|
|
@9eb5dd3
|
04/24/23 13:15:15 |
Sebastian Huber |
spec: Avoid cyclic header file dependencies
There was a cyclic …
|
|
|
@2fe6710
|
03/06/23 10:44:36 |
Sebastian Huber |
spec: Add missing interface function link
|
|
|
@9a4911f
|
03/17/23 14:56:43 |
Sebastian Huber |
modules: Update rtems
|
|
|
@6faa926
|
03/17/23 14:54:32 |
Sebastian Huber |
spec: Replace enum Event with defines
There is a Doxygen limitation …
|
|
|
@ed62a8e
|
03/17/23 07:48:59 |
Sebastian Huber |
modules: Update rtems
|
|
|
@258bc98
|
03/16/23 09:59:59 |
Sebastian Huber |
modules: Update rtems
|
|
|
@77414f1
|
03/15/23 07:47:12 |
Sebastian Huber |
modules: Update rtems
|
|
|
@ea3eadf
|
03/15/23 07:39:35 |
Sebastian Huber |
interface: Improve register bit field macros
Update #4828.
|
|
|
@7c0ddcc
|
03/15/23 07:20:40 |
Sebastian Huber |
spec: Remove generic attrs from register blocks
|
|
|
@25310de
|
03/15/23 07:04:30 |
Sebastian Huber |
generate_membench.py: Remove unused variable
|
|
|
@d0355e8
|
03/14/23 07:28:37 |
Sebastian Huber |
modules: Update rtems
|
|
|
@051fbb8
|
03/14/23 07:12:52 |
Sebastian Huber |
modules: Update rtems
|
|
|
@b37bd6a
|
03/13/23 12:45:37 |
Sebastian Huber |
spec: Place test suites in design groups
|
|
|
@82ba161
|
02/16/23 08:58:04 |
Sebastian Huber |
interface: Fix pylint warning
|
|
|
@1dd4361
|
02/16/23 08:22:13 |
Sebastian Huber |
modules: Update rtems
|
|
|
@4fdeb56
|
02/16/23 08:06:19 |
Sebastian Huber |
spec: Expand SpaceWire? port bit fields
Use the maximum width …
|
|
|
@dd6f100
|
02/16/23 08:04:45 |
Sebastian Huber |
spec: Fix SpaceWire? RMAP - Product ID
Update #4842.
|
|
|
@239d254
|
02/16/23 08:02:50 |
Sebastian Huber |
spec: Fix GRGPIO - IRQMAP bit fields
Update #4842.
|
|
|
@a7c2836
|
02/16/23 08:01:08 |
Sebastian Huber |
spec: Fix FTMCTRL - MCFG1 bit fields
There was an off by one error in …
|
|
|
@4099d9f
|
02/16/23 07:59:19 |
Sebastian Huber |
applconfig: Add Doxygen file to a group
|
|
|
@9407dc2
|
02/16/23 07:45:02 |
Sebastian Huber |
modules: Update rtems-docs
|
|
|
@5923e32
|
02/14/23 15:01:43 |
Sebastian Huber |
validation: Derive names from item UIDs
Use the item UID converted to …
|
|
|
@8fde6f7
|
02/14/23 15:20:01 |
Sebastian Huber |
modules: Update rtems-docs
|
|
|
@c381c8e
|
02/14/23 07:07:53 |
Sebastian Huber |
spec: Fix SMP fatal code names
|
|
|
@c1f5943
|
02/14/23 07:07:38 |
Sebastian Huber |
spec: Fix score group names
|
|
|
@fa017e8
|
02/14/23 07:07:11 |
Sebastian Huber |
spec: Fix grlib store function names
|
|
|
@b91b2a1f
|
02/13/23 08:36:09 |
Sebastian Huber |
spec: Fix grlib SPWTDP register name
|
|
|
@31bebc4
|
02/10/23 12:42:20 |
Sebastian Huber |
spec: Turn CONFIGURE_INIT into an option
|
|
|
@186f449
|
02/10/23 10:04:09 |
Sebastian Huber |
rtemsspec: Add a get value for header files
|
|
|
@d012414
|
02/10/23 10:14:57 |
Sebastian Huber |
spec: Add header file references
|
|
|
@285b817
|
02/14/23 07:04:09 |
Sebastian Huber |
applconfig: Add refs to unspecified functions
|
|
|
@942e8b2
|
02/14/23 07:02:57 |
Sebastian Huber |
rtemsspec: Use @ref for appl config options
The application …
|
|
|
@5ac1e04
|
02/09/23 08:03:48 |
Sebastian Huber |
requirements.txt: Add coconut
Remove requirements.txt files from …
|
|
|
@798fd67
|
02/09/23 07:53:08 |
Sebastian Huber |
modules: Update rtems-docs
|
|
|
@0f0a61e
|
02/07/23 22:00:56 |
kinsey.moore |
spec/build-objects: Add details about duplicates
Add a comment …
|
|
|
@73ab36e
|
02/06/23 09:04:31 |
Sebastian Huber |
modules: Update rtems-docs
|
|
|
@ceb2f9f
|
02/06/23 09:04:18 |
Sebastian Huber |
modules: Update rtems
|
|
|
@690e064
|
02/03/23 07:49:35 |
Sebastian Huber |
spec: Clarify interrupt handler dispatch
|
|
|
@65cd24d
|
01/19/23 18:45:33 |
Andrew.Butterfield |
formal: fix licenses
|
|
|
@e052be1
|
01/24/23 10:54:32 |
Sebastian Huber |
modules: Update rtems
|
|
|
@067079d
|
01/24/23 10:54:14 |
Sebastian Huber |
spec: Update group names
|
|
|
@e74f2d6
|
01/23/23 07:58:56 |
Sebastian Huber |
modules: Update rtems
|
|
|
@ad7874c
|
01/23/23 07:58:50 |
Sebastian Huber |
modules: Update rtems-docs
|
|
|
@0a6f813
|
01/23/23 07:51:53 |
Sebastian Huber |
spec: Fix typo
|
|
|
@28cee60
|
10/07/22 06:49:35 |
Sebastian Huber |
spec: Use a recommendation for requirement texts
Asserting that a …
|
|
|
@b91e7f2
|
01/17/23 14:10:29 |
Sebastian Huber |
spec: Improve build option default values
Merge "default" and …
|
|
|
@dfd57e9
|
01/17/23 14:09:57 |
Sebastian Huber |
spec: Add reason to test program state
|
|
|
@94ba704
|
01/18/23 11:43:04 |
Sebastian Huber |
formal: Remove bogus character
|
|
|
@8cca199
|
01/13/23 15:42:56 |
Andrew.Butterfield |
adds old examples
|
|
|
@ebe9144
|
01/13/23 15:42:20 |
Andrew.Butterfield |
modifications made to promela_yacc
|
|
|
@a64e772
|
01/13/23 15:41:01 |
Andrew.Butterfield |
modifications made to comment_filter
|
|
|
@5d08ea3
|
01/13/23 15:37:36 |
Andrew.Butterfield |
forked from https://github.com/johnyf/promela,
commit …
|
|
|
@13ed9da
|
01/13/23 15:36:54 |
Andrew.Butterfield |
forked from https://github.com/quic/comment-filter/commits/master …
|
|
|
@1056ddb
|
01/10/23 19:57:52 |
Andrew.Butterfield |
pythin tests
|
|
|
@1283c16
|
01/10/23 19:57:22 |
Andrew.Butterfield |
main Coconut sources
|
|
|
@bd28429
|
01/10/23 19:55:50 |
Andrew.Butterfield |
top-level sources
|
|
|
@d59895a
|
01/10/23 19:51:42 |
Andrew.Butterfield |
Message Manager model and test gen material
|
|
|
@44fca64
|
01/10/23 19:50:44 |
Andrew.Butterfield |
Barrier Manager model and test gen material
|
|
|
@285cae9
|
01/10/23 19:49:26 |
Andrew.Butterfield |
Memory Manager model and test gen material
|
|
|
@87c48b3
|
01/10/23 19:47:09 |
Andrew.Butterfield |
Chains API model and test gen material
|
|
|
@3f4d9a4
|
01/10/23 19:44:42 |
Andrew.Butterfield |
top level FV hierarchy
|
|
|
@8a16663
|
01/03/23 15:02:29 |
Sebastian Huber |
github: Enable CI workflow on pull request
|
|
|
@6e116eb
|
01/03/23 14:16:18 |
Sebastian Huber |
github: Run spec2modules.py in CI workflow
|
|
|
@cde5a21
|
01/03/23 14:53:24 |
Sebastian Huber |
modules: Update rtems
|
|
|