Activity · Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code · GitLab

Snippets Groups Projects

15 hours ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

15b98a30 · Update README.md

22 hours ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

84d272a6 · Merge branch 'master' of https://github.com/nl-utwente-groove/code.git
... and 1 more commit. Compare edb450ad...84d272a6

1 day ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

edb450ad · Resolved gh #849

1 day ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

0c4ee70e · Postprocessing of release 7.4.0
... and 1 more commit. Compare c713306d...0c4ee70e

1 day ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

c713306d · Regression bug due to implementation of gh #845
... and 1 more commit. Compare e0da1efb...c713306d

1 day ago

Rensink @m7644387

pushed to tag release-7_4_0 at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

c713306d ·

1 day ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

e0da1efb · Preparing release 7.4.0
... and 1 more commit. Compare 751915d6...e0da1efb

1 day ago

Rensink @m7644387

pushed new tag release-7_4_0 at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

1 day ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

751915d6 · Resolved two bugs in export of LTS as .gts and to .tikz

5 days ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

5c31edfd · Selection now scrolls to a selected graph element, and F3 to the next

6 days ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

fc15b9dc · Added ruleEnabling system property (to replace disabledRules)

6 days ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

5525c87d · Reset debug flag to false

6 days ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

9d5f61dd · Merge branch 'master' of git@github.com:nl-utwente-groove/code.git
... and 1 more commit. Compare 016b2247...9d5f61dd

6 days ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

016b2247 · Merge branch 'master' of https://github.com/nl-utwente-groove/code.git
... and 6 more commits. Compare 5544fa17...016b2247

1 week ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

5544fa17 · Bounded up-to-rule exploration added

1 week ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

3cb50e99 · Modified DFS bounded exploration so it computes the depth correctly

1 week ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

8fcc909d · Regression error in previous commit

1 week ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

80a8574a · Bounded BFS and DFS added

1 week ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

61ed3703 · CTL model checking for implication corrected
... and 2 more commits. Compare 62d5f4d1...61ed3703

1 week ago

Rensink @m7644387

pushed to branch master at Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

62d5f4d1 · Postprocessing release 7.3.1