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

Tags give the ability to mark specific points in history as being important

This project is mirrored from https://*****:*****@github.com/nl-utwente-groove/code. Pull mirroring updated May 15, 2024.

release-6_8_1

33c5ae8e · Preparing release 6.8.1 · Apr 08, 2024
```
Release 6.8.1
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_8_0

63d4b7ee · Preparing release 6.8.0 · Mar 25, 2024
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-0_0_0

46225592 · Update release.yml · Mar 24, 2024
```
Will a proper release be created?
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-0_0_1

64101473 · Update release.yml · Mar 24, 2024
```
Will a proper release be created?
```
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_7_3

ff183788 · Release 6.7.3 · Feb 26, 2024
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_7_2

a58a8c1c · Release 6.7.2 · Feb 23, 2024
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_7_1

44fa4d93 · Release 6.7.1 · Feb 20, 2024
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_7_0

6f4519f2 · Tagging release 6.7.0 · Feb 09, 2024
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_6_5

fc2d917f · Release 6.6.5 · Dec 28, 2023
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_6_4

3b6ebe97 · Release 6.6.4 · Nov 29, 2023
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_6_3

675f6deb · Release 6.6.3 · Nov 22, 2023
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_6_2

fa4b9f57 · Release 6.6.2 · Nov 15, 2023
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_6_1

a7651143 · Tagging release 6.6.1 · Nov 13, 2023
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_6_0

8ae34e29 · Tagging release 6.6.0 · Nov 13, 2023
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_5_2

8c4386cf · Tagging release 6.5.2 · Oct 31, 2023
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_5_1

415ca740 · Release 6.5.1 · Oct 26, 2023
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_5_0

bdac16c1 · Release 6.5.0 · Oct 25, 2023
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_4_0

c90fbff5 · Release 6.4.0 · Oct 24, 2023
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_3_0

48d38301 · Release 6.3.0 · Oct 24, 2023
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
release-6_2_1

7cd757c5 · Release 6.2.1 · Oct 17, 2023
- Download source code
  zip
  
  tar.gz
  
  tar.bz2
  
  tar