Morph MORPH
SIGN IN SIGN UP
dhruvhead / ryu UNCLAIMED
0 0 0 C++

ACTIVITY

Commits Reviews
week month year
COMMITS
12
in the last year
CONTRIBUTORS
3
active
STARS
0
total
FORKS
0
total
TOP CONTRIBUTORS
U
Ulf Adams
10 commits
C
Christopher Hillenbrand
1 commit
R
Rikito Taniguchi
1 commit
RECENT COMMITS
C
update CMake minimum version and let IntelLLVM build generic128 (#257)
Christopher Hillenbrand
4c0618b
U
Presubmit: run tests within test step, not benchmark (#253)
Ulf Adams
334d08d
U
d2s_small_table.h: fix small table POW5_INV_OFFSETS (#256)
Ulf Adams
2dc4e9d
U
Fix whitespace in s2d_test.cc (#254)
Ulf Adams
bf6b14e
U
Fix Bazel build (#252)
Ulf Adams
db126be
U
Upgrade to MODULE.bazel and add a simple .bazelrc (#251)
Ulf Adams
e3e090c
U
In debug mode, clarify which output is Ryu and which Java (#250)
Ulf Adams
bd6d0d2
R
Fix too restrictive optimization in Java RyuFloat impl. (#244)
Rikito Taniguchi
b977d80
U
Prove that succFinitePos and predFinitePos are inverse (#249)
Ulf Adams
3377662
U
Add lean test file for upstream Float definition (#248)
Ulf Adams
6fbbca4
U
Add basic Lean4 infrastructure and Float package (#246)
Ulf Adams
053f76d
U
Skip long double tests if they're not 80 bits (#247)
Ulf Adams
4c90317