issues
search
runtimeverification
/
mpfr-java
GNU MPFR Java Bindings
Other
11
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Windows build requires deprecated vcbuild (from VS 2008)
#18
lifestreamy
opened
2 years ago
0
Version bump, lipo universal JAR instructions
#17
Baltoli
closed
2 years ago
0
Build binaries on Ubuntu 18.04
#16
Baltoli
closed
2 years ago
0
Must deploy from oldest supported linux64 target
#15
Baltoli
closed
2 years ago
0
New version; add S3 plugin
#14
Baltoli
closed
2 years ago
0
Prepare for distribution
#13
Baltoli
closed
2 years ago
2
Apple Silicon support
#12
Baltoli
closed
2 years ago
0
Windows build is not well supported
#11
leventeBajczi
opened
3 years ago
1
Email address for discussion of Java MPFR?
#10
PowerUser1234
opened
6 years ago
0
Typo in readme instructions and changed Mac default behaviour
#9
robertbastian
closed
7 years ago
0
Can't get from maven
#8
Azbesciak
opened
7 years ago
11
add mpfr_number_p binding (resolves #6)
#7
osa1
closed
9 months ago
1
missing Java binding for mpfr_number_p
#6
yilongli
opened
10 years ago
1
Fix build system for all OSes
#5
dwightguth
closed
5 years ago
0
More updates to mpfr-java
#4
dwightguth
closed
10 years ago
2
More minor fixes to MPFR Java
#3
dwightguth
closed
10 years ago
1
Various fixes to MPFR java
#2
dwightguth
closed
10 years ago
1
First draft of BigFloat package
#1
dwightguth
closed
10 years ago
5