devs-lab/artis-star

Auteur	SHA1 Message	Date
Eric Ramat	d1edafb187 Add all header file to library	il y a 2 ans
Eric Ramat	51a9b479da nested namespace and move some classes to new namespace	il y a 2 ans
Eric Ramat	044f94d936 Add two items in trace (formalism and level)	il y a 4 ans
Eric Ramat	76caeac1d1 Clean and optimize code	il y a 4 ans
Eric Ramat	31316d9b50 Change project name	il y a 6 ans