Skip to content
#

model-checker

Here are 31 public repositories matching this topic...

Language: All
Filter by language
All 31 C++ 7 Python 4 Rust 4 C 3 Java 2 Scala 2 Erlang 1 Isabelle 1 Kotlin 1 OCaml 1
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated
storm

moves-rwth / storm

Open

Change sparsepp to parallel hashmap. And use it.

tquatmann
tquatmann commented Oct 28, 2021

Sparsepp triggers a warning:

/Users/tim/storm/build-debug/include/resources/3rdparty/sparsepp/sparsepp/spp.h:942:33: warning: definition of implicit copy constructor for 'Two_d_destructive_iterator<std::__1::pair<const DdNode *const, bool>, spp::sparsegroup<std::__1::pair<const DdNode *const, bool>, spp::libc_allocator<std::__1::pair<const DdNode *const, bool>>> *, std::__1::pair<const DdNod
Read more
source code enhancement good first issue
Find more good first issues

bergfi / llmc

LLMC is a multi-core model checker of LLVM IR. It translates the input LLVM IR into a model LLVM IR that implements the DMC API, the API of the model checker DMC. This allows LLMC to execute the model's next-state function, instead of interpreting the input LLVM IR, enabling speedups of orders of magnitude.

model-checker llvm-ir
  • Updated Jun 1, 2021
  • C++

Improve this page

Add a description, image, and links to the model-checker topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the model-checker topic, visit your repo's landing page and select "manage topics."

Learn more