Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Aug 4, 2015

• Merge pull request #4 from stadlerb/patch-1

  Show description for 2569abf
  qutorial

  committed
  2569abf

  Copy full SHA for 2569abf

• Corrected missing quote in mbeddr_install.py

  stadlerb

  committed
  8425901

  Copy full SHA for 8425901

Commits on Jul 16, 2015

• Fortiss Stable branch used after an update

  

  Zaur Molotnikov

  committed
  39838e1

  Copy full SHA for 39838e1

• Updated CBMC version

  

  Zaur Molotnikov

  committed
  98d09d7

  Copy full SHA for 98d09d7

Commits on Apr 28, 2015

• Updating CBMC

  

  Zaur Molotnikov

  committed
  40af91b

  Copy full SHA for 40af91b

Commits on Mar 24, 2015

• Press enter message

  

  Zaur Molotnikov

  committed
  9e51f2e

  Copy full SHA for 9e51f2e

• Comment added

  

  Zaur Molotnikov

  committed
  f9d0841

  Copy full SHA for f9d0841

• Detecting XML Parser APIs JAR problem on Linux added

  

  Zaur Molotnikov

  committed
  cb63057

  Copy full SHA for cb63057

Commits on Mar 16, 2015

• Patches from Leaon

  

  Zaur Molotnikov

  committed
  018f671

  Copy full SHA for 018f671

Commits on Dec 11, 2014

• Cbmc updated to 4.9

  

  Zaur Molotnikov

  committed
  ddb4bbe

  Copy full SHA for ddb4bbe

• Sh updated

  

  Zaur Molotnikov

  committed
  639b62a

  Copy full SHA for 639b62a

Commits on Nov 19, 2014

• Spelling fix

  

  Zaur Molotnikov

  committed
  2e10e10

  Copy full SHA for 2e10e10

Commits on Nov 6, 2014

• Some more properties are getting configured

  

  Zaur Molotnikov

  committed
  55fa45f

  Copy full SHA for 55fa45f

Commits on Nov 5, 2014

• Modification of python search order

  

  Zaur Molotnikov

  committed
  d7912a6

  Copy full SHA for d7912a6

• Detecting python added

  

  Zaur Molotnikov

  committed
  3e644da

  Copy full SHA for 3e644da

• Aute setting git@ ssh push url

  

  Zaur Molotnikov

  committed
  9d38a2a

  Copy full SHA for 9d38a2a

Commits on Nov 4, 2014

• Build props fixed for Mac

  

  Zaur Molotnikov

  committed
  a5c95c4

  Copy full SHA for a5c95c4

• Path mods for Mac

  

  Zaur Molotnikov

  committed
  7aa6379

  Copy full SHA for 7aa6379

• Tuning for mps 3.1.5

  

  Zaur Molotnikov

  committed
  115f69e

  Copy full SHA for 115f69e

Commits on Nov 3, 2014

• 3.1.4 is the same, Contents added

  

  Zaur Molotnikov

  committed
  cdc5a53

  Copy full SHA for cdc5a53

• Back to 3.1.4 for mac

  

  Zaur Molotnikov

  committed
  9932eb9

  Copy full SHA for 9932eb9

• Return spelling

  

  Zaur Molotnikov

  committed
  4cee40e

  Copy full SHA for 4cee40e

• Spelling

  

  Zaur Molotnikov

  committed
  a451cdf

  Copy full SHA for a451cdf

• Contents Contents problem in MPS 3.1.5

  

  Zaur Molotnikov

  committed
  a032db8

  Copy full SHA for a032db8

Commits on Oct 17, 2014

• Depth 1 added to git clone

  

  Zaur Molotnikov

  committed
  36d6b76

  Copy full SHA for 36d6b76

Commits on Sep 29, 2014

• Merge branch 'cuttingedge'

  

  Zaur Molotnikov

  committed
  5b0e9ae

  Copy full SHA for 5b0e9ae

• Space bug in vm options

  

  Zaur Molotnikov

  committed
  5f53844

  Copy full SHA for 5f53844

• Uncommented tests

  

  Zaur Molotnikov

  committed
  0177268

  Copy full SHA for 0177268

• Fixed Line Endings

  

  Zaur Molotnikov

  committed
  d8f5c16

  Copy full SHA for d8f5c16

• Windows xmx fix

  

  Zaur Molotnikov

  committed
  136bacf

  Copy full SHA for 136bacf

Commits on Sep 28, 2014

• Update MPS 3.1.4

  

  Zaur Molotnikov

  committed
  1046f5c

  Copy full SHA for 1046f5c

Commits on Sep 18, 2014

• Merge branch 'cuttingedge'

  

  Zaur Molotnikov

  committed
  c4433b6

  Copy full SHA for c4433b6

• More clearly how to start

  

  Zaur Molotnikov

  committed
  8bed9e9

  Copy full SHA for 8bed9e9

• Merge branch 'cuttingedge'

  

  Zaur Molotnikov

  committed
  7dc6c40

  Copy full SHA for 7dc6c40

• Java 8

  

  Zaur Molotnikov

  committed
  a91a79c

  Copy full SHA for a91a79c