Block or Report
Block or report programmerjake
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
algebraics Public
algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics
-
simple-soft-float Public
soft-float library that intends to be a straightforward reference implementation of IEEE 754; mirror of https://salsa.debian.org/Kazan-team/simple-soft-float
Rust 1
303 contributions in the last year
Contribution activity
June 2022
Created 6 commits in 3 repositories
Created a pull request in YosysHQ/sby that received 4 comments
switch to using hierarchy -smtcheck for smtlib2 solvers, allowing smtlib2_module modules
switch to using hierarchy -smtcheck
for smtlib2 solvers, allowing smtlib2_module
modules
Fixes: #168
Depends on YosysHQ/yosys#3391
+69
−6
•
4
comments
Opened 3 other pull requests in 3 repositories
YosysHQ/yosys
1
open
rust-lang/this-week-in-rust
1
merged
rust-lang/portable-simd
1
merged
Reviewed 5 pull requests in 3 repositories
rust-lang/portable-simd
3 pull requests
rust-lang/rust
1 pull request
rust-lang/blog.rust-lang.org
1 pull request
Created an issue in RustCrypto/formats that received 9 comments
tai64 crate gives wrong result -- 10s is not right offset and doesn't account for past or future leap seconds in SystemTime conversion
The offset between UTC time and TAI time isn't currently 10s, it's 37s and may change to something other than 37s in the future. The current code a…
9
comments