Theodore Omtzigt

Results 113 comments of Theodore Omtzigt

@Yunfei-Ma-McMaster thanks for pointing this out. As you can see from the command line options, the command `posit` is meant to give you a quick insight into the posit encoding,...

finally got a risc-v environment. Now I can reproduce your errors. There is some restructuring required to have gcc and risc-v play nice together. I'll work on that this week....

@davidmallasen ^^^

@davidmallasen got the basics up and running. Looks like the mathlib in the RISC-V toolchain is a couple of decades behind, so I need to understand what their roadmap is...

implement multiplication operator

The best way to get linear algebra is by using MTL (https://github.com/simunova/mtl4) or Eigen and use their algorithms. These environments support sparse linear algebra and thus are much better suited...

in `applications/ode` there is a RK4 implementation. Add a generalized RK solver and design good test/demonstration cases.

cfloat and blocktriple are now deployed. priest and lazy exact efforts are planned.

Is there a particular underlying dynamic that forces the mul_promote to have to be recorded in a posit that has a different es value? The quires for a posit with...

That is indeed a very strong argument. Research questions to be answered: 1- _are all the samples of posit contained inside posit?_ 2- _are all the samples of unrounded add...