Skip to content

zabbadoz/TESLA

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

Temporally Enforced Security Logic Assertions

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C 53.9%
  • OCaml 43.7%
  • Shell 2.0%
  • R 0.4%