Skip to content

Actions: freespek/ssf-mc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add 3SF concepts Linkspector #96: Pull request #91 synchronize by saltiniroberto
December 13, 2024 22:43 44s roberto/3sf-concepts
roberto/3sf-concepts
December 13, 2024 22:43 44s
Fix a couple of typos Linkspector #95: Pull request #90 synchronize by saltiniroberto
December 12, 2024 02:59 37s roberto/minor-fixes
roberto/minor-fixes
December 12, 2024 02:59 37s
Add minor comments Linkspector #94: Pull request #93 opened by saltiniroberto
December 12, 2024 02:58 39s minor-comments
minor-comments
December 12, 2024 02:58 39s
Fix a couple of typos Linkspector #93: Pull request #90 synchronize by saltiniroberto
December 12, 2024 02:34 32s roberto/minor-fixes
roberto/minor-fixes
December 12, 2024 02:34 32s
Add future work item about proving other properties Linkspector #92: Pull request #92 opened by saltiniroberto
December 12, 2024 02:31 32s add-future-work-item
add-future-work-item
December 12, 2024 02:31 32s
Add 3SF concepts Linkspector #91: Pull request #91 opened by saltiniroberto
December 12, 2024 02:07 43s roberto/3sf-concepts
roberto/3sf-concepts
December 12, 2024 02:07 43s
Fix a couple of typos Linkspector #90: Pull request #90 synchronize by saltiniroberto
December 11, 2024 04:49 34s roberto/minor-fixes
roberto/minor-fixes
December 11, 2024 04:49 34s
Fix a couple of typos Linkspector #89: Pull request #90 opened by saltiniroberto
December 10, 2024 05:57 33s roberto/minor-fixes
roberto/minor-fixes
December 10, 2024 05:57 33s
TH comments addressed Linkspector #88: Pull request #89 opened by Kukovec
December 9, 2024 16:10 48s jk/thComments
jk/thComments
December 9, 2024 16:10 48s
fix footnotes Linkspector #87: Pull request #88 opened by konnov
December 2, 2024 13:01 41s igor/fix-footnotes
igor/fix-footnotes
December 2, 2024 13:01 41s
adding a link to the repo Linkspector #86: Pull request #87 opened by konnov
December 2, 2024 09:04 37s igor/report-link
igor/report-link
December 2, 2024 09:04 37s
A brief introduction of 3SF Linkspector #85: Pull request #86 synchronize by konnov
November 29, 2024 09:20 34s 3sf-intro
3sf-intro
November 29, 2024 09:20 34s
A brief introduction of 3SF Linkspector #84: Pull request #86 synchronize by konnov
November 29, 2024 08:57 34s 3sf-intro
3sf-intro
November 29, 2024 08:57 34s
A brief introduction of 3SF Linkspector #83: Pull request #86 synchronize by banhday
November 29, 2024 06:55 40s 3sf-intro
3sf-intro
November 29, 2024 06:55 40s
A brief introduction of 3SF Linkspector #82: Pull request #86 synchronize by konnov
November 27, 2024 13:10 35s 3sf-intro
3sf-intro
November 27, 2024 13:10 35s
A brief introduction of 3SF Linkspector #81: Pull request #86 synchronize by saltiniroberto
November 27, 2024 13:00 41s 3sf-intro
3sf-intro
November 27, 2024 13:00 41s
A brief introduction of 3SF Linkspector #80: Pull request #86 synchronize by konnov
November 26, 2024 17:01 43s 3sf-intro
3sf-intro
November 26, 2024 17:01 43s
A brief introduction of 3SF Linkspector #79: Pull request #86 opened by banhday
November 26, 2024 08:09 33s 3sf-intro
3sf-intro
November 26, 2024 08:09 33s
add the last data point Linkspector #78: Pull request #85 opened by konnov
November 19, 2024 11:23 46s igor/experiments-spec4
igor/experiments-spec4
November 19, 2024 11:23 46s
update the description from the report Linkspector #77: Pull request #84 opened by konnov
November 14, 2024 15:52 37s igor/update-landing2
igor/update-landing2
November 14, 2024 15:52 37s
update the figure for C4 Linkspector #76: Pull request #83 opened by konnov
November 4, 2024 08:41 38s igor/report-table
igor/report-table
November 4, 2024 08:41 38s
Finishing the experiments with Spec4b Linkspector #75: Pull request #77 synchronize by konnov
November 1, 2024 19:09 46s igor/spec4b-fix
igor/spec4b-fix
November 1, 2024 19:09 46s
Finishing the experiments with Spec4b Linkspector #74: Pull request #77 synchronize by konnov
November 1, 2024 14:05 43s igor/spec4b-fix
igor/spec4b-fix
November 1, 2024 14:05 43s
Finishing the experiments with Spec4b Linkspector #73: Pull request #77 synchronize by konnov
November 1, 2024 13:59 31s igor/spec4b-fix
igor/spec4b-fix
November 1, 2024 13:59 31s
Two more Alloy experiments Linkspector #72: Pull request #76 synchronize by konnov
November 1, 2024 13:44 35s igor/alloy-exp67
igor/alloy-exp67
November 1, 2024 13:44 35s