Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 6, 2014

• bf gen: Add a backend for AutoCorres.

  Show description for 5ee3971
  

  Matthew Fernandez

  committed
  5ee3971

  Copy full SHA for 5ee3971

Commits on Nov 5, 2014

• bf gen: Fix: Check UMM types is known before generating HOL proofs.

  

  Matthew Fernandez

  authored and

  lsf37

  committed
  701b3bf

  Copy full SHA for 701b3bf

• bf gen: Fix: Prevent using stdout when writing HOL defs/proofs.

  Show description for 9e6750e
  

  Matthew Fernandez

  authored and

  lsf37

  committed
  9e6750e

  Copy full SHA for 9e6750e

Commits on Oct 28, 2014

• bf gen: Removed some undefined bit shifts.

  Show description for 1d51025
  

  Matthew Fernandez

  committed
  1d51025

  Copy full SHA for 1d51025

• bf gen: Fix missing include.

  Show description for 3b6321f
  

  Matthew Fernandez

  committed
  3b6321f

  Copy full SHA for 3b6321f

Commits on Oct 27, 2014

• bf gen: Fix whitespace in constructors and getters.

  

  Matthew Fernandez

  committed
  03ee240

  Copy full SHA for 03ee240

Commits on Aug 12, 2014

• ia32: Move as much of the interrupt and syscall traps into C as possible

  AdrianDanis

  committed
  7d87746

  Copy full SHA for 7d87746

Commits on Aug 4, 2014

• Use usr/bin/env for all python bangpaths to enable virtualenv use.

  Show description for da5ec79
  maxrp

  committed
  da5ec79

  Copy full SHA for da5ec79

Commits on Jul 17, 2014

• Release snapshot

  

  TrusthworthySystems

  authored and

  AdrianDanis

  committed
  91b7da8

  Copy full SHA for 91b7da8

Loading