Introduce IEEEFPRoundingMode, fix printing of FP terms, and refine symbolic primitive documentation #865
Job | Run time |
---|---|
10m 19s | |
10m 16s | |
9m 11s | |
8m 42s | |
10m 40s | |
10m 19s | |
11m 13s | |
8m 9s | |
13m 30s | |
1h 32m 19s |
Job | Run time |
---|---|
10m 19s | |
10m 16s | |
9m 11s | |
8m 42s | |
10m 40s | |
10m 19s | |
11m 13s | |
8m 9s | |
13m 30s | |
1h 32m 19s |