------------------- Koivisto 9.0 ------------------

bench: 4380745

------------------- Koivisto 8.0 ------------------

bench: 3963416

------------------- Koivisto 7.0 ------------------

bench: 3906148

--------------------------- Koivisto 6.0 ------------------------------

bench:6349474

Koivisto v5.0

bench: 7800554

Koivisto v4.0

Koivisto 4.0 make/cmake

Merge pull request #13 from ddugovic/github-actions

Add CI pipeline

set option bug

Former-commit-id: 5fb16bc

Merge remote-tracking branch 'origin/master'

Former-commit-id: 6f9b79a