Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Temporally Enforced Security Logic Assertions
C OCaml Shell
branch: master

This branch is 1476 commits behind CTSRD-TESLA:master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
assertions
cfa
kernel
libtesla
strawman
tesla
.gitignore
LICENSE.txt
README.txt
build_clang.sh

README.txt

Getting started
===============

Pre-requisites
--------------
Install git, gcc, g++, cmake, make

Build clang and LLVM
--------------------
$ ./build_clang.sh 

This will check out clang and LLVM if needed. Building will take
a while (a couple of hours on my laptop).

Build strawman
--------------
$ cd strawman
$ make

Test strawman
-------------
$ ./test
Something went wrong with that request. Please try again.