Make AAL more consistent by allowing () and allowing not to write () after initial_state/adapter_init/adapter_exit/push/pop/body/guard/adapter
coverage_tree: decrease number of heap alloc and free calls
Merge remote-tracking branch '01/devel' into for-devel
Version bump, development version 0.12.3-0.rc0
Merge
fmbt-editor: support AAL guard/body/adapter without ()
Merge remote-tracking branch '01/devel' into for-devel
fmbtwindows: skeleton capable of taking screenshot
build: "make clean" cleans now src/d, too
Merge remote-tracking branch '01/devel' into for-devel
Enable calling fMBT (the main process) from AAL/Python.
Tests for calling fMBT from AAL/Python
AAL/Python: getter naming convention in fmbt.py
Use double instead of float in function calculation
a bit better default for random
Let's get randon number seed from /dev/urandom instead of /dev/random
Merge remote-tracking branch '01/devel' into for-devel
cleanup coverage && heuristic proxy
Fix regression. Allow contant values in heuristic random
Fix memory leak when setting new coverage with remote call