added more color coding to review stuff
added documentation about partial loops
checking that nondet choice has at least two children
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixing the generators coverage
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed #1077
Merge remote-tracking branch 'origin/master'
fixed #1021
fixed the code review selection of candidate nodes
Merge branch 'master' of github.com:mbeddr/mbeddr.core
move model
add rcpconfig again
working on better styles (#1100)
update rcp config
working on better styles (#1100) - expressions
working on better styles (#1100) - minor changes