Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jun 9, 2014

• a few nits

  nikswamy

  committed
  52dc187

  Copy full SHA for 52dc187

• Merge branch 'master' of https://github.com/nikswamy/FStar

  nikswamy

  committed
  4dad912

  Copy full SHA for 4dad912

• added support for interface files (needs to be tightened up a bit); tc type-checks itself in about 1 minute (without queries, of course)

  nikswamy

  committed
  66b500f

  Copy full SHA for 66b500f

Commits on Jun 8, 2014

• type-checker types itself (in about 4mins)

  nikswamy

  committed
  d5872dc

  Copy full SHA for d5872dc

• separation of tuple and dtuple completed; bootstrap checks until visit.fs

  nikswamy

  committed
  8ed63d1

  Copy full SHA for 8ed63d1

• in progress ... separating tuples from dependent tuples

  nikswamy

  committed
  c94cd2c

  Copy full SHA for c94cd2c

Commits on Jun 6, 2014

• Update notes.txt

  nikswamy

  committed
  30cd7f4

  Copy full SHA for 30cd7f4

• debugging and optimizing VCs for match expressions

  nikswamy

  committed
  5748591

  Copy full SHA for 5748591

Commits on Jun 5, 2014

• added unification variables for computation types; debugging

  nikswamy

  committed
  7dd8fca

  Copy full SHA for 7dd8fca

Commits on Jun 4, 2014

• before adding unification variables for computation types

  nikswamy

  committed
  ef97ae0

  Copy full SHA for ef97ae0

• debugging: boostrapping works until visit.fs

  nikswamy

  committed
  2e116d5

  Copy full SHA for 2e116d5

Commits on Jun 3, 2014

• midstream commit while debugging

  nikswamy

  committed
  88f695e

  Copy full SHA for 88f695e

• starting to debug the type-checker

  nikswamy

  committed
  1465cc2

  Copy full SHA for 1465cc2

Commits on Jun 2, 2014

• merged with backend and restored build

  nikswamy

  committed
  d111332

  Copy full SHA for d111332

• merging with head

  nikswamy

  committed
  bf280e0

  Copy full SHA for bf280e0

• updated Makefile to include new tc sources

  nikswamy

  committed
  3521c2d

  Copy full SHA for 3521c2d

• Merge //nswamy-x1/Users/nswamy/workspace/FStar

  nikswamy

  committed
  5a1f5cd

  Copy full SHA for 5a1f5cd

• mostly code complete on the type-checker; builds but still need to test a LOT

  nikswamy

  committed
  b194ece

  Copy full SHA for b194ece

Commits on Jun 1, 2014

• Backend: stack of modules in a big lib + code generation

  strub

  committed
  f5276a7

  Copy full SHA for f5276a7

• Finished porting OCaml backend to the AST -> OCaml AST new backend.

  strub

  committed
  9f80452

  Copy full SHA for 9f80452

• added new feature request

  karthikbhargavan

  committed
  a1ba7d6

  Copy full SHA for a1ba7d6

• made some edits for mitls

  Show description for 16b809a
  karthikbhargavan

  committed
  16b809a

  Copy full SHA for 16b809a

• Import K. notes

  Show description for db83ada
  strub

  committed
  db83ada

  Copy full SHA for db83ada

• More on AST -> OCaml AST translation

  strub

  committed
  bc980af

  Copy full SHA for bc980af

• notes on F* parsing

  karthikbhargavan

  committed
  1288e58

  Copy full SHA for 1288e58

• expr translation to internal OCaml AST.

  strub

  committed
  ab7d565

  Copy full SHA for ab7d565

• Don't check for duplicated local variables.

  strub

  committed
  45606a3

  Copy full SHA for 45606a3

• Ignore type-constructor for now.

  strub

  committed
  1c912fa

  Copy full SHA for 1c912fa

• More on splitting code generation from AST transformation.

  strub

  committed
  129899f

  Copy full SHA for 129899f

Commits on May 31, 2014

• Start separation of code generation from AST translation.

  strub

  committed
  082211b

  Copy full SHA for 082211b

• Fix Makefile

  strub

  committed
  ab002ae

  Copy full SHA for ab002ae

• Support for exceptions delcaration

  strub

  committed
  2d4e3b0

  Copy full SHA for 2d4e3b0

• OCaml: AST + support for polymorphic type abbrevs.

  strub

  committed
  05d3b35

  Copy full SHA for 05d3b35

• OCaml backend: better handling of polymorphism

  strub

  committed
  1068948

  Copy full SHA for 1068948

• OCaml backend: support for polymorphic vals.

  strub

  committed
  db1810b

  Copy full SHA for db1810b

Pagination

Previous

Next