Permalink
Switch branches/tags
Nothing to show
Commits on Mar 24, 2018
  1. Update README.md

    hwayne committed Mar 24, 2018
    Updating the web benchmarks based on suggestions [here](https://twitter.com/TFBenchmarks/status/977254627442765824)
Commits on Jan 28, 2018
Commits on Jan 17, 2018
  1. Merge pull request #10 from vext01/warmup_paper

    hwayne committed Jan 17, 2018
    Add warmup paper cold shower.
Commits on Jan 3, 2018
  1. Update README.md

    hwayne committed Jan 3, 2018
Commits on Dec 30, 2017
  1. Update README.md

    hwayne committed Dec 30, 2017
    Found an exemplary paper
  2. Update README.md

    hwayne committed Dec 30, 2017
    An Empirical Study on the Correctness of Formally Verified Systems, closes #6
Commits on Dec 29, 2017
  1. Update README.md

    hwayne committed Dec 29, 2017
    Make it a bit clearer that we aren't trying to hate on things, just keeping people grounded
Commits on Dec 28, 2017
  1. Add "Agile Methods"

    hwayne committed Dec 28, 2017
Commits on Dec 27, 2017
  1. Update CONTRIBUTING.md

    hwayne committed Dec 27, 2017
    Better format
  2. Update README.md

    hwayne committed Dec 27, 2017
    Actual stuff in the list
  3. Merge pull request #1 from hwayne/hwayne-patch-1

    hwayne committed Dec 27, 2017
    Update CONTRIBUTING.md
  4. Update CONTRIBUTING.md

    hwayne committed Dec 27, 2017
    Add a template for submitters
  5. Create pull_request_template.md

    hwayne committed Dec 27, 2017
    PR Checklist
Commits on Dec 26, 2017
  1. Create CONTRIBUTING.md

    hwayne committed Dec 26, 2017
    First draft of contributing guidelines.
  2. Create CODE_OF_CONDUCT.md

    hwayne committed Dec 26, 2017
    Remind people not to be dicks to each other, not that I'm expecting it, but better safe than sorry
  3. Update LICENSE

    hwayne committed Dec 26, 2017
    Github doesn't have a CC0 template
  4. Initial commit

    hwayne committed Dec 26, 2017