Tags

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

1.3.1

baae107d · Merge branch 'feature-enums' into 'develop' · Jun 02, 2022

Release: 1.3.1
```
Fixes for object-oriented slicing
```
experiments-short-prole21

9ba011a1 · Fix propagation of object trees through calls · Jul 28, 2021

d4ad3a67 · version bump · May 05, 2021

1.3.0: Object-oriented slicing based on the JSysDG

1.2.5

43754404 · bump version · Nov 26, 2020
1.2.4

21944ff0 · Remove jetbrains annotations · Sep 15, 2020

Release: 1.2.4 - Lawn mower
1.0.5

fd5c2213 · Slicer: removed bugs · Sep 15, 2020
tfm

41ac79c2 · README: add missing flag in example · Sep 14, 2020