pascalpoizat / veca-haskell
65%

DEFAULT BRANCH: master
Repo Added
Files 16
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH master
branch: SELECT
CHANGE BRANCH
x

172

push

travis-ci

pascalpoizat 
correct comment

471 of 729 relevant lines covered (64.61%)

0.65 hits per line

Relevant lines Covered
729 RELEVANT LINES 471 COVERED LINES
0.65 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
172 master correct comment push pascalpoizat travis-ci pending completion  
164 v1.0.3 chore: move to version 1.0.3 closes #32 push pascalpoizat travis-ci pending completion  
163 master chore: move to version 1.0.3 closes #32 push pascalpoizat travis-ci pending completion  
162 master feat: add observers for done actions in the transformation into timed automata BREAKING CHANGE: changes Eq instance for LTS and TA (stronger) closes #35 push pascalpoizat travis-ci pending completion  
161 master ci: show only failed tests push pascalpoizat travis-ci pending completion  
160 master ci: show only failed tests push pascalpoizat travis-ci pending completion  
159 master Merge branch 'master' of https://github.com/pascalpoizat/veca-haskell push pascalpoizat travis-ci pending completion  
158 master feat: add variables (assignment in edges) in timed automata closes #33 push pascalpoizat travis-ci pending completion  
157 master refactor: clean up code push pascalpoizat travis-ci pending completion  
156 master fix: add indexing by subcomponent id when the op is not bound closes #31 push pascalpoizat travis-ci pending completion  
See All Builds (89)