Skip to content

marinosi/TESLA

This branch is 7 commits ahead of, 1476 commits behind CTSRD-TESLA/TESLA:master.

Folders and files

NameName
Last commit message
Last commit date
Jul 19, 2011
Jul 19, 2011
May 3, 2011
Jul 19, 2011
Jul 23, 2011
Jun 11, 2011
Jul 19, 2011
Apr 5, 2011
Jul 23, 2011
May 12, 2011
Jul 23, 2011
Jul 23, 2011

Repository files navigation

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

Pre-requisites
--------------
Install git, gcc, g++, cmake, make
Run:
git submodule init --recursive
git submodule update --recursive

Build clang and LLVM
--------------------
(Before building make sure the submodules are updated.)
$ ./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

About

Temporally Enforced Security Logic Assertions

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C 52.1%
  • OCaml 45.1%
  • Shell 2.0%
  • Other 0.8%