LearnLib / automatalib / 142

Builds Branch Commit Type Ran Committer Via Coverage
142 develop Adding documentation Emphasizing the fact that the abbreviation "PC" of the incremental PC* builder actually stands for 'prefix-closedness' (and not for 'partially connectness', etc.). push mtf90 travis-ci pending completion   set done
139 develop commons: fix codestyle push mtf90 travis-ci pending completion   set done
137 develop Compact overhaul (#29) * initial draft for encapsulating shared functionality * intermediate commit * some cleanup and test conformance * Finalizing changes - Removed AbstractCompactGenericDeterministic - Implement update operations ... push web-flow travis-ci pending completion   set done
136 compactOverhaul core: adjust for model-checking refactorings Pull #29 web-flow travis-ci pending completion   set done
135 develop Improvements to model checking. (#28) * Travis: use latest official LTSmin release. * Improve the API related to modelchecking. - Remove two parameters from interface Lasso. - Remove the return type parameter from the ModelChecker interf... push mtf90 travis-ci pending completion   set done
134 develop small cleanup/fix for MapMapping related code push mtf90 travis-ci pending completion   set done
133 develop use more idiomatic alphabet constructions - also adds coverage to CharStringRange push mtf90 travis-ci pending completion   set done
132 master use consistent terminology in javadoc Pull #28 web-flow travis-ci pending completion   set done
131 master fix several small issues adressed in PR review Pull #28 web-flow travis-ci pending completion   set done
129 develop update testng version and increase timeouts (#27) push mtf90 travis-ci pending completion   set done
128 fix-timeout-tests update testng version and increase timeouts Pull #27 web-flow travis-ci pending completion   set done
127 develop travis: override maven settings.xml via cp push mtf90 travis-ci pending completion   set done
123 develop bump javadoc plugin version push mtf90 travis-ci pending completion   set done
122 develop appveyor: update config - apparently, the .gitattributes file does not affect newlines on the CI VMs (contrary to "regular" clones) so use the old global setting again. - set clone_depth to 50 commits push mtf90 travis-ci pending completion   set done
120 develop Cleaning up visualization provider - making it clear that providers are looked up by their id, not their name. - add Javadoc to state that the #visualize method takes _additional_ helpers. - fixing a bug, where the Visualization class would evalu... push mtf90 travis-ci pending completion   set done