LouvainVerificationLab / pynusmv / 59

Builds Branch Commit Type Ran Committer Via Coverage
59 master remove coveralls for osx build on travis-ci. this should hopefully fix the build push xgillard travis-ci pending completion
58 master Merge branch 'master' of https://github.com/LouvainVerificationLab/pynusmv push xgillard travis-ci pending completion
57 master Merge pull request #3 from patriqdesigns/master Fixed a typo in one of the patch files and removed union wait. push web-flow travis-ci pending completion
56 master Fixed a typo, and the fact that the union wait was removed in cudd 2.5.0 and it seems to be for BSD compat Pull #3 web-flow travis-ci pending completion
55 master More tests on BDD loading. push sbusard travis-ci pending completion
54 master More checks on dumped BDD when loading. push sbusard travis-ci pending completion
53 master New format for BDD dump. The new format is: The content of the file is composed of: * the list of variables appearing in the BDD, one variable name per line; * the BDD itself, where each line is: ** TRUE: for the TRUE node ** FALSE: for the FALS... push sbusard travis-ci pending completion
52 master Fix small problems in pynusmv.init. push sbusard travis-ci pending completion
51 master Allow dumping BDDs based on next variables. push sbusard travis-ci pending completion
50 master Fix small issue with NuSMV Makefile: add missing "touch" for configuration. push sbusard travis-ci pending completion
49 master Fix small bugs in model module. push sbusard travis-ci pending completion
48 master Add test on utils.fixpoint. push sbusard travis-ci pending completion
47 master Remove executability of tests files to make nose discover them. push sbusard travis-ci pending completion
46 master More fixed bad smells. push sbusard travis-ci pending completion
45 master Fix some bad smells identified by Landscape. push sbusard travis-ci pending completion