lucas/modelverse

ответвлено от yentl/modelverse

Автор	SHA1 Сообщение	Дата
Yentl Van Tendeloo	af69ae1907 Add "name" attribute in SCD	7 лет назад
Yentl Van Tendeloo	3c13fe62ba Fix error in bottom formalism and add test for it	8 лет назад
Yentl Van Tendeloo	e4828596d2 Add bottom formalism (the nice way)	8 лет назад