Skip to content
Lecture material for DeepSpec Summer School 2018
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.
charIO Added pointer to master branch of VST Jul 26, 2018
dw Optimized a proof Jul 26, 2018
kami @ abcba0f Update Kami Jul 24, 2018
lf Fix a typo Jul 23, 2018
plf Refresh lf Jul 9, 2018
qc Fixes Issue #14 Oct 8, 2018
slides Added G Carvalho's slides Aug 22, 2018
vc Minor edits in vc chapter Jul 24, 2018
verdi add verdi slides Jul 30, 2018
vfa Added _CoqProject to vfa Jul 20, 2018
.gitignore dw: update Jul 25, 2018
.gitmodules Incorporate Kami by reference Jul 16, 2018
LICENSE Added the (public, student versions of) the Software Foundations volu… May 25, 2018 How to pull Kami changes Jul 22, 2018


Lecture material for DeepSpec Summer School 2018

Directory Structure

lf - Software Foundations 1: Logical Foundations
plf - Software Foundations 2: Programming Language Foundations
vfa - Software Foundations 3: Verified Functional Algorithms
qc - Software Foundations 4: QuickChick: Property-Based Testing in Coq
vc - Software Foundations 5: Verifiable C

dw - DeepWeb web server micro-demo

Download Instructions

Kami is included as a submodule (referencing a repository in the mit-plv organization), which means grabbing it requires one of two methods:

  1. Recursive cloning:
git clone --recurse-submodules
  1. Initializing and updating after-the-fact:
git submodule init
git submodule update

Then running make as usual inside the kami subdirectory should work to build the library and examples.

After updating the dsss18 repo, it may sometimes be necessary to run git submodule update again to update Kami as well.

You can’t perform that action at this time.