Skip to content
GitLab
Explore
Sign in
ag-sks
Tools
hpnmg
Repository
Branches
Overview
Active
Stale
All
validLocations
f42c4abc
·
first try in updating bounds (not working)
·
Jul 25, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
casestudy
1810c9b2
·
Finalize for submission
·
Sep 27, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refactorPltClasses
26c4c0fa
·
WIP: new interface for general transitions and RVs
·
Mar 05, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
serialization
bce82c98
·
WIP: Add (de)serialization for model-checking types
·
Jul 18, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cleanup-headers
502d43d5
·
Refactor include directives
·
Oct 15, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
parallelization
3f1be000
·
Changes only for paper
·
Oct 24, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
hennerCaseStudy
d131d7bd
·
Update casestudy script
·
Nov 08, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adjustMaxtime
8ffdccdb
·
add test for measuring
·
Jan 02, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bachelorarbeitPauline
0af2f655
·
Finaler Status der Implementierung
·
Feb 09, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
nondeterministicRates
12b8c0c4
·
boost/std get bug fixed, hypro/carl/hpnmg now working together
·
Mar 12, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
PropheticScheduling
0c3da83c
·
Testfiles Modell Erik Roguschke
·
May 07, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bachelorarbeitAnnabell
99e6bd09
·
Guard Arc Empty test not working because of PLT size, excluded for now
·
May 20, 2020
!1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
integrationOnPolytope
4843781c
·
deleted conflicting files
·
May 25, 2020
!2
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bugfix_dynamictransitions
d1d89dfb
·
small errors in model files water sewage
·
Jun 09, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
arch2020watersewage
ec48c800
·
arch goal places
·
Aug 12, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
qestSpecialIssue
e1c4f256
·
direct integration on polytopes
·
Sep 02, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
5d325582
·
update casestudy
·
Nov 10, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
MAe_rogu01
d9f4c395
·
Rebase preparations
·
Dec 31, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/no_polytope_copies
d2a84645
·
avoid copying polytopes
·
Aug 08, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
hybridAutomaton
1c6a5bd1
·
fix: Hypro 2.0.0
·
Feb 27, 2023
!9
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar