devs-lab/artis-star

作者	SHA1 备注	提交日期
Eric Ramat	c6c6c8e8ca change year of copyright	2 年之前
Eric Ramat	51a9b479da nested namespace and move some classes to new namespace	2 年之前
Eric Ramat	7d4f9b4b7a Change copyright dates	3 年之前
Eric Ramat	439234f961 Add new QSS: multiQSS	4 年之前
Eric Ramat	0fc53c8137 New coding style	4 年之前
Eric Ramat	cb81616110 Add lookahead in multithreading coordinator	4 年之前
Eric Ramat	0669069e6c Fix variable name (ta)	4 年之前
Eric Ramat	2e87262c3f Verify ta >= 0	4 年之前
Eric Ramat	81e75cb90e Add new formalism: devs	4 年之前