Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
R
rltl-runtime-monitoring-code
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
rLTL
rltl-runtime-monitoring-code
Graph
1d4a8ee897f7a83606f6c479bd54e2c656e62f29
Select Git revision
Branches
3
dependencies
experiments
master
default
protected
3 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
27
Feb
25
21
14
11
5
6
Jan
4
21
Oct
11
May
24
Apr
19
15
12
15
Dec
14
10
9
7
6
4
28
Nov
24
Add dependencies.
dependencies
dependencies
Update readme, remove submodules.
Remove build_dependency script.
De-anonymized sources.
Update readme for dependencies.
Fix name of owl jar.
Remove lib, update owl.
Add submodules at proper commits.
Remove dependencies folder.
Add dependencies in their proper version, updated jars.
Missing libs.
experiments
experiments
Update Libs.
Recover dependencies.
Update build_dependencies.
Adapt code to be compatible to automatalib 8.
Add source code of dependencies to comply with their licenses.
Add license.
Remove testing-only break statement.
Polish experiments script.
Anonymized sources
Improved statistics
Implemented new notion of monitorability
Experiments now also consider formulas that did not work for Bauer et al. (i.e., marked with @). Statistics updated to output whether a property is (r)ltl-monitorable.
Merge fix for operator precedence from experiments branch.
master
master
Now using the rLTL2LTL parser in both the rLTL and LTL monitor construction so as to have the same operator precedence. Also updated rLTL2LTL.jar to reflect new operator precedence.
Replace 'tt' with 'disambiguated'.
Add fully parenthesized specs.
Added check for trivial monitors to statistics output
Reworked the statistics output, which now also outputs the number of distinct outputs for each monitor and the time taken to construct it.
Merge branch 'master' into experiments
Fixed bug in rLTL-2-LTL converter
Update README for experiments.
Add script for downloading specs and running experiments.
Fix order of statistics.
First script for the evaluation.
(Temorary) fix for problem with empty Owl automata
Fixed major bug in rLTL monitor construction
Refactored code and added command line arguments to select LTL and rLTL monitor construction
Update README.md
Added Leucker et al.'s LTL monitor construction
Loading