2 commits

Author	SHA1	Message	Date
Leonardo de Moura	7b6d555433	refactor(kernel): remove level constraints from definitions ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2014-05-09 20:11:50 -07:00
Leonardo de Moura	9bf83390dc	test(lua): add definition API tests ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2014-05-02 17:01:22 -07:00