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

391 Commits (b8991ca4bf1f69b6c460ddffa6908d8b89969f65)

Author SHA1 Message Date
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 37eacf574b Further work on state space generation
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
dehnert b5f907d99d Added propositional model checker. Put some of the new classes in new folders. Fixed an issue that prevented compilation.
10 years ago
dehnert 8a4706d9c9 A lot of work on model checker interfaces. In particular, the SCC elimination model checker is almost integrated.
10 years ago
dehnert 9026aa9ac9 Adapted first model checker to the new properties.
10 years ago
dehnert 1699732dce More work on logic classes.
10 years ago
dehnert 320641e597 Started working on modified property classes.
10 years ago
dehnert 00861a7479 Loosened the restriction to always require GMP a bit.
10 years ago
dehnert 91e177028d Started refactoring explicit model generator of PRISM models
10 years ago
dehnert 53196f5610 Created bit vector hash map and some necessary bit vector methods.
10 years ago
dehnert c474920fa4 Started refactoring SMT solvers. Now displaying MathSAT version in CLI.
10 years ago
David_Korzeniewski b8a74c61c0 Set cuda_root variable in cmakelists to make it show up in the gui when configuring.
10 years ago
svkurowski da3542dcec Integrate CUDA into buildsystem and add example function
10 years ago
svkurowski 00ec9a7db6 Integrate CUDA into buildsystem and add example function
10 years ago
David_Korzeniewski 2e92d66bf3 Cmake scripts for linking mathsat and gmp or mpir which is required by mathsat
10 years ago
PBerger eb9c1de59b Added Boost DECLTYPE for MSVC.
10 years ago
dehnert d3fc2d8fbf Fixed small but important bug in SCC decomposition that led to wrong results when using MSVC.
10 years ago
dehnert ba4b71a353 Added boost define BOOST_RESULT_OF_USE_DECLTYPE for gcc.
10 years ago
dehnert 3dfc6a7b74 Pimped bisimulation a bit.
10 years ago
sjunges cafcb3f238 version info extended and moved to cpp, added options flag (although unclear what exactly should be displayed then)
10 years ago
sjunges a279b06c03 reenabled parametric solving after merge
10 years ago
dehnert 94902388c7 Some minor changes, still doesn't compile.
10 years ago