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

4171 Commits (67ce5cf18d9db7498fcb69804547e4f0d0aa73cb)
 

Author SHA1 Message Date
tomjanson 67ce5cf18d const& in signatures
8 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
tomjanson e883c60519 rm model as member; extracting all needed stuff in ctor
9 years ago
tomjanson cf1fa2bfc9 the plan
9 years ago
sjunges 68ac0b24ec instantiate template for shortest path generation
9 years ago
tomjanson 80382da033 adapt KSP test cases to new API; still fail
9 years ago
tomjanson 5d28c4cb57 naive performance test on crowds5-4 (cf Comics)
10 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
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
sjunges e3c9fa103a Merge branch 'dft_to_gspn'
8 years ago
sjunges 65fbe856e4 possibility to disable reward variable creation
8 years ago
Matthias Volk d040e2db4b Disable Debug compiler flags for PrismParser to lessen memory consumption during compilation
8 years ago
Sebastian Junges 7c3649297a fix spares
8 years ago
Sebastian Junges 9851100602 mttf
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
Sebastian Junges 87b6182ea3 build n-ary pdeps for transformation
8 years ago
Sebastian Junges 0d010fa6dc dependencies as children are dummy output
8 years ago
Sebastian Junges f78d30ab4f default layout info including warning
8 years ago
Matthias Volk 159890844e Layout for AND and BE
8 years ago
sjunges d35bc5ed36 n-ary pdeps supported as a datastructure
8 years ago
sjunges a5c7057fc3 quickfix for setting layout info only when available (review tomorrow)
8 years ago
sjunges a42703a49a towards support for n-ary pdeps
8 years ago
sjunges 31efb4f0c9 prep for more formulas
8 years ago
sjunges d379baef73 fix correct capit. to compile on linux
8 years ago
Sebastian Junges c2ea78b880 no need anymore to create files from formulas if properties are present anyway
8 years ago
Matthias Volk a00355e84d Merge
8 years ago
Matthias Volk 63d594fb45 Rudimentary DFT parser from Cytoscape's JSON
8 years ago