issues
search
moves-rwth
/
carl-storm
The Computer ARithmetic and Logic library for the Storm model checker
Other
4
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Remove thom groebner
#47
sjunges
opened
1 month ago
0
Cmakeupdates
#46
sjunges
opened
1 month ago
0
Download ginac/cln archive instead of using git repo
#45
volkm
closed
1 month ago
2
Bump build system
#44
volkm
closed
1 month ago
1
Old Boost and apple yields compile errors
#43
sjunges
opened
2 months ago
0
Apple M2 issue when trying to install carl-storm: ginac and cln not found
#42
xwang2775
closed
2 months ago
7
Revised CI
#41
volkm
closed
2 months ago
1
CI job with minimal dependencies
#40
volkm
closed
3 months ago
4
v14.28
#39
volkm
closed
3 months ago
1
CLN repository pulled from internet
#38
linusheck
closed
4 months ago
3
Set CMake policy CMP0135 (fixes #11)
#37
volkm
closed
4 months ago
0
CI action to create Docker releases
#36
volkm
closed
4 months ago
0
Compile with flag march=native by default.
#35
volkm
closed
4 months ago
1
Fixes #27 and avoid expensive header includes when cocoa is not present
#34
sjunges
closed
4 months ago
1
Compiler warnings
#33
sjunges
closed
4 months ago
3
Bump actions/checkout from 3 to 4
#32
dependabot[bot]
closed
4 months ago
0
Bump dawidd6/action-send-mail from 2 to 3
#31
dependabot[bot]
closed
4 months ago
0
Bump technote-space/workflow-conclusion-action from 2 to 3
#30
dependabot[bot]
closed
4 months ago
0
Dependabot to automatically update Github actions
#29
volkm
closed
4 months ago
1
CI: limit trigger for push to master branch
#28
volkm
closed
4 months ago
1
conflicting declaration in "numbers/typetraits.h"
#27
khan-hannan
closed
4 months ago
1
Update buildtest.yml
#26
sjunges
closed
4 months ago
5
Improve exception safety with smart pointers
#25
elfring
closed
2 months ago
1
Perform a hash_combine in getHash() of FactorizedPolynomial
#24
linusheck
closed
5 months ago
1
v14.27
#23
volkm
closed
8 months ago
2
CMake: better version parsing for CLN
#22
volkm
closed
8 months ago
0
V1426
#21
sjunges
closed
10 months ago
1
Fixed cmake export
#20
volkm
closed
10 months ago
1
Towards c++20 support
#19
tquatmann
closed
10 months ago
1
Towards C++20 support
#18
volkm
closed
1 month ago
0
Check for Eigen version
#17
sjunges
opened
11 months ago
0
Omit use of deprecated std::is_literal_type in a STATIC_ASSERT
#16
tquatmann
closed
11 months ago
1
Installation error on Apple Silicon
#15
abadithela
closed
12 months ago
2
Interval operations
#14
sjunges
closed
1 year ago
1
Require CMake 3.15 and removed bindings
#13
volkm
closed
10 months ago
0
Warnings during compilation on m1
#12
sjunges
closed
4 months ago
1
CMake warning / set CMP0135
#11
sjunges
closed
4 months ago
0
Carl version 14.25
#10
volkm
closed
1 year ago
1
Added Dockerfile and updated CI
#9
volkm
closed
1 year ago
0
Set default CMake options used by Storm
#8
volkm
closed
1 year ago
3
Header include for linux
#7
sjunges
closed
1 year ago
0
Added CI support
#6
volkm
closed
1 year ago
2
Stripping and support for forward declarations
#5
sjunges
closed
1 year ago
4
Extended README
#4
volkm
closed
1 year ago
0
Zenodo Backup
#3
sjunges
closed
1 year ago
3
Continuous integration support
#2
sjunges
closed
1 year ago
1
Simplify Carl version?
#1
volkm
closed
1 year ago
0