statinf-otawa Goto Github PK

armv5t

Support for armv5t in GLISS

armv7t

benchmark-automation

Quickly compare output from objdump and Otawa's disasm tool

elm

ELM, a portable multi-feature library. Fork of https://git.renater.fr/anonscm/git/elm/elm.git. See https://sourcesup.renater.fr/projects/elm.

frontc

An OCaml library providing a C parser and lexer

gelpp

GEL++, a C++ library dedicated to read and process executable/library files.

gliss2

GLISS2 is a generator of ISS (Instruction Set Simulator).

obviews

Obviews, viewer for OTAWA

orange

ORange, a tool for static loop bound analysis. Fork of https://git.renater.fr/anonscm/git/orange/orange.git. See https://sourcesup.renater.fr/projects/orange.

otawa

OTAWA: An Open Toolbox for Adaptive WCET Analysis. Fork of https://git.renater.fr/anonscm/git/otawa/otawa.git

otawa-arm

otawa-clp

CLP value analysis plugin for OTAWA

otawa-dcache

OTAWA plugin for data cache analysis

otawa-ngultra

Support for the ARM Cortex R52 micro-architecture of nanoxplor's NG-ULTRA in OTAWA

otawa-project

Meta-repository of the OTAWA project. Fork of https://sourcesup.renater.fr/projects/otawa/.

otawa-riscv

OTAWA Loader for RISC-V instruction set.

otawa-stm32f427

Support for STM32F427 micro-architecture in OTAWA

otawa-tricore

OTAWA loader for TriCore instruction set.

otawa-xilinx

Support for Xilinx microarchitectures in OTAWA

ppc

Fork of gliss ppc from https://git.renater.fr/anonscm/git/gliss2/ppc.git/

riscv

Risc-V implementation in SimNML for the GLISS2 ISS generator

sis-install

Simple Installation Systemes provide OS-independent installation for local and multi-package installation.

thot

Thot is a document generation utility producing HTML, DocBook and Latex output from wiki-like text input.

tricore

Fork of gliss tricore from https://git.renater.fr/anonscm/git/gliss2/tricore.git/