/llvm-nts-PartialOrderReduction

Implements Partial Order Reduction on NTS formalism in order to ease LLVM model checking

Primary LanguageC++

This repository is not active