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

68 Commits (51d4652a2595cf90661d2447c65f9f046af608fa)

Author SHA1 Message Date
sjunges 8fc0033bb2 fix dft-to-gspn regarding properties, now compiles again, and changed settings: Properties are now in IOSettings (should not change usage)
9 years ago
dehnert 64ddf12558 fixed two issues in jit builder: a) respect environment variable (instead of c++); b) casting integer variables to doubles when evaluating label expressions to avoid integer division
9 years ago
Matthias Volk de96f4444a Return exit code > 0 for exceptions
9 years ago
Matthias Volk 21cc2df4ca ResourceSettings needed
9 years ago
Matthias Volk 743ce2b023 Export DFT to Cytoscape JSON format
9 years ago
Sebastian Junges 9851100602 mttf
9 years ago
Sebastian Junges 87b6182ea3 build n-ary pdeps for transformation
9 years ago
sjunges 31efb4f0c9 prep for more formulas
9 years ago
Matthias Volk 63d594fb45 Rudimentary DFT parser from Cytoscape's JSON
9 years ago
Sebastian Junges 5c900e4e14 stats for gspn
9 years ago
Sebastian Junges 18383f5220 several fixes in dft->gspn->jani code path: Most notably, mas are closed, successor nodes failed places keep intact and tb property is added
9 years ago
Sebastian Junges 88e17d423a updated dft->gspn->jani workflow
9 years ago
Sebastian Junges b9e46cf8c1 gspn transformation related changes
9 years ago
Sebastian Junges d4f7088cfd updates to dft->gspn
9 years ago
sjunges b2b04fa76b moving dfts to their own lib and cli
9 years ago
Sebastian Junges faee1dfeee updated dft->gspn translation to now have basis support for spares
9 years ago
Sebastian Junges a8b6e6e188 added some stub for dft->gspn translation in cli
9 years ago
Sebastian Junges 82a740a74e storm-dft running again
9 years ago
sjunges 112fb8f61e moving dfts to their own lib and cli
9 years ago