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

288 Commits (1dc4af0e289b43f595bbc8c2b6c600bc545b1ae5)

Author SHA1 Message Date
sjunges 8a48f80a99 use ccache as an option
10 years ago
dehnert 27e06940a9 templated all explicit parsers so that they may now be modified to produce non-double models
10 years ago
sjunges 98e3226fd1 first version of stormpy (we can parse a prism program)
10 years ago
sjunges 7fd28d4564 refactored cmakelists
10 years ago
sjunges d214e8783e first version for python support
10 years ago
sjunges f65efdb4bb disable smtrat for now
10 years ago
sjunges dbe4380b09 Option to force color output for clang/ninja.
10 years ago
sjunges 9254e6650c Option to force color output for clang/ninja.
10 years ago
sjunges bed31b463f Added generated sources
10 years ago
dehnert 7cafd61c38 switched gcc to use c++14 as well
10 years ago
sjunges 1d5faef301 cmake use carl flag
10 years ago
dehnert 21d9e91586 work towards interval reward model
10 years ago
sjunges 31ed578e2c Xcode generation fix.
10 years ago
sjunges f219437acf Faster compilation times!
10 years ago
sjunges 7b79725421 Allow hints for z3
10 years ago
dehnert b94e978843 another round of fixes
10 years ago
dehnert a9142a752d fixed another bug
10 years ago
dehnert b56766e993 more work on reward model that turned out to be refactoring in disguise
10 years ago
sjunges c7becb3c60 improved cmake for z3 and gurobi
10 years ago
sjunges 72784d752d permissive schedulers - ongoing work
10 years ago
dehnert bb7d4c3b0e update for gmm++: 4.2 to 5.0
10 years ago
dehnert 56b4f53ce7 got rid of more warnings
10 years ago
dehnert 04f789619c some work towards eliminating compiler warnings
10 years ago
dehnert 21627fbab4 Started to get rid of some warnings. In particular this means making the compiler more silent for third-party stuff.
10 years ago
sjunges 613724fa9f fix
10 years ago
sjunges 9c0b5b028c Finding z3 in system, cleaned some cmakelists.
10 years ago
sjunges 5fddb47a91 some cleaning and extra comments in the CMakeLists
10 years ago
sjunges 37eacf574b Further work on state space generation
10 years ago
sjunges 50136dd31a Improved import of carl/smtrat
11 years ago
Sebastian Junges fab39f1ac2 Finding smtrat via their new export version
11 years ago
dehnert 913aa83dbc Removed ltl2dstar.
11 years ago
dehnert eb5d4100a6 Renamed Nondeterminstic equation solver as this name is more than misleading.
11 years ago
dehnert 239caf57eb Added symbolic models and made DD-based model generator build the correct instances.
11 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.
11 years ago
David_Korzeniewski 8ebc0e4640 Final touches on cuda nondeterministic linear equation solver & modelchecker
11 years ago
David_Korzeniewski ea2e616196 All tests for CUDA based TopologicalValueIterationMdpPrctlModelChecker passing on Windows.
11 years ago
dehnert f0b591be77 Further work on reintegrating parametric model checking into main executable.
11 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
11 years ago
PBerger e211e269d4 Fix for the Gurobi inclusion.
11 years ago
PBerger f7adf54be3 Added A FindGurobi file for CMake.
11 years ago
dehnert b5f907d99d Added propositional model checker. Put some of the new classes in new folders. Fixed an issue that prevented compilation.
11 years ago
dehnert 8a4706d9c9 A lot of work on model checker interfaces. In particular, the SCC elimination model checker is almost integrated.
11 years ago
dehnert 9026aa9ac9 Adapted first model checker to the new properties.
11 years ago
dehnert 1699732dce More work on logic classes.
11 years ago
dehnert 320641e597 Started working on modified property classes.
11 years ago
dehnert 00861a7479 Loosened the restriction to always require GMP a bit.
11 years ago
dehnert 91e177028d Started refactoring explicit model generator of PRISM models
11 years ago
dehnert 53196f5610 Created bit vector hash map and some necessary bit vector methods.
11 years ago
dehnert c474920fa4 Started refactoring SMT solvers. Now displaying MathSAT version in CLI.
11 years ago
David_Korzeniewski b8a74c61c0 Set cuda_root variable in cmakelists to make it show up in the gui when configuring.
11 years ago