Skip to content

History / Eric's Notes Page 2

Revisions

  • Update on status.

    @EricGT EricGT committed Nov 12, 2013
    74c0bea

  • Note importance of converting result of muliple parses back into receiving type for next parser.

    @EricGT EricGT committed Sep 19, 2013
    7516e6b

  • Not Microsoft Pex and Moles.

    @EricGT EricGT committed Sep 11, 2013
    1e62e64

  • Add reference to F# 3.0 Language Specification (pdf)

    @EricGT EricGT committed Sep 10, 2013
    5fe5060

  • Note use of pretype.

    @EricGT EricGT committed Aug 28, 2013
    e1946d0

  • Fix typo

    @EricGT EricGT committed Aug 28, 2013
    d68ddd1

  • Notes on HOL Light lex function.

    @EricGT EricGT committed Aug 28, 2013
    15dc8c0

  • Note use of Github issue tracking for NHol.

    @EricGT EricGT committed Aug 23, 2013
    bb9d55d

  • Note that HOL Light parsers expect noparse exception, not some user defined exception.

    @EricGT EricGT committed Aug 22, 2013
    0378a7c

  • Notes about using dotCover and dotTrace.

    @EricGT EricGT committed Aug 22, 2013
    a6096a5

  • Note preferences for test with option type.

    @EricGT EricGT committed Aug 19, 2013
    4f9b8e7

  • Note upcoming deleteion of remvoving-exceptions branch.

    @EricGT EricGT committed Aug 18, 2013
    109257d

  • Add Phan's notes about BUGGY preprocessor symobl.

    @EricGT EricGT committed Aug 18, 2013
    24a03c3

  • Add Phan's notes about use compiter option.

    @EricGT EricGT committed Aug 18, 2013
    0db0a6d

  • Note CODE_COVERAGE preprocessor symbol.

    @EricGT EricGT committed Aug 18, 2013
    4fea6ae

  • Note FSI_VER_2 preprocessor symbol.

    @EricGT EricGT committed Aug 18, 2013
    35d9d4b

  • Note DEBUG and TRACE preprocessor symbols.

    @EricGT EricGT committed Aug 18, 2013
    4cf665c

  • Note BUGGY preprocessor symbol.

    @EricGT EricGT committed Aug 18, 2013
    1786199

  • Note COMPILED preprocessor symbol

    @EricGT EricGT committed Aug 18, 2013
    a056bf2

  • Note INTERACTIVE preprocessor symbol.

    @EricGT EricGT committed Aug 18, 2013
    6f59797

  • Explain USE preprocessor symbol.

    @EricGT EricGT committed Aug 18, 2013
    8e2c2fa

  • Note NHol manual written using LaTeX with fitch.sty and proof.sty.

    @EricGT EricGT committed Aug 18, 2013
    b4f4bbd

  • Note unit testing and typing-related issues.

    @EricGT EricGT committed Aug 18, 2013
    8b9a0b9

  • Add some links used for writing test cases.

    @EricGT EricGT committed Aug 15, 2013
    f7981cd

  • Note usage of pre/post conditions or Horae logic.

    @EricGT EricGT committed Aug 15, 2013
    7220bfc

  • Note problems with code coverage and inline functions.

    @EricGT EricGT committed Aug 14, 2013
    4a9a527

  • Note benefits of converting exception results to string for comparison with NUnit.

    @EricGT EricGT committed Aug 14, 2013
    2676616

  • Explain usefullness of Failure Active Pattern.

    @EricGT EricGT committed Aug 14, 2013
    23cb4ef

  • Note Core.exn type abbreviation for F#.

    @EricGT EricGT committed Aug 14, 2013
    768eeed

  • Note about useage of Failure function, AKA Failure Active Pattern.

    @EricGT EricGT committed Aug 14, 2013
    3d42ebd