Rename EAL to OL
To be prepared for the changes in release 2.0.0, we should rename eal to ol to allow adding other optimizers.
To be prepared for the changes in release 2.0.0, we should rename eal to ol to allow adding other optimizers.
assigned to @berber
added #5 (closed) as child task
added #6 (closed) as child task
mentioned in commit 9568c4b8
closed