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

3013 Commits (dcf5468b295de2b9f901edf9301050331af473bc)
 

Author SHA1 Message Date
sjunges 8eeb62e11e Merge branch 'exact_equation_solver' into monolithic-dft
9 years ago
sjunges 3209c52a7c elim linear equation solver used the wrong rational number
9 years ago
sjunges aa72d8a158 added missing instantiation of sparse matrix with carl ratnumber
9 years ago
sjunges e24343516c constants comparator extended to carlrationalnumber (cln/cl_ra)
9 years ago
sjunges 266d417168 constants.h/cpp extended to treat carl rational numbers
9 years ago
sjunges 16a2152794 hash_value for cln::cl_ra
9 years ago
sjunges 05baa23035 Merge branch 'future' into exact_equation_solver
9 years ago
sjunges 0a9f68ed74 update dft towards cnt.abst
9 years ago
sjunges a46ab2f631 use dynamic version of cudd
9 years ago
sjunges 0cab5661e5 Merge branch 'future' into cudd3
9 years ago
sjunges ad1dbb95db Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft
9 years ago
sjunges b679ed8522 Merge branch 'future' into monolithic-dft
9 years ago
sjunges 52268103e6 use shared version of log4cplus
9 years ago
sjunges eaaa36928a prevent xercesc from being linked when no xml support is required
9 years ago
sjunges 3008546623 to prevent confusion, explicitely force static builds for cudd 2.5.0
9 years ago
sjunges 002f4128f5 fixed name of variable for storm xml support
9 years ago
dehnert 2604df54ec more refactoring of formula classes: in particular fragment checking
9 years ago
dehnert 97d9ecccbb started making cudd3 work
9 years ago
sjunges 167cbbe04f updates for cudd inclusion - Warning: This does not compile
9 years ago
sjunges faafff06d8 removed cudd 2.5 from cmake
9 years ago
sjunges 114f46d299 added cudd3 to cmake
9 years ago
sjunges f1c151be26 cudd 3.0 added to resources
9 years ago
Mavo a030198836 Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft
9 years ago
Mavo b51d997d5b Detect error with more than one spare in a module
9 years ago
sjunges cd7125558b Merge branch 'future' into monolithic-dft
9 years ago
Mavo 5655766d36 Small changes
9 years ago
Mavo 7788d45ab5 No distinction between successful dependency and no dependency at all
9 years ago
Mavo c78d9ff802 Fixed problems with pdeps
9 years ago
dehnert be8c65525e introduced some methods to query formula type
9 years ago
sjunges fc1dd999b2 only build xercesc if xml input format support is required
9 years ago
sjunges 596ad8f7a3 Link directories are not the way to go.
9 years ago
dehnert b772c92edb removed reward path formulas. reward path formulas are now just path formulas. this allows some invalid formulas to be constructed, so this now has to be checked dynamically
9 years ago
sjunges a82904a5a8 GLPK: Dynamic lib
9 years ago
sjunges 0380997e1d removed eigen3
9 years ago
sjunges c8798653bc Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
9 years ago
sjunges 2bc4f61453 extended os detection, include extension assumptions
9 years ago
dehnert 4970268ae1 fixed gtest for xcode (cmake)
9 years ago
sjunges 919d5db41a merge
9 years ago
Mavo c5214c6aba Removed unused include
9 years ago
Mavo a9c80ef9dc Better error handling
9 years ago
Mavo 6b31b23c62 Removed unused time keeping variables
9 years ago
Mavo 67626ff9bb Xcode support for new directory
9 years ago
dehnert a3a39d1944 Merge branch 'future' into scheduler_computation
9 years ago
sjunges 50c0df75d8 towards supporting xcode generator again
9 years ago
sjunges d2d71960fc slightly better cmake output
9 years ago
sjunges faca16db36 minor refactoring of cmakecode for inclusion of tbb
9 years ago
sjunges 845d9f60ed support for platforms with libtool using a different standard lib folder and gtest is built with the same compiler as the project now
9 years ago
dehnert db7000ba03 Merge branch 'future' into scheduler_computation
9 years ago
dehnert fa44d65ebd renamed policy to scheduler in some variable names
9 years ago
dehnert 3727018ef4 added functionality to sparse MDP helper to compute until probabilities just for maybe states (and produce the corresponding scheduler)
9 years ago