Install ScEpTIC with ALFRED Extension
=====================================
To try **ALFRED**, you need to install **ScEpTIC** with ALFRED extensions.

**ScEpTIC** (**S**\ imulator for **E**\ xecuting and **T**\ esting **I**\ ntermittent **C**\ omputation) is a python tool that analyzes intermittent execution of programs.
It is architecture-independent, as itemulates the execution of LLVM IR code.

ScEpTIC requires **python 3.7** and supportes the LLVM IR generated by **LLVM 6.0** toolchain.
Higher versions may also work.

First, you need to install git, python 3 and clang::

    apt install python3 python3-dev python3-pip clang-6.0 git


Then, you need to clone this repo and switch to ALFRED branch::

    git clone git@bitbucket.org:neslabpolimi/sceptic.git
    git checkout ALFRED

Finally, you need to install ScEpTIC::

    cd sceptic/
    python3 setup.py install --user

Note that you can uninstall ScEpTIC using the command::

    pip3 uninstall ScEpTIC

If you do not want to install ScEpTIC, you can still use it by placing the ScEpTIC directory in the same directory of ScEpTIC configuration files.
In such a case, you need to instal ScEpTIC requirements::

    pip3 install -r requirements.txt

Now you can start using ScEpTIC with ALFRED extension.