Commits

Branch selector

 mcmt

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 16, 2015

• fixed typo

  lememta

  committed
  a869bb2

  Copy full SHA for a869bb2

• fixed typo

  lememta

  committed
  2846f0f

  Copy full SHA for 2846f0f

• fixed encoding of state vars

  lememta

  committed
  0edd098

  Copy full SHA for 0edd098

• still working on mcmt

  lememta

  committed
  c2818a1

  Copy full SHA for c2818a1

Commits on Dec 12, 2015

• started printing something in mcmt

  lememta

  committed
  283ed91

  Copy full SHA for 283ed91

Commits on Dec 11, 2015

• generate only the top model

  lememta

  committed
  e55b603

  Copy full SHA for e55b603

• options for mcmt works and also forcing inlining

  lememta

  committed
  a338d58

  Copy full SHA for a338d58

• started on mcmt

  lememta

  committed
  4a300a8

  Copy full SHA for 4a300a8

• started on mcmt

  lememta

  committed
  1074244

  Copy full SHA for 1074244

Commits on Dec 8, 2015

• travis

  lememta

  committed
  7ec8e20

  Copy full SHA for 7ec8e20

Commits on Nov 16, 2015

• remove duplication

  lememta

  committed
  89bc26d

  Copy full SHA for 89bc26d

Commits on Oct 13, 2015

• changes to horn

  lememta

  committed
  4347ae0

  Copy full SHA for 4347ae0

Commits on Oct 9, 2015

• revereted to previous commit

  lememta

  committed
  9cb3463

  Copy full SHA for 9cb3463

Commits on Oct 7, 2015

• adjusted the makefile

  lememta

  committed
  9da827c

  Copy full SHA for 9da827c

• sync

  lememta

  committed
  d50b0dc

  Copy full SHA for d50b0dc

Commits on Sep 15, 2015

• add authors

  lememta

  committed
  8ccdfbe

  Copy full SHA for 8ccdfbe

Commits on May 5, 2015

• return value

  lememta

  committed
  a9b02b0

  Copy full SHA for a9b02b0

• fixed bug in travis

  lememta

  committed
  390e3ec

  Copy full SHA for 390e3ec

• Bug fixed (454), more on travis

  lememta

  committed
  e41592c

  Copy full SHA for e41592c

• build status

  

  lememta

  committed
  a1ea574

  Copy full SHA for a1ea574

• build status

  

  lememta

  committed
  f9707d8

  Copy full SHA for f9707d8

• smaller amount of compilers

  

  lememta

  committed
  e548bb7

  Copy full SHA for e548bb7

• added travis sh 2

  

  lememta

  committed
  90a93c6

  Copy full SHA for 90a93c6

• added travis sh

  

  lememta

  committed
  d230454

  Copy full SHA for d230454

• more travis

  

  lememta

  committed
  f7f851c

  Copy full SHA for f7f851c

• travis

  

  lememta

  committed
  36a0502

  Copy full SHA for 36a0502

• added travis

  lememta

  committed
  63b3db9

  Copy full SHA for 63b3db9

Commits on May 4, 2015

• first commit

  lememta

  committed
  e206850

  Copy full SHA for e206850

• Initial commit

  lememta

  committed
  dd3965e

  Copy full SHA for dd3965e