• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

workcraft / workcraft
70%

Build:
DEFAULT BRANCH: master
Repo Added 06 Mar 2017 10:03AM UTC
Files 1044
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
  • No branch selected
  • all
  • bdd-distinct-expression
  • buffer-scanout
  • cflt-graph-wrap-string-vertices-in-vertex-record
  • cflt-parser-test-improvements
  • cflt-remove-cpd-check-exclusions
  • cflt-remove-redundant-dependencies
  • cflt-unify-stg-and-petri-parsers
  • circuit-connect-hanging-pins
  • circuit-minor-updates
  • circuit-property-ports
  • circuit-verilog-writer
  • cleanup-transformation-menu
  • command-submenus
  • connect-hanging-pins
  • connection-proxy-shortcut
  • dockable-title-update
  • fix-arbitration-attribute
  • fix-connection-proxy
  • fix-const-buffering
  • fix-detached-mapping
  • fix-expression-parser
  • fix-filename-whitespace
  • fix-gate-contraction
  • fix-gate-mapping-style
  • fix-merge-proxy
  • fix-proxy-contract
  • fix-redundant-serialisation
  • fix-select-empty-bb
  • genlib-maj3
  • gradle-v8.14.2
  • gradle-v8.14.3
  • gradle-v9.0
  • gradle-v9.1.0
  • gradle-v9.2.0
  • gradle-v9.2.1
  • gradle-v9.3.0
  • gradle-v9.3.1
  • gradle-v9.4.0
  • improve-gate-mapping
  • improve-log-performance
  • lib-add-gates
  • library-relative-path
  • mapping-sequential-gate
  • markdown-html-convert
  • master
  • mutex-wait-assigns
  • pmd-7.20
  • pmd-v7.19.0
  • reach-shadow-transitions
  • refactor-output-persistency
  • refactor-queue-usage
  • refactor-raw-use-parametrized-class
  • save-multiple-work
  • skip-const-buffering
  • split-node-command
  • stg-import-speedup
  • table-row-reorder
  • toolchain-description
  • tools-custom-dir
  • v3.1.4
  • v3.1.5
  • v3.1.6
  • v3.1.7
  • v3.1.8
  • v3.1.9
  • v3.2.0
  • v3.2.1
  • v3.2.2
  • v3.2.3
  • v3.2.4
  • v3.2.5
  • v3.2.6
  • v3.3.0
  • v3.3.1
  • v3.3.2
  • v3.4.1
  • v3.4.2
  • v3.5.0
  • v3.5.1
  • v3.5.2
  • v3.5.3
  • v3.5.4
  • validate-cli-options
  • vercion-more-rc

02 Apr 2026 07:45AM UTC coverage: 70.068% (+0.008%) from 70.06%
23889896220

push

github

web-flow
Merge pull request #1760 from danilovesky/genlib-maj3

Add majority gate to workcraft.lib

11344 of 19720 branches covered (57.53%)

30013 of 42834 relevant lines covered (70.07%)

3.02 hits per line

Relevant lines Covered
Build:
Build:
42834 RELEVANT LINES 30013 COVERED LINES
3.02 HITS PER LINE
Source Files on master
  • Tree
  • List 1044
  • Changed 13
  • Source Changed 0
  • Coverage Changed 13
Coverage ∆ File Lines Relevant Covered Missed Hits/Line Branch Hits Branch Misses

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
23889896220 master Merge pull request #1760 from danilovesky/genlib-maj3 Add majority gate to workcraft.lib push 02 Apr 2026 07:50AM UTC web-flow github
70.07
23860085588 genlib-maj3 Merge bb7408753 into 751e34964 Pull #1760 01 Apr 2026 05:00PM UTC web-flow github
70.07
23860052926 genlib-maj3 Merge 6ac6c3ce0 into 751e34964 Pull #1760 01 Apr 2026 04:51PM UTC web-flow github
70.06
23841140678 master Merge pull request #1759 from IgorWiecz/cflt-unify-stg-and-petri-parsers cflt: unify stg and petri parsers push 01 Apr 2026 09:16AM UTC web-flow github
70.06
23793401254 cflt-unify-stg-and-petri-parsers Merge 0d4635e31 into f3fa0727d Pull #1759 31 Mar 2026 10:52AM UTC web-flow github
70.06
23650577300 master Merge pull request #1757 from danilovesky/connect-hanging-pins Assign initial state to input ports from connected pins push 27 Mar 2026 02:20PM UTC web-flow github
70.04
23641043800 master Merge pull request #1758 from IgorWiecz/cflt-parser-test-improvements cflt: parameterize parser tests and extract shared base class push 27 Mar 2026 10:10AM UTC web-flow github
69.99
23640810538 connect-hanging-pins Merge 6231117af into 769db4458 Pull #1757 27 Mar 2026 10:02AM UTC web-flow github
70.05
23640472578 cflt-parser-test-improvements Merge f7bf5f1ff into 769db4458 Pull #1758 27 Mar 2026 09:52AM UTC web-flow github
70.01
23606396636 master Merge pull request #1756 from IgorWiecz/master cflt: replace exhaustive search with SAT solver and minor optimisations push 26 Mar 2026 04:46PM UTC web-flow github
70.01
See All Builds (1432)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc