4048 Commits (8c6b22bebcc8b89a287388dc6d7cc04407b50072)

Author SHA1 Message Date
Sebastian Junges 0386888018 put libs and binaries in a separate folder 9 years ago
Matthias Volk 743ce2b023 Export DFT to Cytoscape JSON format 9 years ago
dehnert 5b09b91ae1 fixed more warnings 9 years ago
dehnert 8d6b029d67 next batch of fixing warnings 9 years ago
dehnert 136cb194d1 fixed a bunch of unused variable warnings 9 years ago
dehnert 05203792f2 fixed a couple of warnings 9 years ago
dehnert 208938b0a1 changed sylvan behaviour to take auto-detected number of threads if no thread count was set 9 years ago
dehnert bcdc2a4247 added check for non-linearity to JANI menu game abstractor 9 years ago
Sebastian Junges 14be5c128f silenced warnings about unknown pragmas in eigen and gmm wrapper 9 years ago
dehnert bc5dd814aa fixed some tests 9 years ago
Tom Janson f390aeadf3 rm broken Dijkstra from graph.cpp 9 years ago
Tom Janson b71ef02692 comments and fixes (?) to graph.cpp's Dijkstra 9 years ago
Tom Janson 87e8af9852 moved ksp stuff to right location 9 years ago
dehnert 9bb65389c4 some adjustments to pgcl treatment caused by changes in JANI data structures 9 years ago
Tom Janson 71a54a842c comment / clarification 9 years ago
tomjanson 0c6574c740 rm questionable assertion 9 years ago
tomjanson 83445f67c3 kSP: a few more comments 9 years ago
tomjanson fe6804e164 KSP: matrix format conversion & lots of type stuff 9 years ago
tomjanson 4bc9266416 redundant namespace refs rm 9 years ago
tomjanson 67ce5cf18d const& in signatures 9 years ago
tomjanson b58d48f92d use probs from targetProbMap TODO: test 9 years ago
tomjanson 5f66374481 vector to map conversion 9 years ago
tomjanson 51c44bb786 matrix/vector ctor, targetProbMap, TODO: non-1 entries 9 years ago
tomjanson 44b3a9108e switching from vector<state_t> to BV as authoritative input 9 years ago
tomjanson 55599b51e7 aliased BitVector, used state_t more (cosmetic) 9 years ago
tomjanson 235671d67d use map rather than set for target[Prob] 9 years ago
sjunges 68ac0b24ec instantiate template for shortest path generation 9 years ago
tomjanson e883c60519 rm model as member; extracting all needed stuff in ctor 9 years ago
tomjanson cf1fa2bfc9 the plan 9 years ago
tomjanson fbee00e448 KSP output as BitVector or list 10 years ago
tomjanson b89d3f289a group targets & minimal paths 10 years ago
tomjanson 62fcf7e0a5 thoughts about loops & target groups 10 years ago
tomjanson d8f2eec9af actual test for single-target non-disjoint KSP 10 years ago
tomjanson 140597fb90 interactive debug in test 10 years ago
tomjanson df195d85f6 REA fully implemented; needs testing 10 years ago
tomjanson 38d22093a3 documentation / cleanup 10 years ago
tomjanson d6c6b9b8d5 path printing 10 years ago
tomjanson 519b46f171 path construction 10 years ago
tomjanson fd3c59e86e Dijkstra implementation 10 years ago
tomjanson 010f0ca988 shortest paths generator skeleton 10 years ago
Tom Janson 6d1608a147 Dijkstra fixed, maybe 10 years ago
sjunges 2aec312fbd testcase-stub for kshortest added 10 years ago
PBerger 4feb332d55 Fixed include file 9 years ago
dehnert bf29488219 fix for decomposition 9 years ago
sjunges fa204dc584 gspn working again 9 years ago
dehnert b9e4d6f334 initial support for transient boolean variables in formulas of JANI models (game-based engine) 9 years ago
dehnert 696a2e7ce1 preparing labels for JANI models (game-based abstraction) 9 years ago
sjunges 65fbe856e4 possibility to disable reward variable creation 9 years ago
dehnert 04d3a649bc finalized location variable for JANI automata 9 years ago
dehnert 158ddc0533 equipped automata in JANI models with expression variable representing their location 9 years ago