manifold-lang / manifold-backend-digital
76%

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

24

push

travis-ci

mtrberzi 
Merge pull request #15 from mtrberzi/smt2

Generate SMT2 expressions for digital circuits

566 of 745 relevant lines covered (75.97%)

0.76 hits per line

Relevant lines Covered
745 RELEVANT LINES 566 COVERED LINES
0.76 HITS PER LINE
Source Files on master
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
24 master Merge pull request #15 from mtrberzi/smt2 Generate SMT2 expressions for digital circuits push mtrberzi travis-ci pending completion  
23 master use bufferedwriter Pull #15 mtrberzi travis-ci pending completion  
22 master smt2 code generation tests: OR Pull #15 mtrberzi travis-ci pending completion  
21 master Merge pull request #14 from mtrberzi/core-0.9 Use manifold-core-0.9 push mtrberzi travis-ci pending completion  
20 master Merge branch 'core-0.9' of github.com:mtrberzi/manifold-backend-digital into core-0.9 Pull #14 mtrberzi travis-ci pending completion  
19 master remove flatDir Pull #14 mtrberzi travis-ci pending completion  
18 master Merge pull request #12 from mtrberzi/checkstyle-5.9 Checkstyle 5.9 push mtrberzi travis-ci pending completion  
17 master checkstyle fixes Pull #12 mtrberzi travis-ci pending completion  
16 master Merge pull request #11 from mtrberzi/service-interface-0.6.0 Service interface 0.6.0 push mtrberzi travis-ci pending completion  
15 master remove local dependency Pull #11 mtrberzi travis-ci pending completion  
See All Builds (23)