Permalink
Switch branches/tags
Commits on Nov 22, 2008
  1. Implement fractional products.

    committed Nov 22, 2008
  2. Add bitwise operations.

    committed Nov 22, 2008
  3. Division.

    committed Nov 22, 2008
  4. Adapt w32's to Janus.

    committed Nov 22, 2008
  5. Adapt the memory monad to w32's.

    committed Nov 22, 2008
  6. Explain 'cut' a bit more.

    committed Nov 22, 2008
Commits on Nov 21, 2008
  1. Add a BaseLib with basic tactics and value definitions in style of Co…

    …mpCert.
    
    Begin fleshing out the details of Word32 integers.
    committed Nov 21, 2008
  2. Bump .gitignore.

    committed Nov 21, 2008
Commits on Nov 20, 2008
  1. Flesh out the code some more.

    committed Nov 20, 2008
  2. Initial checkin of project.

    committed Nov 20, 2008