Skip to content

History

New page

Revisions

  • Moved functions to code snippets

    @liammachado liammachado committed Mar 25, 2019
    9949f96

  • Reverted rename

    @liammachado liammachado committed Mar 25, 2019
    ab7815a

  • Updated Floating point support in Boogie (markdown)

    @liammachado liammachado committed Mar 25, 2019
    8d86847

  • Changed title and summary to reflect that this is no longer a draft

    @liammachado liammachado committed Mar 25, 2019
    4625871

  • Removed duplicate word

    @liammachado liammachado committed Mar 25, 2019
    7b2297d

  • Added note regarding trailing zeros in the significand of floating-point constants.

    @liammachado liammachado committed Jan 17, 2019
    cd5c134

  • Updated constant syntax, cleaned up links, and reworded some sentences.

    @liammachado liammachado committed Jan 17, 2019
    915d818

  • Removed reference to to_fp function that accepts int; this function does not exist.

    @liammachado liammachado committed Jul 3, 2018
    10fae69

  • Updated Draft floating point Boogie language extension (markdown)

    @liammachado liammachado committed Mar 15, 2018
    124c73f

  • Updated Draft floating point Boogie language extension (markdown)

    @liammachado liammachado committed Mar 9, 2018
    0a388e8

  • Updated Draft floating point Boogie language extension (markdown)

    @shaobo-he shaobo-he committed Mar 8, 2018
    d57ae02

  • Updated Draft floating point Boogie language extension (markdown)

    @shaobo-he shaobo-he committed Mar 8, 2018
    718244d

  • Updated Draft floating point Boogie language extension (markdown)

    @liammachado liammachado committed Mar 4, 2018
    1e7cdad

  • fixed argument in "Type conversion" example and added back in a section on the ":rm" attribute.

    @liammachado liammachado committed Mar 4, 2018
    16872f8

  • Fixed number of arguments in sqrt function example.

    @liammachado liammachado committed Mar 4, 2018
    c039d0b

  • Fixed various errors (incorrect ordering of "builtin" function arguments, undeclared variables in code examples, formatting issues) and rewrote parts of some sections.

    @liammachado liammachado committed Mar 4, 2018
    c414070

  • Fixed return type of fp.min and fp.max operators.

    @liammachado liammachado committed Mar 4, 2018
    95a00d7

  • Updated Draft floating point Boogie language extension (markdown)

    @liammachado liammachado committed Mar 1, 2018
    a45c5d3

  • Updated Draft floating point Boogie language extension (markdown)

    @Checkmate50 Checkmate50 committed Jun 7, 2016
    4962668

  • fp must be used declaring constants instead of float when declaring constants so that the compliter can differentiate between variable and constant declaration.

    @Checkmate50 Checkmate50 committed May 12, 2016
    2f03637

  • Undoing previous change (which was incorrect)

    @Checkmate50 Checkmate50 committed Mar 16, 2016
    70e4188

  • Using a bitvector to declare a constant defined with the float<exp, sig> (value) syntax shouldn't require a bitvector in the value field

    @Checkmate50 Checkmate50 committed Mar 16, 2016
    9a10117

  • Added commas for data delimination

    @Checkmate50 Checkmate50 committed Feb 26, 2016
    fb97b5f

  • Created initial draft of the body of the wiki

    @Checkmate50 Checkmate50 committed Feb 11, 2016
    90bb786

  • Add stub for type conversion

    @delcypher delcypher committed Jan 15, 2016
    d57f35e

  • Initial Home page

    @delcypher delcypher committed Jan 15, 2016
    2f38af1

  • Stub out draft document.

    @delcypher delcypher committed Jan 15, 2016
    20b1902