sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
3269 Commits
2 Branches
0 Tags
187 MiB
Tree: c5bbceebda
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'c5bbceebda'
${ noResults }
Commit Graph

3269 Commits (c5bbceebdaa5473bf7a1ae4a60f68c1a9419e548)
 

Author SHA1 Message Date
ThomasH c5bbceebda fix project file
9 years ago
ThomasH dc8382bad5 add parser for pnpro files
9 years ago
ThomasH 3a63d2d3b2 add pnpro example
9 years ago
ThomasH c9d961c479 fix bug in argument parser
9 years ago
ThomasH 86c87ad6d1 add argument parsing & help output
9 years ago
ThomasH fa94302b2b add pnml export
9 years ago
ThomasH b930ed0dde use int instead of string ids
9 years ago
ThomasH 8ba12791ff add GspnBuilder class
9 years ago
ThomasH 4fc8543354 add test routine for checking validity of gspns
9 years ago
ThomasH 088aabb293 remove debug code
9 years ago
ThomasH 38a7502fe9 Merge branch 'gspn' of https://sselab.de/lab9/private/git/storm into gspn
9 years ago
ThomasH b9297fa513 fix bug
9 years ago
ThomasH 35f8d124a1 add more comments
9 years ago
ThomasH 3854feae87 add priorities to the parser and an example
9 years ago
sjunges f188ff4b49 Merge branch 'gspn' of https://sselab.de/lab9/private/git/storm into gspn
9 years ago
sjunges 4b20a724dc weight zero is no weight is now more explicit
9 years ago
Mavo 5530f908ca Fixed compile issues under Linux
9 years ago
Mavo 2fd29455cc Merge branch 'future' into gspn
9 years ago
Mavo 221bb59af1 CURL instead of curl
9 years ago
dehnert 510e525274 removed unnecessary define for boost::variant problem
9 years ago
dehnert cc958bedf0 fixed wrong usage of boost::variant in NextStateGenerator
9 years ago
Mavo 6a6ecf1d27 Merge from future
10 years ago
Mavo e258fe4fd2 Merge branch 'no_carl' into future
10 years ago
Mavo e6abef0615 Pass compiler through to resources
10 years ago
sjunges 14fc78bdec boost minimal is 1.57
10 years ago
sjunges 7938ce448e trying to fix boost variant by adding a define
10 years ago
ThomasH 10ff87cbaf Merge branch 'gspn' of https://sselab.de/lab9/private/git/storm into gspn
10 years ago
sjunges d2829413ca Merge branch 'future' into gspn
10 years ago
sjunges dc5d9637f5 storm-gspn added as target
10 years ago
sjunges 7e0d519670 add carl to resource dependency
10 years ago
sjunges ae9073ac50 moved cpplint in 3rdparty
10 years ago
sjunges 240f2291c6 some work towards documentation
10 years ago
sjunges b11ba27c34 some documentation stub
10 years ago
sjunges fdbc0bf694 moved doxygen generation file to the resources
10 years ago
ThomasH b6db74a780 Merge branch 'gspn' of https://sselab.de/lab9/private/git/storm into gspn
10 years ago
sjunges b8adc74ef9 gspn branch compiles and links with cln now
10 years ago
ThomasH 66f0832969 Merge remote-tracking branch 'origin/future' into gspn
10 years ago
sjunges 24f4ddf501 Merge branch 'future' into gspn
10 years ago
sjunges 61e817cccf apple support for xerces
10 years ago
Mavo 5b8cf447c7 Small changes in tests to compile without Carl
10 years ago
Mavo 566cef0f91 Started on compiling without Carl
10 years ago
ThomasH 5ead74a2c3 Merge branch 'gspn' of https://sselab.de/lab9/private/git/storm into gspn
10 years ago
sjunges cfd6926add a bit of progress
10 years ago
sjunges 81d5105d25 still a linker errror with xerces
10 years ago
sjunges a47da5a17b Merge branch 'future' into gspn
10 years ago
sjunges c3972e07aa remove some wrongfully created files
10 years ago
sjunges f2f5552708 improvements on carl include
10 years ago
sjunges 23b7b5a672 Merge branch 'future' into gspn
10 years ago
sjunges a36b8ede7b minimal compiler versions, otherwise an error :)
10 years ago
sjunges ebee22d546 merge, towards better integration of storm-gspn later on
10 years ago