Skip to content
GitLab
Explore
Sign in
Register
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
1.3.0
d4ad3a67
·
version bump
·
May 05, 2021
1.3.0: Object-oriented slicing based on the JSysDG
Unverified
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