Skip to content
Snippets Groups Projects
Forked from cidre-public / Compilation / infosec-ecomp
Source project has a limited visibility.
Mahmoud Bentriou's avatar
Bentriou Mahmoud authored
Change of signatures of unit functions update_state!, check_constraints
of the automata edges. Use getfield instead of getproperty.

Now the execution of statistical estimation of the distance G is of the
order of Cosmos !
dfcc663d
History
Name Last commit Last update