Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
P
pitpn2maude-journal
Manage
Activity
Members
Labels
Plan
Issues
0
Issue boards
Milestones
Wiki
Code
Merge requests
0
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
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
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
real-time maude
pitpn2maude-journal
Graph
7df977a32f5871d362abec6a4568de7500a66c02
Select Git revision
Branches
1
main
default
protected
1 result
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
27
Mar
23
22
20
19
18
Dec
15
14
13
12
11
8
update figures
main
main
fix figures
fix width of plot
all figures
update logs2
add AG files
update figures
update notebook
update images for submission
add logs p2
fix symbols
fix notebook
fix plots
fix some plots
add logs1.zip
add new models
add logs0 EF
update train2
fix train2 model
fix train1 model
remove underscores in names
fix benchmarks
fix benchmarks script
moving old results
add more assertions on the model
add assertions to fix the attributes of a supported model
add some assertions about the romeo model
update models
add bucci_04_nopreempt, bucci04_preempt, and remove epoc and offline_scheduler
add property to the cts file
add cts files of romeo models
add new models : abitpro, epoc, offline_scheduler_cost, train1, train2
Better notation for commands
fix margins in figures
update python script
update plots
new plots
fix point annotation
fix name of plots
new plots
Loading