4585 Commits (1d9b8bbd3b3a682d7f062269121b341ff60cb89c)
 

Author SHA1 Message Date
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
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
Matthias Volk a6cf0d2e0d Fixed typo 8 years ago
Matthias Volk ec060a59b2 Fixed warnings 8 years ago
Sebastian Junges 44082fbc37 pand-ex support 8 years ago
Sebastian Junges c718b1caef dft-por exclusive added; also ensured that PORs work under SPAREs 8 years ago
Sebastian Junges 9c5444e059 better inclusive/exclusive support, including parsing 8 years ago
Sebastian Junges fac77c0a3e fixed seq, now correct... 8 years ago
Sebastian Junges 80d578d130 POR[inclusive] support seems to be working now 8 years ago
Sebastian Junges 99428f9a7b priorities updated such that 0 is not used as this is often reserved, e.g. in greatspn 8 years ago
Sebastian Junges 6e5a316f1d fix in dft::maxrank 8 years ago
Sebastian Junges 349b0404ba restrictions are now topo-sorted correctly 8 years ago