tuura / workcraft / 663

Builds Branch Commit Type Ran Committer Via Coverage
663 master Merge pull request #663 from danilovesky/wtg-plugin-experiment2 Plugin for WTG model push web-flow travis-ci pending completion
662 master Simplify DTD model-level properties Pull #663 web-flow travis-ci pending completion
661 master Changed intro comment in exported files Pull #663 web-flow travis-ci pending completion
659 master Merge pull request #662 from mvdan/tool-updates Various tool updates push web-flow travis-ci pending completion
658 master gradle: bump coveralls plugin to 2.8.1 Pull #662 web-flow travis-ci pending completion
657 master Corrected typo in doc submodule push danilovesky travis-ci pending completion
656 v3.1.3 Merge pull request #660 from danilovesky/tidy-error-messages Tidy up MPSat and Petrify error messages push web-flow travis-ci pending completion
655 master Merge pull request #660 from danilovesky/tidy-error-messages Tidy up MPSat and Petrify error messages push web-flow travis-ci pending completion
652 v3.1.3 Updated New work screenshots and various wiki icons push danilovesky travis-ci pending completion
651 master Updated New work screenshots and various wiki icons push danilovesky travis-ci pending completion
650 master Merge pull request #659 from danilovesky/import-concept-circuit Cleanup of concepts import to STG push web-flow travis-ci pending completion
649 master Add getDerivedName method to Model interface Pull #659 web-flow travis-ci pending completion
648 master Cleanup of concepts import to STG Pull #659 web-flow travis-ci pending completion
647 master Merge pull request #658 from danilovesky/circuit-stg-conversion Convert 1-output circuit gates to STG without pages push web-flow travis-ci pending completion
646 master Bump Workcraft version to 3.1.3 Pull #658 web-flow travis-ci pending completion