manifold-lang / manifold-backend-digital / 24

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
14 master Merge pull request #10 from mtrberzi/hotfix-service-interface hotfix: corrected typo in service definition file push mtrberzi travis-ci pending completion
13 master version bump 0.2.1 Pull #10 mtrberzi travis-ci pending completion
12 master hotfix: corrected typo in service definition file Pull #10 mtrberzi travis-ci pending completion
10 v0.1.0 Merge pull request #8 from mtrberzi/jar-manifest fix manifest to specify main class push mtrberzi travis-ci pending completion
11 master Merge pull request #9 from mtrberzi/service-interface Implement org.manifold.compiler.Backend service interface push mtrberzi travis-ci pending completion