Explore projects

Fork of RapidJSON (http://rapidjson.org/), with a small patch needed to access an internal value (see https://github.com/Tencent/rapidjson/pull/1647)

A set of otawa plugin

explo just prints some information about BB initialize_RMB_LMB computes rmb and lmb for each BB

This directory is used as a storage for the MonoBase database.

TnSeek public repository

Documentation and tutorials for OTAWA plugin development and use.

Sujets de stages de recherche