Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Switch the event handling in the MC to libevent.
authorMatthieu Volat <mazhe@alkumuna.eu>
Tue, 29 Nov 2016 11:21:46 +0000 (12:21 +0100)
committerdegomme <augustin.degomme@unibas.ch>
Tue, 29 Nov 2016 11:33:30 +0000 (12:33 +0100)
commitd882f311a5e8d59afe8c26d2b5025fa45ab713ae
tree61ffcd13b21cef167f9ccf23eb3f1106a6e3418e
parentc99859aeca9cb0d4ebec395052bdd8a4ef38fcfd
Switch the event handling in the MC to libevent.

This is a good alternative to provide a clean socket/signal
handling, which allows to finaly enable the MC on FreeBSD too. The
downside is that now libevent>=2 is necessary to build the model
checker.

Thanks to degomme@ for the mentoring ;)
CMakeLists.txt
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
tools/cmake/DefinePackages.cmake
tools/cmake/Modules/FindLibdw.cmake
tools/cmake/Modules/FindLibevent.cmake [new file with mode: 0644]