devs-lab/artis-star

作者	SHA1 备注	提交日期
Eric Ramat	053ab5b7ee Add new formalism: fddevs	5 年之前
Eric Ramat	044f94d936 Add two items in trace (formalism and level)	5 年之前
Eric Ramat	04a6d5cb2c Change TraceType definition	5 年之前
Eric Ramat	30493b3894 Fix trace	5 年之前
Eric Ramat	76caeac1d1 Clean and optimize code	5 年之前
Eric Ramat	a1691ac54c Change dates of copyright	7 年之前
Eric Ramat	31316d9b50 Change project name	7 年之前