issues
search
eiffel-community
/
eiffel
The Eiffel framework vocabulary, descriptions, guides and schemas along with links to relevant implementation repositories.
Apache License 2.0
122
stars
59
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add Integrity protection for Persistent Logs
#401
m-linner-ericsson
opened
5 hours ago
1
Eiffel on Cloud Events
#400
m-linner-ericsson
opened
2 weeks ago
0
Eiffel on Cloud Events
#399
m-linner-ericsson
opened
2 weeks ago
0
Lock version of markdownlint-cli and fix violations
#398
magnusbaeck
closed
2 months ago
0
markdownlint has started to fail
#397
magnusbaeck
closed
2 months ago
0
Bump jinja2 from 3.1.3 to 3.1.4
#396
dependabot[bot]
closed
2 months ago
4
test issue
#395
e-backmark-ericsson
closed
3 months ago
0
Add JSON schema validation for definition files
#394
magnusbaeck
opened
6 months ago
0
generate_manifest.py: Use versions module
#393
magnusbaeck
closed
6 months ago
0
Add _name and _version fields to all definition files
#392
magnusbaeck
closed
6 months ago
5
Bump jinja2 from 3.0.3 to 3.1.3
#391
dependabot[bot]
closed
6 months ago
0
Break out banned/faulty event versions from test_jsonschema.py to a separate machine readable file
#390
e-backmark-ericsson
opened
6 months ago
0
Add diff_definitions.py for diffing event definition files and schema files
#389
magnusbaeck
closed
6 months ago
2
test_definitions.py: Load YAML files only once
#388
magnusbaeck
closed
6 months ago
0
Add helper script for creating new type versions
#387
magnusbaeck
opened
6 months ago
0
Parameterized tests in test_definitions.py should be optimized
#386
magnusbaeck
closed
6 months ago
0
Add test of schema towards its meta schema
#385
e-backmark-ericsson
closed
6 months ago
0
Add validation of meta schema
#384
e-backmark-ericsson
closed
6 months ago
0
Follow-up of discussions on event linking
#383
e-backmark-ericsson
opened
6 months ago
3
Update versioning docs in eiffel repo to cover for ultra strict version stepping
#382
e-backmark-ericsson
opened
6 months ago
0
Better link validations in schemas
#381
e-backmark-ericsson
opened
6 months ago
0
Add JSON schema link validations
#380
e-backmark-ericsson
closed
2 weeks ago
3
Update contribution info in README.md
#379
e-backmark-ericsson
closed
6 months ago
0
Update contribute link in README.md
#378
e-backmark-ericsson
closed
6 months ago
0
Schema correction for ActC
#377
e-backmark-ericsson
closed
6 months ago
8
Json keyword misspelled in all ActC yaml files
#376
e-backmark-ericsson
closed
6 months ago
2
Representation of public key and signature in meta.security is underspecified
#375
magnusbaeck
opened
7 months ago
1
Generate a list of allowed link types from the yml files
#374
e-backmark-ericsson
opened
7 months ago
1
Bump actions/checkout from 3 to 4
#373
dependabot[bot]
closed
10 months ago
0
Add document related test target in Makefile
#372
m-linner-ericsson
closed
11 months ago
0
Test history table for edition and version errors
#371
m-linner-ericsson
closed
10 months ago
0
Automate the release Editions
#370
m-linner-ericsson
opened
12 months ago
0
Add example for describing confidence levels for both SW and HW
#369
m-linner-ericsson
closed
10 months ago
1
Add CONFIDENCE_BASIS link for CLM
#368
m-linner-ericsson
closed
9 months ago
3
Run on Node16 using actions/checkout@v3
#367
m-linner-ericsson
closed
11 months ago
4
Change IUT to Implementation Under Test
#366
m-linner-ericsson
closed
11 months ago
3
IV has three different possible links to find the ID
#365
m-linner-ericsson
opened
1 year ago
0
Document how to describe dependencies between artifacts and source changes
#364
m-linner-ericsson
opened
1 year ago
0
Describe Activity vs Artifacts dimensions/domains
#363
m-linner-ericsson
closed
1 year ago
1
Document how to describe a group of servers/services
#362
m-linner-ericsson
opened
1 year ago
0
Document how to trace vulnerabilities
#361
m-linner-ericsson
opened
1 year ago
0
Describe how to create/reference SBOM
#360
m-linner-ericsson
opened
1 year ago
0
Change IUT to implementation under test
#359
m-linner-ericsson
closed
11 months ago
0
ActF/TCF/TSF should include digest of persistent log contents
#358
magnusbaeck
opened
1 year ago
2
Prepare for release of Orizaba
#357
magnusbaeck
closed
1 year ago
4
Release Orizaba edition of protocol
#356
magnusbaeck
closed
1 year ago
0
Add ORIGINAL_TRIGGER link type to ActT/TCT/TSS
#355
magnusbaeck
closed
1 year ago
5
Change definition of "introduced_in" field in the history tables
#354
magnusbaeck
closed
1 year ago
1
Add event_manifest.yml and a script to generate it
#353
magnusbaeck
closed
1 year ago
3
Add test that verifies history table entries
#352
magnusbaeck
closed
1 year ago
0
Next