Skip to content
Permalink
Branch: master
Commits on Jun 23, 2019
  1. Update README.md

    bjohannesmeyer committed Jun 23, 2019
  2. Update README.md

    bjohannesmeyer committed Jun 23, 2019
Commits on Dec 16, 2018
  1. Update README.md

    bjohannesmeyer committed Dec 16, 2018
Commits on Nov 12, 2018
Commits on Nov 11, 2018
Commits on Oct 31, 2018
  1. more / to _ in stdlib

    bjohannesmeyer committed Oct 31, 2018
Commits on Oct 23, 2018
Commits on Oct 22, 2018
  1. nits

    bjohannesmeyer committed Oct 22, 2018
Commits on Oct 9, 2018
Commits on Sep 30, 2018
  1. new fact docker image

    bjohannesmeyer committed Sep 30, 2018
Commits on Sep 29, 2018
  1. added a janky version of test_semantics that compiles, but the origin…

    bjohannesmeyer committed Sep 29, 2018
    …al version really should work (with a few assumes)
Commits on Sep 26, 2018
Commits on Aug 6, 2018
  1. image name typo

    bjohannesmeyer committed Aug 6, 2018
Commits on Aug 5, 2018
Commits on Jul 28, 2018
  1. ctverif unit tests WIP

    bjohannesmeyer committed Jul 28, 2018
    Steps TODO:
    1. Run FaCT + ctverif on test_*.c
    2. Compare the C wrapper file produced by FaCT with the ctverif_*.c file (maybe by string comparing the C files after pre-processing then white-spaces removed?)
      2a. If they're unequal, FaCT isn't producing the wrapper file correctly
    3. Run the C wrapper file and test_*.c through ct-verif, listing all the extern functions as entrypoints
      3a. If ctverif fails, then the FaCT code isn't constant time:x
Commits on May 3, 2018
  1. Update README.md

    bjohannesmeyer committed May 3, 2018
Commits on May 2, 2018
Commits on Apr 28, 2018
Commits on Apr 20, 2018
Commits on Apr 18, 2018
  1. rip ctverif

    bjohannesmeyer committed Apr 18, 2018
Commits on Apr 17, 2018
Commits on Apr 15, 2018
  1. oops

    bjohannesmeyer committed Apr 15, 2018
Older
You can’t perform that action at this time.