Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 17, 2015

• Merge pull request #15 from mtrberzi/smt2

  Show description for ea5074b
  mtrberzi

  committed
  ea5074b

  Copy full SHA for ea5074b

Commits on Mar 10, 2015

• use bufferedwriter

  mtrberzi

  committed
  09e3bcc

  Copy full SHA for 09e3bcc

Commits on Mar 9, 2015

• refactor: use variable argument in ParenList constructor

  mtrberzi

  committed
  d9f26d5

  Copy full SHA for d9f26d5

• remove symbol escaping logic

  mtrberzi

  committed
  deb3e24

  Copy full SHA for deb3e24

• smt2 code generation tests: OR

  mtrberzi

  committed
  1bc83fe

  Copy full SHA for 1bc83fe

Commits on Mar 8, 2015

• generation of SMT2 verification code for digital circuits

  Show description for b9180b5
  mtrberzi

  committed
  b9180b5

  Copy full SHA for b9180b5

• refactor: netlist building and type-table building outside codegen

  mtrberzi

  committed
  b50a135

  Copy full SHA for b50a135

• add unconnected input check to VHDL code generator

  mtrberzi

  committed
  704785f

  Copy full SHA for 704785f

• version bump 0.5.0

  mtrberzi

  committed
  ac96a05

  Copy full SHA for ac96a05

• Merge pull request #14 from mtrberzi/core-0.9

  Show description for af330a8
  mtrberzi

  committed
  af330a8

  Copy full SHA for af330a8

• Merge branch 'core-0.9' of github.com:mtrberzi/manifold-backend-digital into core-0.9

  mtrberzi

  committed
  cdc8606

  Copy full SHA for cdc8606

• remove local dependency folder since release of manifold-core-0.9

  mtrberzi

  committed
  f7411da

  Copy full SHA for f7411da

Commits on Jan 14, 2015

• remove flatDir

  mtrberzi

  committed
  3796e73

  Copy full SHA for 3796e73

Commits on Jan 11, 2015

• update to manifold-core-0.9

  mtrberzi

  committed
  c438bdb

  Copy full SHA for c438bdb

Commits on Oct 17, 2014

• Merge pull request #12 from mtrberzi/checkstyle-5.9

  Show description for 12b6859
  mtrberzi

  committed
  12b6859

  Copy full SHA for 12b6859

• checkstyle fixes

  mtrberzi

  committed
  794075f

  Copy full SHA for 794075f

• use checkstyle 5.9

  mtrberzi

  committed
  ac336c2

  Copy full SHA for ac336c2

Commits on Oct 10, 2014

• Merge pull request #11 from mtrberzi/service-interface-0.6.0

  Show description for 260933d
  mtrberzi

  committed
  260933d

  Copy full SHA for 260933d

• remove local dependency

  mtrberzi

  committed
  831e0a2

  Copy full SHA for 831e0a2

• re-enable integration test

  mtrberzi

  committed
  64bfdc8

  Copy full SHA for 64bfdc8

Commits on Oct 9, 2014

• port digital backend to 0.6.0 service interface

  mtrberzi

  committed
  15329b8

  Copy full SHA for 15329b8

• update dependency: manifold-core-0.6.0

  mtrberzi

  committed
  ae2f2c7

  Copy full SHA for ae2f2c7

• add ignore list for Eclipse project

  mtrberzi

  committed
  71c36a2

  Copy full SHA for 71c36a2

Commits on Oct 8, 2014

• Merge pull request #10 from mtrberzi/hotfix-service-interface

  Show description for 3ee1184
  mtrberzi

  committed
  3ee1184

  Copy full SHA for 3ee1184

• version bump 0.2.1

  mtrberzi

  committed
  fb36f60

  Copy full SHA for fb36f60

• hotfix: corrected typo in service definition file

  mtrberzi

  committed
  d83915e

  Copy full SHA for d83915e

Commits on Sep 24, 2014

• Merge pull request #9 from mtrberzi/service-interface

  Show description for 3530187
  mtrberzi

  committed
  3530187

  Copy full SHA for 3530187

Commits on Sep 16, 2014

• remove dead code

  mtrberzi

  committed
  caf0dba

  Copy full SHA for caf0dba

Commits on Sep 15, 2014

• implement manifold-core backend service interface

  mtrberzi

  committed
  08ef7fa

  Copy full SHA for 08ef7fa

• version bump: 0.2.0

  mtrberzi

  committed
  7ffb3b1

  Copy full SHA for 7ffb3b1

Commits on Sep 8, 2014

• Merge pull request #8 from mtrberzi/jar-manifest

  Show description for bcdb0ef
  mtrberzi

  committed
  bcdb0ef

  Copy full SHA for bcdb0ef

• fix manifest to specify main class

  mtrberzi

  committed
  c60b21f

  Copy full SHA for c60b21f

Commits on Sep 4, 2014

• Merge pull request #7 from mtrberzi/digital-backend-tests

  Show description for a528ec3
  mtrberzi

  committed
  a528ec3

  Copy full SHA for a528ec3

Commits on Sep 2, 2014

• fix type in build file

  Show description for 926f353
  mtrberzi

  committed
  926f353

  Copy full SHA for 926f353

• digital backend tests

  mtrberzi

  committed
  6a5978f

  Copy full SHA for 6a5978f

Pagination

Previous

Next