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

4957 Commits (120bf729d4e112e690d80ea685746b8f355853da)
 

Author SHA1 Message Date
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 80382da033 adapt KSP test cases to new API; still fail
8 years ago
tomjanson 5d28c4cb57 naive performance test on crowds5-4 (cf Comics)
9 years ago
tomjanson fbee00e448 KSP output as BitVector or list
9 years ago
tomjanson b89d3f289a group targets & minimal paths
9 years ago
tomjanson 62fcf7e0a5 thoughts about loops & target groups
9 years ago
tomjanson d8f2eec9af actual test for single-target non-disjoint KSP
9 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
8 years ago
Philipp Berger 6d49f8cc60 Fixed include path for storm-config.h
8 years ago
Philipp Berger 7850eb0f3b Merge branch 'mergeMenuGamesWithRationalFunction' into menu_games
8 years ago
dehnert 1ce5068694 fixed include dir in sylvan
8 years ago
Philipp Berger 822ae6be40 Fixes
8 years ago
dehnert 4acb4fefdc Merge remote-tracking branch 'origin' into menu_games
8 years ago
dehnert bf29488219 fix for decomposition
8 years ago
sjunges fa204dc584 gspn working again
8 years ago
sjunges df87d7fa13 cleaned cmake list (removal of python related stuff), slightly altered doc (mainly just to improve further work on that
8 years ago
dehnert b9e4d6f334 initial support for transient boolean variables in formulas of JANI models (game-based engine)
8 years ago
sjunges e3c9fa103a Merge branch 'dft_to_gspn'
8 years ago
dehnert 696a2e7ce1 preparing labels for JANI models (game-based abstraction)
8 years ago
sjunges 65fbe856e4 possibility to disable reward variable creation
8 years ago
dehnert 04d3a649bc finalized location variable for JANI automata
8 years ago
dehnert 158ddc0533 equipped automata in JANI models with expression variable representing their location
8 years ago
Matthias Volk d040e2db4b Disable Debug compiler flags for PrismParser to lessen memory consumption during compilation
8 years ago
dehnert 954eadc546 improved detection for early result detection in game based engine
8 years ago
dehnert 3125ad4c89 more work on boolean transient variables in JANI menu game abstraction (labels)
8 years ago
dehnert ccf8631617 work on location support for JANI abstraction
8 years ago
Sebastian Junges 7c3649297a fix spares
8 years ago
Sebastian Junges 9851100602 mttf
8 years ago
dehnert dd2fbf3d6e fix for state set abstractor when the given predicate contains no variables
8 years ago
dehnert d95c483a99 added location support to JANI menu game abstractor
8 years ago
dehnert 16f3b06f53 added decomposition to JANI abstractor, fixed wrong assertion
8 years ago
Matthias Volk d2544b3444 Merge
8 years ago
Matthias Volk 6672009cd1 Layouting for GSPN
8 years ago
Sebastian Junges 146bd193ea spare activation
8 years ago
Sebastian Junges 8ef9b8a576 pdeps now fully working
8 years ago
Sebastian Junges a57c749f72 topo sort for dependencies (stupid way..)
8 years ago
Sebastian Junges 1fc2c2e82d dft->gspn for n-ary pdeps: WIP
8 years ago