Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
D
DOML Model Checker
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Operate
Environments
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
PIACERE
public
The Platform
DOML Model Checker
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
af69733d98161e070da070fb832b7366bcec15db
Select Git revision
Branches
3
main
default
y1
y3
3 results
Begin with the selected commit
Created with Raphaël 2.2.0
18
Jan
24
Jul
23
Jun
22
14
13
7
6
5
1
31
May
30
24
17
23
Mar
22
21
16
3
28
Feb
27
2
25
Jan
13
Dec
30
Nov
24
15
12
11
10
4
2
30
Oct
26
24
23
21
16
14
13
12
11
10
7
6
3
1
29
Sep
28
22
20
13
12
1
2
Aug
1
31
Jul
30
29
28
14
11
7
9
Jun
8
17
May
16
29
Apr
25
21
15
25
Feb
27
Jan
9
23
Dec
22
Updates
main
main
Updates
y3
y3
Update readme
bump version
fix bug related to poorly formatted log warn
Add solve time to result
fix err msg wrapping
Fix errors for HTML and JSON
fix test port
Restore gitlab CI to main but run only on branch y3
adds EXPOSE to help traefik to decide the port to redirect to
rework dockerfile
fix dockerfile run command
fix exceptions constructor
fix dockerfile launch cmd
fix requests,flask dep
fix uvicorn dep
fix jinja dep
fix 400 error return object
migrate to fastapi, improve HTML output
Update docker-image.yml
Create docker-image.yml
add docs for doml 3.0
Add CSP step after MC (if flag)
Add requirement for issue #22 (VM and OS)
Add support for DOML 3.0
fix test
fix tests for CI/CD
Add requirement from issue #25 on GitLab (asg->vm)
refactor each requirement into a file
fix missing dep on pytest
bump version and fix requirements.txt
Add new test cases
add MC html output
Add CSP html output
Major refactor of entrypoint and add DOMLR flags
Refactor and fix test suite
Add logging
Remove unused code
Add support for DOML v2.3
Loading