Skip to content
This repository has been archived by the owner on Jul 2, 2024. It is now read-only.

Actions: pmontepagano/search

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md to indicate project was moved Test #90: Commit abfe2d9 pushed by pmontepagano
July 2, 2024 11:48 In progress main
main
July 2, 2024 11:48 In progress
Update LOGDESCRIPTION.md Test #89: Commit 10c835f pushed by pmontepagano
May 29, 2024 17:51 2m 19s main
main
May 29, 2024 17:51 2m 19s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #88: Pull request #13 synchronize by clpombo
March 23, 2024 18:35 3m 0s bisimulation-impl-paper
bisimulation-impl-paper
March 23, 2024 18:35 3m 0s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #87: Pull request #13 synchronize by clpombo
March 23, 2024 15:00 3m 5s bisimulation-impl-paper
bisimulation-impl-paper
March 23, 2024 15:00 3m 5s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #86: Pull request #13 synchronize by clpombo
March 23, 2024 14:58 2m 59s bisimulation-impl-paper
bisimulation-impl-paper
March 23, 2024 14:58 2m 59s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #85: Pull request #13 synchronize by pmontepagano
March 21, 2024 21:06 3m 5s bisimulation-impl-paper
bisimulation-impl-paper
March 21, 2024 21:06 3m 5s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #84: Pull request #13 synchronize by pmontepagano
March 8, 2024 11:41 3m 13s bisimulation-impl-paper
bisimulation-impl-paper
March 8, 2024 11:41 3m 13s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #83: Pull request #13 synchronize by pmontepagano
March 8, 2024 11:28 3m 3s bisimulation-impl-paper
bisimulation-impl-paper
March 8, 2024 11:28 3m 3s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #82: Pull request #13 synchronize by pmontepagano
March 5, 2024 23:17 3m 27s bisimulation-impl-paper
bisimulation-impl-paper
March 5, 2024 23:17 3m 27s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #81: Pull request #13 synchronize by pmontepagano
March 2, 2024 21:47 3m 11s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 21:47 3m 11s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #80: Pull request #13 synchronize by clpombo
March 2, 2024 15:10 3m 38s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 15:10 3m 38s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #79: Pull request #13 synchronize by clpombo
March 2, 2024 14:29 2m 43s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 14:29 2m 43s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #78: Pull request #13 synchronize by clpombo
March 2, 2024 13:44 2m 52s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 13:44 2m 52s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #77: Pull request #13 synchronize by clpombo
March 2, 2024 11:39 3m 5s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 11:39 3m 5s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #76: Pull request #13 synchronize by pmontepagano
March 2, 2024 11:29 3m 28s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 11:29 3m 28s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #75: Pull request #13 synchronize by pmontepagano
March 2, 2024 11:25 2m 54s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 11:25 2m 54s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #74: Pull request #13 synchronize by clpombo
March 2, 2024 11:19 3m 34s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 11:19 3m 34s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #73: Pull request #13 synchronize by pmontepagano
March 2, 2024 11:15 2m 51s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 11:15 2m 51s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #72: Pull request #13 synchronize by clpombo
March 2, 2024 10:17 3m 10s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 10:17 3m 10s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #71: Pull request #13 synchronize by pmontepagano
March 2, 2024 10:01 3m 3s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 10:01 3m 3s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #70: Pull request #13 synchronize by pmontepagano
March 2, 2024 09:35 3m 6s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 09:35 3m 6s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #69: Pull request #13 synchronize by pmontepagano
March 2, 2024 09:18 3m 2s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 09:18 3m 2s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #68: Pull request #13 synchronize by pmontepagano
March 2, 2024 09:00 2m 49s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 09:00 2m 49s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #67: Pull request #13 synchronize by pmontepagano
March 2, 2024 08:14 2m 57s bisimulation-impl-paper
bisimulation-impl-paper
March 2, 2024 08:14 2m 57s
bisimulation check using cfsm_bisimulation from Diego's thesis Test #66: Pull request #13 synchronize by pmontepagano
February 29, 2024 21:42 3m 35s bisimulation-impl-paper
bisimulation-impl-paper
February 29, 2024 21:42 3m 35s