[Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=835

--- Comment #8 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #5)
> (In reply to Luke Kenneth Casson Leighton from comment #4)
> > that entire repo is out of date and should not be used.
> > i simply haven't had time to extract work in it yet.
> > can you please redo on gitlab bearing in mind under NO
> > circumstances do a force-push and that the entire commit
> > history hashes are completely different.
> 
> well, had you checked the history on the git branch I pushed, you would have
> seen it's actually based on latest master from gitlab

shit, shit that's *exactly* what i did not want to happen and if you'd
asked i would have said NO

there is still an extremely important branch that has NOT been forward-ported
because i haven't had time.

i'm locking down that repository and removing your commit rights.

you MUST NOT use force-push without consulting me

-- 
You are receiving this mail because:
You are on the CC list for the bug.