|
TaPAS
0.2
|
| A kind of template for dynamic arrays | |
| Macros allowing to set assertions into the code | |
| Implementation of vectors of bits | |
| Some useful and common macros | |
| Implementation of some kind of "preferences" table | |
| An exception mechanism | |
| A dynamic association table implemented by hashing | |
| A generic iterator interface | |
| Generic simple linked list | |
| Message displayer | |
| Memory Allocators | |
| A generic parse tree | |
| A by-packet allocator | |
| Frequently used prototypes of generic functions | |
| Serialization function for basic C types | |
| A generic stack implementation | |
| Module gathering routines frequently used for the manipulation of string | |
| Generic not ordered tree structure | |
| Alambic API | |
| Syntactical analyzer for the ARMOISE language | |
| Interpreter of ARMOISE syntactic trees | |
| Syntactic tree for the Armoise language | |
| Useful functions used to serialize GENEPI sets | |
| Plugin Loader | |
| Configuration tables for plugin | |
| Specification of Plugin Prototypes | |
| Trace commands used by DIJO | |
| Generic operations on GENEPI sets | |
| GENEPI Solver Interface | |
| This module implements an encoding of Presburger formulae. It computes also for a given formula its set of solutions using Shared Automata | |
This module allows the manipulation of predicates for which variables take their value into . The relation underlying a predicate is encoded using a sataf_msa | |
1.8.5