Skip to content

Actions: nickovic/rtamt

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
33 workflow runs
33 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge branch 'master' into vscode_devcontainer Python package #511: Commit 70b9e50 pushed by bardhh
February 7, 2024 23:49 40s vscode_devcontainer
vscode_devcontainer
February 7, 2024 23:49 40s
Fixed a CPP test STLNotImplementedException -> RTAMTException Python package #510: Commit f814c53 pushed by nickovic
February 6, 2024 09:34 51s master
master
February 6, 2024 09:34 51s
Adding devcontainer for development Python package #509: Commit 3a748f5 pushed by bardhh
February 5, 2024 20:03 44s vscode_devcontainer
vscode_devcontainer
February 5, 2024 20:03 44s
Final updates Python package #508: Commit 24501dd pushed by nickovic
January 30, 2024 17:34 46s master
master
January 30, 2024 17:34 46s
Final updates Python package #507: Commit 24501dd pushed by nickovic
January 30, 2024 17:32 2m 18s iss-170-dense-time-monitor
iss-170-dense-time-monitor
January 30, 2024 17:32 2m 18s
Refactored grammar Python package #506: Commit 72f51bd pushed by nickovic
January 26, 2024 23:08 58s iss-170-dense-time-monitor-grammar
iss-170-dense-time-monitor-grammar
January 26, 2024 23:08 58s
Fixed the formulation of MTTC as STL formula Python package #505: Commit 7550d48 pushed by nickovic
January 18, 2024 11:53 50s boolean-vars
boolean-vars
January 18, 2024 11:53 50s
Fixed the formulation of RSS as STL formula Python package #504: Commit 9b8ceb4 pushed by nickovic
January 18, 2024 11:47 47s boolean-vars
boolean-vars
January 18, 2024 11:47 47s
Fixing the criticality metric computation (mismatch with test cases). Python package #503: Commit 0316b43 pushed by nickovic
January 18, 2024 10:54 55s boolean-vars
boolean-vars
January 18, 2024 10:54 55s
WIP. Ported formulations to min/max Python package #502: Commit 46fe886 pushed by alessiogambi
December 21, 2023 11:00 50s boolean-vars
boolean-vars
December 21, 2023 11:00 50s
Basic Integration tests for TTC Python package #501: Commit cbf07b5 pushed by alessiogambi
December 21, 2023 09:53 53s boolean-vars
boolean-vars
December 21, 2023 09:53 53s
AD examples added Python package #500: Commit 835d0cf pushed by nickovic
December 19, 2023 22:56 56s boolean-vars
boolean-vars
December 19, 2023 22:56 56s
Offline monitor visit booleanize Python package #499: Commit 652b32e pushed by nickovic
December 19, 2023 22:04 1m 1s boolean-vars
boolean-vars
December 19, 2023 22:04 1m 1s
Merge branch 'antlr4-11' into parser-bug Python package #498: Commit f587cc2 pushed by nickovic
December 14, 2023 12:55 1m 1s parser-bug
parser-bug
December 14, 2023 12:55 1m 1s
Support for Boolean variables interpreted as +/- inf. Python package #497: Commit 8a6e9af pushed by nickovic
December 13, 2023 21:50 55s parser-bug
parser-bug
December 13, 2023 21:50 55s
Grammar fix. Python package #496: Commit c9b1d74 pushed by nickovic
December 13, 2023 20:33 45s parser-bug
parser-bug
December 13, 2023 20:33 45s
first test Python package #495: Commit ac16a74 pushed by nickovic
December 12, 2023 21:56 41s parser-bug
parser-bug
December 12, 2023 21:56 41s
typo Python package #494: Commit 8b6d377 pushed by TomyYamy
November 8, 2023 17:48 50s master
master
November 8, 2023 17:48 50s
Merge pull request #167 from nickovic/add_sttt_readme Python package #493: Commit 455a415 pushed by nickovic
November 8, 2023 13:09 1m 3s master
master
November 8, 2023 13:09 1m 3s
add STTT Python package #492: Commit fd7fafc pushed by TomyYamy
November 8, 2023 06:09 41s add_sttt_readme
add_sttt_readme
November 8, 2023 06:09 41s
Removing the test for spec from file. Python package #491: Commit f4c6894 pushed by nickovic
November 1, 2023 23:51 1m 15s antlr4-11
antlr4-11
November 1, 2023 23:51 1m 15s
Removed the test for loading specification from file. Python package #490: Commit 32f26c0 pushed by nickovic
November 1, 2023 23:25 58s master
master
November 1, 2023 23:25 58s
Adapted the test for explanations. Python package #489: Commit 84d36fa pushed by nickovic
November 1, 2023 23:23 46s master
master
November 1, 2023 23:23 46s
Removed the plotter and the deendancy on matplotlib Python package #488: Commit bb8118f pushed by nickovic
November 1, 2023 23:19 56s master
master
November 1, 2023 23:19 56s
Removed python 2.7 and 3.6 from ci.yml Python package #487: Commit 5a81f11 pushed by nickovic
November 1, 2023 23:14 1m 4s master
master
November 1, 2023 23:14 1m 4s