8000 Tags · utwente-fmt/ltsmin · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: utwente-fmt/ltsmin

Tags

v3.0.2

Toggle v3.0.2's commit message 
Fix issue where libxml2 was made a mandatory dependency.

v3.0.1

Toggle v3.0.1's commit message 
Update changelog for 3.0.1.

v3.0.0

Toggle v3.0.0's commit message 
Update flag for static linking in readme.

spin2017

Toggle spin2017's commit message 
Explicit State Model Checking with Generalized Büchi and Rabin Automata

kant-thesis-experiments

Toggle kant-thesis-experiments's commit message 
testsuite: increase tablesizes for Sylvan BDDs/LDDs.

hvc16

Toggle hvc16's commit message 
LTSmin version used for HVC'16 experiments

2.2beta

Toggle 2.2beta's commit message 
test

BW-NFM2016

Toggle BW-NFM2016's commit message 
test

LTSminProBiFM2016

Toggle LTSminProBiFM2016's commit message 
prob: add manpages

sylvan-tacas2016

Toggle sylvan-tacas2016's commit message 
sylvan: update to newest version

Changes:
- now supports MTBDDs (not used in LTSmin)
- Improved C++ interface
- Bugfixes in file load/store
- Better performance for sylvan_relprev
- Redesign of hash table to use bitmaps and support custom hash/equals functions
- Skip cache_put when hashes are identical again
0