theta icon indicating copy to clipboard operation
theta copied to clipboard

Published 20 hours ago • verified publisher icon ftsrg

Update documentation for the floating point type, expressions and elements of the DSL

Open leventeBajczi opened this issue 4 years ago • 2 comments

  • [ ] Create a summary on floating point support in Theta akin to bitvectors.md
  • [x] Update the description of the CFA formalism in README.md
  • [ ] Add some example CFAs to showcase the new expressions (also suitable for testing purposes)

leventeBajczi avatar Aug 04 '21 21:08 leventeBajczi

I think point number one is optional. It is nice to have a long and detailed description if you have time, but the important thing is to update the CFA formalism readme (point 2). You might just list the available operators/expressions there.

hajduakos avatar Aug 05 '21 09:08 hajduakos

Please see PR #127, I think I covered all important aspects for point 2.

leventeBajczi avatar Aug 05 '21 10:08 leventeBajczi