8835 Commits (aac792bd1d9c8c3a1f3e23329bc7eb4cc6ce8804)
 

Author SHA1 Message Date
Matthias Volk d04268a294
Added const qualifiers 4 years ago
Matthias Volk fe014aaceb
Fixed typo 4 years ago
Matthias Volk 2d092abdfa
Untangled creating of DFT successor state and refactored FailableElements 4 years ago
Tim Quatmann c2fc1218b7 JaniParser: Make warning disappear when assigning an int expression to a real-valued function. 4 years ago
Tim Quatmann 8b68fbf948 JaniBuilder: Fixed checks for transient variable assignments 4 years ago
Tim Quatmann 9b05861324 JaniParser: Fixed a syntax check. 4 years ago
Matthias Volk b0f6a192d4
Added missing include 4 years ago
Matthias Volk 9568fcae54
CI: use newest Ubuntu version 4 years ago
Tim Quatmann d306e25bef Merge branch 'smg-merge' 4 years ago
Tim Quatmann 44be19f274 Added missing treatment of SMGs in API method. 4 years ago
Tim Quatmann ab9eb9f870 Updated list of contributors. 4 years ago
Tim Quatmann eec8e407c8 Updated Changelog. 4 years ago
Tim Quatmann d82f5353ad Fixed includes of RPATL model checker. 4 years ago
Tim Quatmann 579ab274e6 Fixed computing coalition states in SMG. 4 years ago
Tim Quatmann a0a1bb629c Fixing call of checkGameFormula 4 years ago
Tim Quatmann 792956deb9 Fixing output of player construct. 4 years ago
Tim Quatmann e0977ebb81 Fixed buildActionIndexToPlayerIndexMap 4 years ago
Tim Quatmann efce929c5f Potentially allow verification of SMGs over RationalNumbers 4 years ago
Stefan Pranger 6701c61178 verification now handles SMGs 4 years ago
Tim Quatmann 6473645802 engine: changed order in enumeration for consistency 4 years ago
Stefan Pranger 2cfe0fa5d8 handle model description ostream case for SMGs 4 years ago
Stefan Pranger c8fd980544 engine now checks smg models 4 years ago
Tim Quatmann 6c0cbe622f Polished SparseSmgRpatlModelChecker 4 years ago
Tim Quatmann fe4ef46f6b CheckTask now stores player coalition. 4 years ago
Tim Quatmann d1b068eddf specified supported rpatl fragment a bit more precisely 4 years ago
Stefan Pranger 01ed518ab3 AbstractMC passes game formula to the rpatl MC 4 years ago
Stefan Pranger 8dee62cbdd added sparse MC templates for SMGs 4 years ago
Stefan Pranger ace401f120 added smg rpatl model checker 4 years ago
Tim Quatmann f28e59ab8d Polished SMG model 4 years ago
Tim Quatmann 109a885c65 PlayerCoalition: Added a getter for players 4 years ago
Tim Quatmann 4affb76bb1 Renamed Coalition to more descriptive PlayerCoalition 4 years ago
Tim Quatmann 735874462c Polished fragment specification and formula visitors for new GameFormulas 4 years ago
Tim Quatmann 4c5bc4e2a2 Polished GameFormula and Coalition code 4 years ago
Tim Quatmann 2cf73f9b10 ModelType: Fixed capitalization of SMG output 4 years ago
Stefan Pranger 4d4cd6e7f4 rpatl extends prctl 4 years ago
Stefan Pranger 8e55ec62ad gameForumlas now gather referenced variables 4 years ago
Stefan Pranger 6c97e9dc29 rpatl smg formulas now accept operatorFormulas 4 years ago
Stefan Pranger 8d47ad2bd7 refactor Coalition to use boost variant 4 years ago
Stefan Pranger 2972f43def removed print from CloneVisitor 4 years ago
Stefan Pranger 3f2aaf72b0 fixed typo in arg list of GameFormula 4 years ago
Stefan Pranger 2721f24b9b added Coalition default ctor 4 years ago
Stefan Pranger 487eb13a24 WIP added grammar rules for gameFormula 4 years ago
Stefan Pranger df52e5af88 added casting getter for gameFormula 4 years ago
Stefan Pranger 2f5a53196c added rPATL to FragmentSpecifitcations 4 years ago
Stefan Pranger 7d87a90c1e added multiple Visitor methods for gameFormulas 4 years ago
Stefan Pranger 09cb1d465c added GameFormula class 4 years ago
Stefan Pranger 310c9d21d4 added Coalition class 4 years ago
Stefan Pranger bc5eec34d2 switch cases in engine now feature SMG case 4 years ago
Tim Quatmann 875410a59e Polished ExplicitModelBuilder: 4 years ago
Tim Quatmann 277f802850 * PlayerIndex is now declared in a separate file (as this can potentially be independent of PRISM input). 4 years ago