Issue636

Title Integrate P^m compilation
Priority feature Status unread
Superseder Nosy List gabi
Assigned To Keywords
Optional summary

Created on 2016-02-09.14:13:35 by gabi, last changed by gabi.

Messages
msg5172 (view) Author: gabi Date: 2016-02-09.14:13:35
In his Bachelor thesis, Raphael implemented the P^m compilation. Experimental
results show a higher coverage with the compilation and h^max than with the
existing h^m implementation, so it might be worth to integrate his implementation.
History
Date User Action Args
2016-02-09 14:13:35gabicreate