Fp

[rdaly525]

Sorry... I merged this way too early.

Here is the original FP PR

[cdonovick]

reposting from #30 which was merged prematurely

Not quite feature complete -- a few methods do not work for NaN / denormals -- however as lassen does not require these this should be good enough for now.

The changes to AbstractBitVectorMeta are an artifact of trying to use it for the metaclass of FPVector. This however, turned out to not be possible for a number of reasons. I did not revert these changes as they do not effect behavior and they make AbstractBitVectorMeta more extensible.

Introduces dependency on gmpy2 which has system dependencies gmp, mpfr, mpc. Could potentially create a separate package hwtypes[float] so that hwtypes remains pure python. If we go down that route we probably should separate hwtypes[smt] as well.

[cdonovick]

@rsetaluri @leonardt @makaimann can you guys update your system requirements? (see https://github.com/leonardt/hwtypes/blob/fp/.travis.yml)

[leonardt]

I've added those dependencies to the magma, mantle, pycoreir, and fault travis repos. Let me know if I forgot any (we'll find out soon enough).

pycoreir has a slightly trickier setup (not using traivs addons) so verifying that it works, also with osx. I believe the required brew command is brew install gmp mpfr libmpc. Can we add the apt/brew commands to the README under setup/install?

[cdonovick]

@leonardt I have updated the readme

[rdaly525]

lassen's PR: StanfordAHA/lassen#81

[rdaly525]

I think the dependencies are:
-magma
-mantle
-fault
-pycoreir
-Cosa
-peak
-metamapper
-lassen
-garnet

[rdaly525]

peak's PR cdonovick/peak#49

[makaimann]

CoSA’s PR: cristian-mattarei/CoSA#84

[rdaly525]

Everyone should be able to merge their PRs now. Afterwards, this PR can be merged

[cdonovick]

@rsetaluri @rdaly525 is Garnet updated? @Kuree Also does canal depend on hwtypes?

[Kuree]

It's ready to merge.

Here is the list of repos depends on hwtypes:

• gemstone
• canal
• garnet

The entire gemstone ecosystem is handled by containers so these repos are always ready to merge once the docker container is updated.

[Kuree]

Can someone merge it in and release the package? It's breaking garnet right now.