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

244 Commits (2e3b3f4c8c5e697e4d6f551436cbd4358df7bde8)

Author SHA1 Message Date
dehnert ebbd03c15b fixed some warning-related stuff. introduced abstraction-refinement engine in options and entrypoints that currently only throws not-implemented exception
9 years ago
sjunges 21e678b59c stormpy logic and using dynamic boost::python version
9 years ago
dehnert 2ea5fd7418 fix in sylvan, minor changes to cmake list
9 years ago
dehnert a01e46779f CMake now requiring hwloc for sylvan under linux
9 years ago
sjunges 1e1400d68d merge
9 years ago
dehnert 7080f954b9 Fixed sylvan cmake file to also work with xcode (stripping the build type from the directory)
9 years ago
dehnert 226c77db77 added sylvan and started making it compile using cmake
9 years ago
sjunges 73073d2fff Added Xerces
9 years ago
dehnert a8f89c3875 fixed cmake file
9 years ago
dehnert 15b97057dd silenced some warnings within boost (new clang version) and fixed an unused variable issue
9 years ago
sjunges c7f8a653d4 CCache fixed name of option, write info about that in storm-version
9 years ago
sjunges 8a48f80a99 use ccache as an option
9 years ago
dehnert 27e06940a9 templated all explicit parsers so that they may now be modified to produce non-double models
9 years ago
sjunges 98e3226fd1 first version of stormpy (we can parse a prism program)
9 years ago
sjunges 7fd28d4564 refactored cmakelists
9 years ago
sjunges d214e8783e first version for python support
9 years ago
sjunges f65efdb4bb disable smtrat for now
9 years ago
sjunges dbe4380b09 Option to force color output for clang/ninja.
9 years ago
sjunges 9254e6650c Option to force color output for clang/ninja.
9 years ago
sjunges bed31b463f Added generated sources
9 years ago
dehnert 7cafd61c38 switched gcc to use c++14 as well
9 years ago
sjunges 1d5faef301 cmake use carl flag
9 years ago
dehnert 21d9e91586 work towards interval reward model
9 years ago
sjunges 31ed578e2c Xcode generation fix.
9 years ago
sjunges f219437acf Faster compilation times!
9 years ago
sjunges 7b79725421 Allow hints for z3
9 years ago
dehnert b94e978843 another round of fixes
9 years ago
dehnert a9142a752d fixed another bug
9 years ago
dehnert b56766e993 more work on reward model that turned out to be refactoring in disguise
9 years ago
sjunges c7becb3c60 improved cmake for z3 and gurobi
9 years ago
sjunges 72784d752d permissive schedulers - ongoing work
9 years ago
dehnert bb7d4c3b0e update for gmm++: 4.2 to 5.0
9 years ago
dehnert 56b4f53ce7 got rid of more warnings
9 years ago
dehnert 04f789619c some work towards eliminating compiler warnings
9 years ago
dehnert 21627fbab4 Started to get rid of some warnings. In particular this means making the compiler more silent for third-party stuff.
9 years ago
sjunges 613724fa9f fix
9 years ago
sjunges 9c0b5b028c Finding z3 in system, cleaned some cmakelists.
9 years ago
sjunges 5fddb47a91 some cleaning and extra comments in the CMakeLists
9 years ago
sjunges 50136dd31a Improved import of carl/smtrat
10 years ago
Sebastian Junges fab39f1ac2 Finding smtrat via their new export version
10 years ago
dehnert 913aa83dbc Removed ltl2dstar.
10 years ago
dehnert eb5d4100a6 Renamed Nondeterminstic equation solver as this name is more than misleading.
10 years ago
dehnert 239caf57eb Added symbolic models and made DD-based model generator build the correct instances.
10 years ago
dehnert a1dae8849e Reworked (sparse) model files: moved them into their own namespace and deleted some functionality that is never used and not that nicely implemented.
10 years ago
David_Korzeniewski 8ebc0e4640 Final touches on cuda nondeterministic linear equation solver & modelchecker
10 years ago
David_Korzeniewski ea2e616196 All tests for CUDA based TopologicalValueIterationMdpPrctlModelChecker passing on Windows.
10 years ago
dehnert f0b591be77 Further work on reintegrating parametric model checking into main executable.
10 years ago
David_Korzeniewski 90958bb018 cuda library was not linked to tests, for now using static libraries as dlls don't work for non obvious reasons
10 years ago
PBerger e211e269d4 Fix for the Gurobi inclusion.
10 years ago
PBerger f7adf54be3 Added A FindGurobi file for CMake.
10 years ago