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

478 Commits (2cb7b5769e32c5b0fb436ee86c826e796d1ffb9c)

Author SHA1 Message Date
sjunges 8d714bdd17 cudd needs autoreconf + refactor
9 years ago
sjunges bcbda8bf68 only build glpk if not found on system
9 years ago
sjunges 19f18e7fee only build xerces if not found on the system
9 years ago
sjunges cae5f04d2b first in a series of refactoring the library inclusion to be more adequate
9 years ago
PBerger e0647f34eb Added missing template instantiation.
9 years ago
PBerger c8262a3022 Added function for retrieving the ID of the custom leaves.
9 years ago
PBerger a73c48880c Initial commit.
9 years ago
hbruintjes 346d4740d2 Set l3pp project commands empty (header only)
9 years ago
hbruintjes 067b43525b Add l3pp as project
9 years ago
PBerger 4e1019e682 Removed all mentions of EIGEN_DEPRECATED from Eigen Sources. Each instance triggers an error about an unexpected attribute "deprecated". It seems to be a combination of Eigen + Storm or other 3rd party libraries since this error does not apprear in stand-alone compilations with Eigen3.
9 years ago
PBerger d80423b760 Fixed the stupid array with size zero warning in Sylvan/Lace.
9 years ago
dehnert 512da83a42 added proper mult_add to gmm++
9 years ago
dehnert 07c787b49d added unsupported solvers of eigen
9 years ago
dehnert 711d5cfa12 fixed bug in sparse dtmc elimination model checker. commented out weird eliminaton functions in CTMC model checker and storm.h
9 years ago
dehnert 3ba5902821 removed debug output and fixed small bug in adaptation of Eigen
9 years ago
dehnert 13f8f21a70 upgrade to eigen 3.3 and made modifications for different value types via template specializations
9 years ago
dehnert 99b9f11d49 removed eigen-3.2.6
9 years ago
PBerger be9648fc18 Added -fPIC to Sylvan. Since it is linked into Storm it is necessary for relocation to be possible, hence PIC.
9 years ago
dehnert 4e14ecb869 made elimination-based linear solver work in an alpha version. changed minor things in Eigen's SparseLU implementation to make it work with rational numbers and rational functions
9 years ago
dehnert 48e1d20c92 added eigen to resources
9 years ago
sjunges a4687ad230 json parser 3rdparty
9 years ago
dehnert 818760e0ad removed sylvan version from resources
9 years ago
dehnert 86c233f3df fixed bug in sylvan
9 years ago
hbruintjes 335ad68564 Fix cudd autoreconf command
9 years ago
hbruintjes 7b27fcd68b cudd use autoreconf, set min version to 13.4 which still works
9 years ago
dehnert 3476df75e8 finally removed log4cplus and affected code parts
9 years ago
hbruintjes 1bb2be74d4 Update CMake files
9 years ago
dehnert b8f08c41c7 adapted the custom dd operations to work again
9 years ago
dehnert cef8a242ba started to make game-based abstraction work again
9 years ago
dehnert 4f5dfecf36 re-add custom operations to cudd (new version)
9 years ago
sjunges c007c8e699 add sylvan to the resources target
9 years ago
sjunges abac11ab50 sylvan build stuff in 3rd party folder now
9 years ago
sjunges e0379b9c50 Log CUDD build process
9 years ago
dehnert 3874ddfa76 remove old cudd version
9 years ago
sjunges ac1efc7efd minor fix of a superfluous cmake include
9 years ago
dehnert 40aea6c929 replaced Cudd_CountMinterm by old version to fix what appears to be bug (sent mail to Fabio Somenzi)
9 years ago
sjunges 559142919d hotfix for segfaults, compile storm and log4cplus static
9 years ago
dehnert dd0813b8c4 cudd3 now working, but tests segfaulting
9 years ago
sjunges 81e12ada93 fix path for cudd3 lib
9 years ago
sjunges 71d37705dd fix path for cudd3 lib
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 97d9ecccbb started making cudd3 work
9 years ago
sjunges 167cbbe04f updates for cudd inclusion - Warning: This does not compile
9 years ago
sjunges 114f46d299 added cudd3 to cmake
9 years ago
sjunges f1c151be26 cudd 3.0 added to resources
9 years ago
sjunges fc1dd999b2 only build xercesc if xml input format support is required
9 years ago
sjunges 0380997e1d removed eigen3
9 years ago
dehnert 4970268ae1 fixed gtest for xcode (cmake)
9 years ago
sjunges 50c0df75d8 towards supporting xcode generator again
9 years ago