Commits · main · PIACERE / public / The Platform / DOML Model Checker

Jan 18, 2024
- Updates · 4b1cc6db
  Benguria Elguezabal, Gorka authored 1 year ago
  
  4b1cc6db
Jul 24, 2023
- Update readme · b09ed209
  Andrea Franchini authored 1 year ago
  
  b09ed209
Jun 23, 2023
- bump version · c63b79a3
  Andrea Franchini authored 1 year ago
  
  c63b79a3
Jun 22, 2023
- fix bug related to poorly formatted log warn · 632553f7
  Andrea Franchini authored 1 year ago
  
  632553f7
- Add solve time to result · 092e923c
  Andrea Franchini authored 1 year ago
  
  092e923c
- fix err msg wrapping · af69733d
  Andrea Franchini authored 1 year ago
  
  af69733d
- Fix errors for HTML and JSON · 764a919f
  Andrea Franchini authored 1 year ago
  
  764a919f
Jun 14, 2023
- fix test port · e0751675
  Andrea Franchini authored 1 year ago
  
  e0751675
- Restore gitlab CI to main but run only on branch y3 · 34a32fd2
  Andrea Franchini authored 1 year ago
  
  34a32fd2
Jun 13, 2023
- adds EXPOSE to help traefik to decide the port to redirect to · faf7e020
  Benguria Elguezabal, Gorka authored 1 year ago
  
  faf7e020
Jun 07, 2023
- rework dockerfile · 75809326
  Andrea Franchini authored 1 year ago
  
  75809326
- fix dockerfile run command · ed8c6ef7
  Andrea Franchini authored 1 year ago
  
  ed8c6ef7
- fix exceptions constructor · e54ecd56
  Andrea Franchini authored 1 year ago
  
  e54ecd56
- fix dockerfile launch cmd · b341fea9
  Andrea Franchini authored 1 year ago
  
  b341fea9
Jun 06, 2023
- fix requests,flask dep · 33f55608
  Andrea Franchini authored 1 year ago
  
  33f55608
- fix uvicorn dep · 56e9fe64
  Andrea Franchini authored 1 year ago
  
  56e9fe64
- fix jinja dep · d5b38589
  Andrea Franchini authored 1 year ago
  
  d5b38589
- fix 400 error return object · b1f2f1d5
  Andrea Franchini authored 1 year ago
  
  b1f2f1d5
- migrate to fastapi, improve HTML output · 821d597a
  Andrea Franchini authored 1 year ago
  
  821d597a
- Update docker-image.yml · a3b0ff42
  Andrea Franchini authored 1 year ago
  
  a3b0ff42
- Create docker-image.yml · 1a813a9c
  Andrea Franchini authored 1 year ago
  
  1a813a9c
- add docs for doml 3.0 · 9208cef6
  Andrea Franchini authored 1 year ago
  
  9208cef6
Jun 05, 2023
- Add CSP step after MC (if flag) · 2bd0cc51
  Andrea Franchini authored 1 year ago
  
  2bd0cc51
Jun 01, 2023
- Add requirement for issue #22 (VM and OS) · 1fe1511b
  Andrea Franchini authored 1 year ago
  
  1fe1511b
- Add support for DOML 3.0 · f60a439c
  Andrea Franchini authored 1 year ago
  
  f60a439c
- fix test · f5f44e16
  Andrea Franchini authored 1 year ago
  
  f5f44e16
- fix tests for CI/CD · 986bd6ad
  Andrea Franchini authored 1 year ago
  
  986bd6ad
May 31, 2023
- Add requirement from issue #25 on GitLab (asg->vm) · dc311482
  Andrea Franchini authored 1 year ago
  
  dc311482
- refactor each requirement into a file · b40afcc9
  Andrea Franchini authored 1 year ago
  
  b40afcc9
May 30, 2023
- fix missing dep on pytest · 6d90055e
  Andrea Franchini authored 1 year ago
  
  6d90055e
- bump version and fix requirements.txt · 67529cf4
  Andrea Franchini authored 1 year ago
  
  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 1 year ago
  
  0847d5a9
May 24, 2023
- Refactor and fix test suite · e75d7b3a
  Andrea Franchini authored 1 year ago
  
  e75d7b3a
May 17, 2023
- Add logging · 0b3e13b9
  Andrea Franchini authored 1 year ago
  
  0b3e13b9
- Remove unused code · 0b9edd4f
  Andrea Franchini authored 1 year ago
  
  0b9edd4f
- Add support for DOML v2.3 · 916325b0
  Andrea Franchini authored 1 year ago
  
  916325b0
- Add new checks for arch, os, and minimum setup compatibility · 6c86f7f4
  Andrea Franchini authored 2 years ago
  
  6c86f7f4