Supporting floats - Githubissues

egraphs-good / eggcc

MIT License

51 stars 11 forks source link

Supporting floats #562

Closed yihozhang closed 6 months ago

yihozhang commented 6 months ago

[x] introduce the float type at egglog and rust level
[x] Move tests/failing/brils/floats to passing.