Commits

Branch selector

 sail2

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 1, 2021

• Tweak test scripts a little

  Show description for 8b0039c
  bacam

  committed
  8b0039c

  Copy full SHA for 8b0039c

• Add a more general integer shift to match ASL

  Show description for 57f9081
  bacam

  committed
  57f9081

  Copy full SHA for 57f9081

Commits on May 17, 2021

• Fix bug in rewriting of try-catch expressions

  Show description for 0966937
  bauereiss

  committed
  0966937

  Copy full SHA for 0966937

Commits on May 16, 2021

• Add some lexemes to the documentation

  bacam

  committed
  725b3a3

  Copy full SHA for 725b3a3

Commits on May 15, 2021

• Add basic translation of the menhir grammar to the manual

  Show description for ef0e755
  bacam

  committed
  ef0e755

  Copy full SHA for ef0e755

Commits on May 3, 2021

• Remove some noise from mapping compilation

  Show description for 56afb0f
  bacam

  committed
  56afb0f

  Copy full SHA for 56afb0f

Commits on Apr 23, 2021

• Add isla builtin testing and update coq script

  Show description for 75af862
  bacam

  committed
  75af862

  Copy full SHA for 75af862

Commits on Mar 24, 2021

• Fix lemma for current HOL4

  Show description for 1cb28ee
  bacam

  committed
  1cb28ee

  Copy full SHA for 1cb28ee

Commits on Mar 18, 2021

• add else as keyword

  opqrs

  committed
  3ac7bab

  Copy full SHA for 3ac7bab

Commits on Mar 12, 2021

• coq-bbv dependency should be a lower bound

  bacam

  committed
  d6ed84c

  Copy full SHA for d6ed84c

• Add even more conservative version bound to omd

  Alasdair

  committed
  c0bf98b

  Copy full SHA for c0bf98b

• Add upper version bound on omd

  Alasdair

  committed
  4b7a3c8

  Copy full SHA for 4b7a3c8

Commits on Mar 5, 2021

• Add more location information to IR

  Alasdair

  committed
  212b16b

  Copy full SHA for 212b16b

Commits on Feb 25, 2021

• Remove accidental use of too-recent Option module

  Show description for ace7b32
  bacam

  committed
  ace7b32

  Copy full SHA for ace7b32

• Add -infer_effects option

  bacam

  committed
  bb0a81f

  Copy full SHA for bb0a81f

Commits on Feb 24, 2021

• Fill out some missing cases in free variable calculation

  Show description for 548407a
  bacam

  committed
  548407a

  Copy full SHA for 548407a

• sailcov: fix usage information

  bacam

  committed
  c54ee75

  Copy full SHA for c54ee75

Commits on Feb 17, 2021

• Make sure :step_function appears in :commands

  Alasdair

  committed
  6a14c43

  Copy full SHA for 6a14c43

• Check if an unbound identifier is bound as a function identifier

  Show description for 9bca1fc
  Alasdair

  committed
  9bca1fc

  Copy full SHA for 9bca1fc

Commits on Jan 7, 2021

• Update version number in opam file

  Alasdair

  committed
  ad34dfb

  Copy full SHA for ad34dfb

Commits on Jan 6, 2021

• Don't use x86 intrinsics

  Alasdair

  committed
  55a91e5

  Copy full SHA for 55a91e5

Commits on Jan 5, 2021

• Fix some cases when monomorphising vectors containing variable-length bitvectors

  Alasdair

  committed
  1ac7d1b

  Copy full SHA for 1ac7d1b

• Enum value feature request for Alexandre

  Alasdair

  committed
  8b2a3fa

  Copy full SHA for 8b2a3fa

• Don't allow type synonyms with the same name as existing types

  Alasdair

  committed
  c4723c7

  Copy full SHA for c4723c7

Commits on Nov 25, 2020

• Remove bogus pattern completeness warning on singleton enums and unions

  bacam

  committed
  3c43a47

  Copy full SHA for 3c43a47

• Fix Lem output for single element enum

  bacam

  committed
  3d0064a

  Copy full SHA for 3d0064a

• Fix BLR

  Show description for 1c425ff
  fshaked

  committed
  1c425ff

  Copy full SHA for 1c425ff

• Make WFE, SEV and SEVL effectively NOPs

  fshaked

  committed
  294cd64

  Copy full SHA for 294cd64

Commits on Nov 21, 2020

• Make coverage support look a little harder for location information

  bacam

  committed
  c6670a9

  Copy full SHA for c6670a9

Commits on Nov 20, 2020

• Add coverage output to short-circuiting operators

  bacam

  committed
  c5d2722

  Copy full SHA for c5d2722

Commits on Nov 19, 2020

• Add write tag primitive

  bacam

  committed
  75c6d05

  Copy full SHA for 75c6d05

• Make mono rewrites be more careful to produce constant-sized types

  Show description for 3d526b7
  bacam

  committed
  3d526b7

  Copy full SHA for 3d526b7

• Specifically note that Ubuntu 18.04 needs a new opam

  bacam

  committed
  2173dc2

  Copy full SHA for 2173dc2

Commits on Nov 18, 2020

• Fix coverage information in case branches that immediately return

  bacam

  committed
  6198232

  Copy full SHA for 6198232

Commits on Nov 13, 2020

• sailcov: Correct ordering for cumulative coverage output

  bacam

  committed
  f19dfa4

  Copy full SHA for f19dfa4

Pagination

Previous

Next