GitHub - fgarnier/Nts_benchmarks: This repository contains a benchmark suite to demonstrate the possibilities offered by the Numerical Transition Library. All material is open source and is released under the LGPL v2 licence.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
Dualyzer		Dualyzer
IntDualyzer		IntDualyzer
Veridyc_simple		Veridyc_simple
locks		locks
ntdrivers-simplified		ntdrivers-simplified
ssh-simplified		ssh-simplified
.gitignore		.gitignore
LICENCE		LICENCE
README.md		README.md
Readme.txt		Readme.txt
compile_examples.py		compile_examples.py
test_dirs		test_dirs
test_passes.py		test_passes.py

Repository files navigation

About

This repository contains a benchmark suite to demonstrate the possibilities offered by the Numerical Transition Library. All material is open source and is released under the LGPL v2 licence.

View license