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
Detailed source file information is not available for this build.

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)