Commits · 1a813a9c3e552960ec5c54dbd7704c71433bc5e7 · PIACERE / public / The Platform / DOML Model Checker · GitLab

Snippets Groups Projects

Jun 06, 2023
- Create docker-image.yml · 1a813a9c
  Andrea Franchini authored 1 year ago
  
  Unverified
  
  1a813a9c
- add docs for doml 3.0 · 9208cef6
  Andrea Franchini authored 1 year ago
  
  Unverified
  
  9208cef6
Jun 05, 2023
- Add CSP step after MC (if flag) · 2bd0cc51
  Andrea Franchini authored 1 year ago
  
  Unverified
  
  2bd0cc51
Jun 01, 2023
- Add requirement for issue #22 (VM and OS) · 1fe1511b
  Andrea Franchini authored 1 year ago
  
  Unverified
  
  1fe1511b
- Add support for DOML 3.0 · f60a439c
  Andrea Franchini authored 1 year ago
  
  Unverified
  
  f60a439c
- fix test · f5f44e16
  Andrea Franchini authored 1 year ago
  
  Unverified
  
  f5f44e16
- fix tests for CI/CD · 986bd6ad
  Andrea Franchini authored 1 year ago
  
  Unverified
  
  986bd6ad
May 31, 2023
- Add requirement from issue #25 on GitLab (asg->vm) · dc311482
  Andrea Franchini authored 1 year ago
  
  Unverified
  
  dc311482
- refactor each requirement into a file · b40afcc9
  Andrea Franchini authored 1 year ago
  
  Unverified
  
  b40afcc9
May 30, 2023
- fix missing dep on pytest · 6d90055e
  Andrea Franchini authored 1 year ago
  
  Unverified
  
  6d90055e
- bump version and fix requirements.txt · 67529cf4
  Andrea Franchini authored 1 year ago
  
  Unverified
  
  67529cf4
- Add new test cases · 8c8d7f3e
  Andrea Franchini authored 1 year ago
  
  8c8d7f3e
- add MC html output · 5792bb81
  Andrea Franchini authored 1 year ago
  
  5792bb81
- Add CSP html output · 24c0199b
  Andrea Franchini authored 1 year ago
  
  24c0199b
- Major refactor of entrypoint and add DOMLR flags · 0847d5a9
  Andrea Franchini authored 2 years ago
  
  0847d5a9
May 24, 2023
- Refactor and fix test suite · e75d7b3a
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  e75d7b3a
May 17, 2023
- Add logging · 0b3e13b9
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  0b3e13b9
- Remove unused code · 0b9edd4f
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  0b9edd4f
- Add support for DOML v2.3 · 916325b0
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  916325b0
- Add new checks for arch, os, and minimum setup compatibility · 6c86f7f4
  Andrea Franchini authored 2 years ago
  
  6c86f7f4
- wip: csp iec integration · 42526b15
  Andrea Franchini authored 2 years ago
  
  42526b15
- add data for PoC of CSP in notebook · 3445de11
  Andrea Franchini authored 2 years ago
  
  3445de11
- Proof of Concept of CSP Compatibility Check · 21971842
  Andrea Franchini authored 2 years ago
  
  21971842
Mar 23, 2023
- fix gateways bug, domlr was using hardcoded version · 7dcbbd95
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  7dcbbd95
Mar 22, 2023
- Test case changed, update test suite · 71ea48d8
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  71ea48d8
- Remove req. in wrong place · 60b82f99
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  60b82f99
- Remove stats module · 1b5e449b
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  1b5e449b
Mar 21, 2023
- update test cases, add DOMLR support for DOML 2.2.1 · d2a90631
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  d2a90631
Mar 16, 2023
- bump version · 3035851c
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  3035851c
- Fix mc_openapi tests · 877742a2
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  877742a2
- Update .gitlab/issue_templates/issue.md · 53216da0
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  53216da0
- Add issue template · 8181f0c0
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  8181f0c0
- rewrite some common_reqs.py · 6518ccf4
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  6518ccf4
- Add stats viewer · c0a1add4
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  c0a1add4
- Add more tests 'UseCases' · 59307cbd
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  59307cbd
- Add support for DOML 2.2.1 · ebdd1dc8
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  ebdd1dc8
- Sort validated reqs by builtin or user · 8b7a1419
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  8b7a1419
- Fix 'software_package_iface_net' requirement: now handles subnets · 867a0776
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  867a0776
- Add reference and examples for DOMLR · f5fcf2cc
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  f5fcf2cc
Mar 03, 2023
- Add ?version query param to /modelcheck endpoint · fe7c940e
  Andrea Franchini authored 2 years ago
  
  Unverified
  
  fe7c940e