Commits · 0847d5a9222d3fbc948e1e5e3f41ab252d4ccd1a · PIACERE / public / The Platform / DOML Model Checker

May 30, 2023
- 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
  
  e75d7b3a
May 17, 2023
- Add logging · 0b3e13b9
  Andrea Franchini authored 2 years ago
  
  0b3e13b9
- Remove unused code · 0b9edd4f
  Andrea Franchini authored 2 years ago
  
  0b9edd4f
- Add support for DOML v2.3 · 916325b0
  Andrea Franchini authored 2 years ago
  
  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
  
  7dcbbd95
Mar 22, 2023
- Remove req. in wrong place · 60b82f99
  Andrea Franchini authored 2 years ago
  
  60b82f99
- Remove stats module · 1b5e449b
  Andrea Franchini authored 2 years ago
  
  1b5e449b
Mar 21, 2023
- update test cases, add DOMLR support for DOML 2.2.1 · d2a90631
  Andrea Franchini authored 2 years ago
  
  d2a90631
Mar 16, 2023
- bump version · 3035851c
  Andrea Franchini authored 2 years ago
  
  3035851c
- Fix mc_openapi tests · 877742a2
  Andrea Franchini authored 2 years ago
  
  877742a2
- rewrite some common_reqs.py · 6518ccf4
  Andrea Franchini authored 2 years ago
  
  6518ccf4
- Add stats viewer · c0a1add4
  Andrea Franchini authored 2 years ago
  
  c0a1add4
- Add support for DOML 2.2.1 · ebdd1dc8
  Andrea Franchini authored 2 years ago
  
  ebdd1dc8
- Sort validated reqs by builtin or user · 8b7a1419
  Andrea Franchini authored 2 years ago
  
  8b7a1419
- Fix 'software_package_iface_net' requirement: now handles subnets · 867a0776
  Andrea Franchini authored 2 years ago
  
  867a0776
Mar 03, 2023
- Add ?version query param to /modelcheck endpoint · fe7c940e
  Andrea Franchini authored 2 years ago
  
  fe7c940e
- Add env DOML_VERSION to force version in Webserver · ae577f8d
  Andrea Franchini authored 2 years ago
  
  ae577f8d
- Remove support for DOML 2.1 and 2.1.1 · 4bc8e973
  Andrea Franchini authored 2 years ago
  
  4bc8e973
Feb 28, 2023
- bump version · f4737624
  Andrea Franchini authored 2 years ago
  
  f4737624
- Fix test support for DOML 2.2 · a6ca0883
  Andrea Franchini authored 2 years ago
  
  a6ca0883
Feb 27, 2023
- Infer DOML version automatically · 67841229
  Andrea Franchini authored 2 years ago
  
  67841229
- Add support for DOML v2.2 · 035eafed
  Andrea Franchini authored 2 years ago
  035eafed
- dockerfile port update · dd561686
  Andrea Franchini authored 2 years ago
  
  dd561686
- update readme and version · a6d09a01
  Andrea Franchini authored 2 years ago
  
  a6d09a01
Feb 02, 2023
- Add support for Requirements in DOML · 198e0164
  Andrea Franchini authored 2 years ago
  198e0164
- Add support for v2.1.1 · 9dd80794
  Andrea Franchini authored 2 years ago
  
  9dd80794
- Merge synthesis in CLI tool · c5961404
  Andrea Franchini authored 2 years ago
  
  c5961404
- wip: parser for synthesis, todo: fix strings · 074ed85d
  Andrea Franchini authored 2 years ago
  
  074ed85d
- Add rel_attr_elem_expr, parses vm1.x == vm2.y · dc45be06
  Andrea Franchini authored 2 years ago
  
  dc45be06
- add rel_attr_value_expr parser callback · 1b2a7bdd
  Andrea Franchini authored 2 years ago
  
  1b2a7bdd
- WIP: updating parser · 06b88571
  Andrea Franchini authored 2 years ago
  
  06b88571
Jan 25, 2023
- Add initial support to new synthesis package · e4da9015
  Andrea Franchini authored 2 years ago
  
  e4da9015
Dec 13, 2022
- Add TODO comments for missing cases in xmi_gen.py · a3bd06de
  Andrea Franchini authored 2 years ago
  
  a3bd06de
- Add draft of DOMLX generator from synthetized requirements · 4b49c447
  Andrea Franchini authored 2 years ago
  
  4b49c447
- Move Notebooks into their own folder · 99873a69
  Andrea Franchini authored 2 years ago
  
  99873a69