dehnert
|
818760e0ad
|
removed sylvan version from resources
Former-commit-id: a81c5792d5
|
9 years ago |
|
dehnert
|
86c233f3df
|
fixed bug in sylvan
Former-commit-id: 3f3a3df83d
|
9 years ago |
hbruintjes
|
335ad68564
|
Fix cudd autoreconf command
Former-commit-id: 9b301dc23f
|
9 years ago |
|
hbruintjes
|
4c0053d5e7
|
Make the Ginac find package more standard compliant
Former-commit-id: b6176f1d2d
|
9 years ago |
|
hbruintjes
|
7b27fcd68b
|
cudd use autoreconf, set min version to 13.4 which still works
Former-commit-id: d17b923138
|
9 years ago |
|
hbruintjes
|
a3fff6b8f6
|
Look for CLN and GiNaC, enable them if found
Former-commit-id: 45cb58477c
|
9 years ago |
|
dehnert
|
3476df75e8
|
finally removed log4cplus and affected code parts
Former-commit-id: 2beea8195e
|
9 years ago |
|
hbruintjes
|
7507175795
|
Fix some problems with REQUIRED
Former-commit-id: 26a47b9c4b
|
9 years ago |
|
hbruintjes
|
1bb2be74d4
|
Update CMake files
Former-commit-id: 9752e504e9
|
9 years ago |
|
dehnert
|
b8f08c41c7
|
adapted the custom dd operations to work again
Former-commit-id: 9a38e8d564
|
9 years ago |
|
dehnert
|
cef8a242ba
|
started to make game-based abstraction work again
Former-commit-id: 7ad5d22265
|
9 years ago |
|
dehnert
|
4f5dfecf36
|
re-add custom operations to cudd (new version)
Former-commit-id: de3f4f7a58
|
9 years ago |
sjunges
|
c007c8e699
|
add sylvan to the resources target
Former-commit-id: 70e3c16f55
|
9 years ago |
|
sjunges
|
abac11ab50
|
sylvan build stuff in 3rd party folder now
Former-commit-id: 3ea163dfed
|
9 years ago |
|
sjunges
|
e0379b9c50
|
Log CUDD build process
Former-commit-id: daf41bb265
|
9 years ago |
|
dehnert
|
3874ddfa76
|
remove old cudd version
Former-commit-id: 19448ecda4
|
9 years ago |
|
sjunges
|
ac1efc7efd
|
minor fix of a superfluous cmake include
Former-commit-id: ab663101d2
|
9 years ago |
|
dehnert
|
40aea6c929
|
replaced Cudd_CountMinterm by old version to fix what appears to be bug (sent mail to Fabio Somenzi)
Former-commit-id: 9af49d5b19
|
9 years ago |
|
sjunges
|
559142919d
|
hotfix for segfaults, compile storm and log4cplus static
Former-commit-id: c4b18d9c83
|
9 years ago |
|
dehnert
|
dd0813b8c4
|
cudd3 now working, but tests segfaulting
Former-commit-id: 9742e4e75e
|
9 years ago |
|
sjunges
|
81e12ada93
|
fix path for cudd3 lib
Former-commit-id: c8fffd9077
|
9 years ago |
|
sjunges
|
71d37705dd
|
fix path for cudd3 lib
Former-commit-id: 7ed4b553ce
|
9 years ago |
|
sjunges
|
3008546623
|
to prevent confusion, explicitely force static builds for cudd 2.5.0
Former-commit-id: a41fc373f8
|
9 years ago |
|
sjunges
|
002f4128f5
|
fixed name of variable for storm xml support
Former-commit-id: f9edf588d5
|
9 years ago |
|
dehnert
|
97d9ecccbb
|
started making cudd3 work
Former-commit-id: bc791536bb
|
9 years ago |
|
sjunges
|
167cbbe04f
|
updates for cudd inclusion - Warning: This does not compile
Former-commit-id: 8bb08265c1
|
9 years ago |
|
sjunges
|
114f46d299
|
added cudd3 to cmake
Former-commit-id: 6298216603
|
9 years ago |
|
sjunges
|
f1c151be26
|
cudd 3.0 added to resources
Former-commit-id: 4fb3e824ec
|
9 years ago |
|
sjunges
|
fc1dd999b2
|
only build xercesc if xml input format support is required
Former-commit-id: ce58e72eed
|
9 years ago |
|
sjunges
|
0380997e1d
|
removed eigen3
Former-commit-id: 2e7e5b5253
|
9 years ago |
|
dehnert
|
4970268ae1
|
fixed gtest for xcode (cmake)
Former-commit-id: b391eef46c
|
9 years ago |
|
sjunges
|
50c0df75d8
|
towards supporting xcode generator again
Former-commit-id: 9a3142f242
|
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
Former-commit-id: 22d32c55a0
|
9 years ago |
|
sjunges
|
471ae19438
|
refactored further parts of the external library building
Former-commit-id: 81ab395bb1
|
9 years ago |
|
sjunges
|
f20d479328
|
we dont need log4cplus tests and logging server
Former-commit-id: 88df479584
|
9 years ago |
|
sjunges
|
0de91e0284
|
disable warnings for glpk build
Former-commit-id: e2a86ed18d
|
9 years ago |
|
sjunges
|
70ee3396d9
|
we said goodbye to glpk 4.53
Former-commit-id: 0d8fe9d5bc
|
9 years ago |
|
sjunges
|
3d0826849e
|
glpk 4.57 for the winners
Former-commit-id: 568dad7ba4
|
9 years ago |
|
sjunges
|
c319a997da
|
cmake lists from future
Former-commit-id: b3bc2f1bfb
|
9 years ago |
|
sjunges
|
a9bd5724c0
|
Silenced warnings about superfluous parentheses, they are more disturbing than helpful
Former-commit-id: 09e1b6691d
|
9 years ago |
|
dehnert
|
5cd8254263
|
use better version of FindGMP for sylvan as well
Former-commit-id: 0159a092f2
|
9 years ago |
|
dehnert
|
2ea5fd7418
|
fix in sylvan, minor changes to cmake list
Former-commit-id: 96adc0c187
|
9 years ago |
|
dehnert
|
a01e46779f
|
CMake now requiring hwloc for sylvan under linux
Former-commit-id: d9425c362c
|
9 years ago |
|
sjunges
|
73ed137587
|
support for gurobi 6.5.0 on MacOS
Former-commit-id: 0e184aedca
|
9 years ago |
|
sjunges
|
1e1400d68d
|
merge
Former-commit-id: eb9efc4bb2
|
9 years ago |
|
sjunges
|
096778a5d0
|
assorted fixes (builder for no-fix-deadline, semicolon, xercesbuild)
Former-commit-id: 7ae9bcd61e
|
9 years ago |
|
dehnert
|
0708672a68
|
removed ite for ADDs as this operation should be formed with a BDD as the first argument. as a compensation, we provide a version of ite that takes a BDD and two ADDs and returns the corresponding ADD
Former-commit-id: 720dc3a9c4
|
9 years ago |
|
dehnert
|
b7ea918d1b
|
update to latest version of sylvan and accompanying changes (mostly because 0 * inf = nan in IEEE754)
Former-commit-id: 828e13307f
|
9 years ago |
|
dehnert
|
7f75db2790
|
ADD iterator working for sylvan. enabled more tests for sylvan. symbolic Dtmc model checker now working.
Former-commit-id: b11b2f7476
|
9 years ago |
|
dehnert
|
f2a01afbdf
|
ODD-based stuff working for Sylvan. Almost all tests passing
Former-commit-id: a6eef37d37
|
9 years ago |
