devs-lab/artis-test

Автор	SHA1 Сообщение	Дата
Eric Ramat	b6d0d268fb Ass new example: prey/predator and samrt gardener	5 лет назад
Eric Ramat	2a8cc8c624 Add new formalism tests: dsde	6 лет назад
Eric Ramat	76de9a3c4b Simplify QSS	6 лет назад
Eric Ramat	d98ab9e920 Add examples with save/restore	6 лет назад
Eric Ramat	dae5ed4bcc Use state for QSS	6 лет назад
Eric Ramat	c446bff074 New examples for QSS	6 лет назад