Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jul 30, 2014

• Fix with the cbmc path

  

  Zaur Molotnikov

  committed
  db40413

  Copy full SHA for db40413

• Changed bat

  

  Zaur Molotnikov

  committed
  dd3bd17

  Copy full SHA for dd3bd17

Commits on Jul 29, 2014

• more

  

  Zaur Molotnikov

  committed
  b605c56

  Copy full SHA for b605c56

• Java detection for Windows

  

  Zaur Molotnikov

  committed
  5625199

  Copy full SHA for 5625199

• Fixed problem with paths for MPS

  

  Zaur Molotnikov

  committed
  fd95d7c

  Copy full SHA for fd95d7c

• Everything works but building

  

  Zaur Molotnikov

  committed
  9b8fc40

  Copy full SHA for 9b8fc40

Commits on Jul 28, 2014

• Running tests on Windows

  

  Zaur Molotnikov

  committed
  4fa26f5

  Copy full SHA for 4fa26f5

• Before changing the workflow

  

  Zaur Molotnikov

  committed
  38afd63

  Copy full SHA for 38afd63

Commits on Jul 25, 2014

• instructions about python3 extended

  

  Zaur Molotnikov

  committed
  86b54f0

  Copy full SHA for 86b54f0

• Before trying in Cygwin

  

  Zaur Molotnikov

  committed
  3b6cffc

  Copy full SHA for 3b6cffc

• Windows instructions started

  

  Zaur Molotnikov

  committed
  93e944f

  Copy full SHA for 93e944f

Loading