Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 4, 2021

• Add some links to README

  JasonGross

  authored
  ce3374c

  Copy full SHA for ce3374c

• Add jq to Mac and Ubuntu deps

  JasonGross

  authored
  335cdc6

  Copy full SHA for 335cdc6

• Bump min Coq dependency to 8.11, use coqutil

  Show description for 10bed63
  JasonGross

  committed
  10bed63

  Copy full SHA for 10bed63

Commits on Jun 2, 2021

• README: adds jq as dependency

  

  kriskwiatkowski

  authored and

  JasonGross

  committed
  42515b4

  Copy full SHA for 42515b4

• README: adds ocalm-zarith as dependency

  

  kriskwiatkowski

  authored and

  JasonGross

  committed
  44530ba

  Copy full SHA for 44530ba

Commits on May 20, 2021

• Remove trailing whitespace

  JasonGross

  committed
  c4237de

  Copy full SHA for c4237de

Commits on May 3, 2021

• Add some links for Zig

  JasonGross

  authored
  0d00c03

  Copy full SHA for 0d00c03

• Fiat-generated code is now continuously tested

  Show description for a0ad690
  

  jedisct1

  authored and

  JasonGross

  committed
  a0ad690

  Copy full SHA for a0ad690

Commits on May 1, 2021

• Update README.md

  JasonGross

  authored
  a8ee5ec

  Copy full SHA for a8ee5ec

• Remove ocaml-num from instructions

  Show description for 56a0343
  JasonGross

  authored
  56a0343

  Copy full SHA for 56a0343

Commits on Apr 28, 2021

• Update README.md

  JasonGross

  committed
  0f8fc10

  Copy full SHA for 0f8fc10

• Update README.md

  JasonGross

  committed
  93e2145

  Copy full SHA for 93e2145

• Add a table of backend statuses and maintenance

  JasonGross

  committed
  784bde8

  Copy full SHA for 784bde8

Commits on Apr 16, 2021

• Update README.md

  Show description for db5d090
  JasonGross

  authored
  db5d090

  Copy full SHA for db5d090

Commits on Mar 3, 2021

• Add README for fiat-go, update readme with my thesis

  Show description for 9f03b20
  JasonGross

  committed
  9f03b20

  Copy full SHA for 9f03b20

• Add Go package shield

  JasonGross

  authored
  cc08993

  Copy full SHA for cc08993

Commits on Sep 25, 2020

• Multi-license under MIT OR Apache-2.0 OR BSD-1-Clause

  Show description for 902c79a
  JasonGross

  committed
  902c79a

  Copy full SHA for 902c79a

Commits on Sep 23, 2020

• aspell -c README.md

  JasonGross

  committed
  9a701cd

  Copy full SHA for 9a701cd

Commits on Aug 19, 2020

• Update README.md

  JasonGross

  authored
  acc220f

  Copy full SHA for acc220f

• added info on dependencies package

  Show description for 081ac50
  

  dderjoel

  authored and

  JasonGross

  committed
  081ac50

  Copy full SHA for 081ac50

Commits on Aug 12, 2020

• Update README.md

  Show description for 580a5b1
  JasonGross

  authored
  580a5b1

  Copy full SHA for 580a5b1

• Update README.md

  Show description for fbd1a1f
  JasonGross

  authored
  fbd1a1f

  Copy full SHA for fbd1a1f

Commits on Jul 27, 2020

• Update README.md

  JasonGross

  authored
  9a54a82

  Copy full SHA for 9a54a82

Commits on Jul 20, 2020

• Add Zulip Chat badge to README

  JasonGross

  authored
  0d6df21

  Copy full SHA for 0d6df21

Commits on Jun 21, 2020

• Add status badges for MacOS and Windows

  JasonGross

  authored
  d3cc84d

  Copy full SHA for d3cc84d

Commits on May 21, 2020

• Rework argument parsing, add --tight-bounds-mul-by

  Show description for 9ac37a1
  JasonGross

  committed
  9ac37a1

  Copy full SHA for 9ac37a1

Commits on May 1, 2020

• Proofreading README

  achlipala

  committed
  f423db3

  Copy full SHA for f423db3

• Update README.md

  Show description for 557c5b4
  

  2 peopleauthored and

  andres-erbsen

  committed
  557c5b4

  Copy full SHA for 557c5b4

• Apply suggestions from code review

  

  JasonGross

  authored and

  andres-erbsen

  committed
  5779d32

  Copy full SHA for 5779d32

• Add bedrock2 instructions to README

  

  JasonGross

  authored and

  andres-erbsen

  committed
  9ee04cb

  Copy full SHA for 9ee04cb

Commits on Feb 11, 2020

• Remove .travis.yml

  Show description for 146161f
  JasonGross

  committed
  146161f

  Copy full SHA for 146161f

Commits on Feb 7, 2020

• Update README.md

  JasonGross

  authored
  8bdaaad

  Copy full SHA for 8bdaaad

• Add GitHub actions CI to README

  JasonGross

  authored
  a8a79fa

  Copy full SHA for a8a79fa

Commits on Jan 23, 2020

• Update build instructions

  JasonGross

  authored
  48ff47a

  Copy full SHA for 48ff47a

Commits on Oct 7, 2019

• Package up all of the identifier generation into a single call

  Show description for 7d5e4fb
  

  JasonGross

  authored and

  jadephilipoom

  committed
  7d5e4fb

  Copy full SHA for 7d5e4fb

Pagination

Previous

Next