Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 7, 2024

• Update README.md

  Show description for bbae0eb
  parno

  authored
  bbae0eb

  Copy full SHA for bbae0eb

Commits on Apr 10, 2023

• Upgrade to latest F* master

  Chris-Hawblitzel

  committed
  8d8d6ba

  Copy full SHA for 8d8d6ba

Commits on Sep 27, 2022

• Upgrade to latest F* master

  Chris-Hawblitzel

  committed
  03d9841

  Copy full SHA for 03d9841

Commits on Jul 11, 2022

• Merge branch 'mamonet-ppc-basic-test'

  Chris-Hawblitzel

  committed
  e18ff58

  Copy full SHA for e18ff58

• Merge branch 'master' into ppc-basic-test

  Chris-Hawblitzel

  authored
  98f8710

  Copy full SHA for 98f8710

Commits on Jul 1, 2022

• Binary release

  Chris-Hawblitzel

  committed
  d5886c0

  Copy full SHA for d5886c0

• Update importFStarTypes for F* changes

  Chris-Hawblitzel

  committed
  051813d

  Copy full SHA for 051813d

Commits on Jun 8, 2022

• [PPC64LE] Declare reg and vec types as integer refinement types

  mamonet

  authored
  7e71abb

  Copy full SHA for 7e71abb

Commits on May 25, 2022

• Basic support for PowerPC architecture

  Show description for 8c3e54a
  mamonet

  authored
  8c3e54a

  Copy full SHA for 8c3e54a

Commits on Mar 15, 2022

• Add missing dependency to SConstruct

  Chris-Hawblitzel

  committed
  e26cc25

  Copy full SHA for e26cc25

Commits on Feb 4, 2022

• Remove an old Makefile

  Chris-Hawblitzel

  committed
  6c2ea23

  Copy full SHA for 6c2ea23

Commits on Sep 22, 2021

• Binary release

  Chris-Hawblitzel

  committed
  6b06e48

  Copy full SHA for 6b06e48

• Update importFStarTypes for F* changes

  Chris-Hawblitzel

  committed
  83c8592

  Copy full SHA for 83c8592

Commits on Aug 17, 2021

• In x64simple directory, create simpler X64 definitions

  Chris-Hawblitzel

  committed
  dc412cd

  Copy full SHA for dc412cd

• Copy fstar x64 files into new x64simple directory, in preparation for

  Show description for 0af6e5b
  Chris-Hawblitzel

  committed
  0af6e5b

  Copy full SHA for 0af6e5b

Commits on Jun 7, 2021

• Apply changes from

  Show description for 8afddaa
  Chris-Hawblitzel

  committed
  8afddaa

  Copy full SHA for 8afddaa

Commits on Apr 6, 2021

• Merge pull request #46 from project-everest/update-reference

  Show description for 14abbd5
  parno

  authored
  14abbd5

  Copy full SHA for 14abbd5

Commits on Mar 30, 2021

• Added reference to the transformers paper

  jaybosamiya

  committed
  dd8e802

  Copy full SHA for dd8e802

Commits on Feb 9, 2021

• Binary release

  Chris-Hawblitzel

  committed
  4c82934

  Copy full SHA for 4c82934

• Binary release

  Chris-Hawblitzel

  committed
  3b7fd85

  Copy full SHA for 3b7fd85

Commits on Jan 29, 2021

• Remove uses of lex_t to prepare for upcoming F* changes

  Chris-Hawblitzel

  committed
  4981f83

  Copy full SHA for 4981f83

Commits on Jul 22, 2020

• Update importFStarTypes for upcoming F* changes

  Chris-Hawblitzel

  committed
  2e2d78d

  Copy full SHA for 2e2d78d

Commits on Jul 21, 2020

• Remove --use_extracted_interfaces from SConstruct

  Chris-Hawblitzel

  committed
  d8a1fc2

  Copy full SHA for d8a1fc2

Commits on Mar 31, 2020

• Binary release

  Chris-Hawblitzel

  committed
  182ec38

  Copy full SHA for 182ec38

• Merge branch 'guido_misc' into _release

  Chris-Hawblitzel

  committed
  e322a25

  Copy full SHA for e322a25

Commits on Mar 30, 2020

• Fix parse_exp for F* after FStarLang/FStar#1970

  mtzguido

  committed
  03b85ac

  Copy full SHA for 03b85ac

Commits on Mar 27, 2020

• changes to move Lemma from Prims to FStar.Pervasives

  aseemr

  committed
  d21ec96

  Copy full SHA for d21ec96

Commits on Feb 11, 2020

• Fix QuickCodes for if/while flag havoc

  Chris-Hawblitzel

  committed
  99ac191

  Copy full SHA for 99ac191

• Make sure F* X64 semantics havocs flags in if/while, just like Dafny X64 semantics

  Chris-Hawblitzel

  committed
  72de0c2

  Copy full SHA for 72de0c2

Commits on Feb 10, 2020

• Fix broken link in README

  Chris-Hawblitzel

  committed
  6d6a335

  Copy full SHA for 6d6a335

Commits on Feb 7, 2020

• Fix INSTALL.md

  Chris-Hawblitzel

  committed
  48388f0

  Copy full SHA for 48388f0

Commits on Feb 6, 2020

• Document {:restartProver}

  Chris-Hawblitzel

  committed
  4905814

  Copy full SHA for 4905814

• Binary release

  Chris-Hawblitzel

  committed
  7d5b4db

  Copy full SHA for 7d5b4db

• Remove #reset-options pragma

  Chris-Hawblitzel

  committed
  485be10

  Copy full SHA for 485be10

• Add {:options ...} attribute to Vale procedures for setting F* options

  Chris-Hawblitzel

  committed
  5e1dbc9

  Copy full SHA for 5e1dbc9

Pagination

Previous

Next