.. |
core_algorithm.alc
|
206efc25ee
Updated wrapper with AL execution for Simon
|
%!s(int64=8) %!d(string=hai) anos |
core_formalism.mvc
|
ab3bbddc49
First code for the concrete syntax renderer
|
%!s(int64=8) %!d(string=hai) anos |
mini_modify.alc
|
206efc25ee
Updated wrapper with AL execution for Simon
|
%!s(int64=8) %!d(string=hai) anos |
mini_modify.alh
|
70d98776a3
Rewrite core_algorithm and mini_modify for an "all at once" approach
|
%!s(int64=8) %!d(string=hai) anos |
pm.mvc
|
922ef3882a
Remove name attribute on consume link
|
%!s(int64=8) %!d(string=hai) anos |
tracability.mvc
|
72b0f4ef3d
Fixed tracability link generation in split
|
%!s(int64=8) %!d(string=hai) anos |