Commits · integration_vm_isolation · Descartes Research / qpme-core

01 Dec, 2017 1 commit
- integrated priority scheduling · 95a621d4
  Simon Eismann authored Dec 01, 2017
  
  95a621d4
14 May, 2013 2 commits
- Fix return code handling in simqpn · af73d431
  Simon Spinner authored May 14, 2013
  
  af73d431
- Fixed migration for models including probes · e4d17e99
  Simon Spinner authored May 14, 2013
  
  e4d17e99
17 Apr, 2013 17 commits

Removed duplicate files. · 86f633a8
Simon Spinner authored Apr 17, 2013

86f633a8
Merge branch 'develop' of https://bitbucket.org/sspinner/qpme-core into develop · 8b58a435
Simon Spinner authored Apr 17, 2013

8b58a435

Imported from SVN by Bitbucket · dc4bbe1c

spinners authored Apr 17, 2013

git-svn-id: https://svnserver.informatik.kit.edu/i43/svn/descartes/code/qpme/eclipse-src/core/trunk@11266 9e42b895-fcda-4063-8a3b-11be15eb1bbd

dc4bbe1c

Removed unnessecary white-spaces · d38fb51c

spinners authored Apr 17, 2013

git-svn-id: https://svnserver.informatik.kit.edu/i43/svn/descartes/code/qpme/eclipse-src/core/trunk@11264 9e42b895-fcda-4063-8a3b-11be15eb1bbd

d38fb51c

Removed duplicate version.txt and README.txt · a6e62d6a

spinners authored Apr 17, 2013

git-svn-id: https://svnserver.informatik.kit.edu/i43/svn/descartes/code/qpme/eclipse-src/core/trunk@11263 9e42b895-fcda-4063-8a3b-11be15eb1bbd

a6e62d6a

Removed duplicate files. · c02ede9e

spinners authored Apr 17, 2013

git-svn-id: https://svnserver.informatik.kit.edu/i43/svn/descartes/code/qpme/eclipse-src/core/trunk@11262 9e42b895-fcda-4063-8a3b-11be15eb1bbd

c02ede9e

Imported from SVN by Bitbucket · 8bc2e42c

spinners authored Apr 17, 2013

git-svn-id: https://svnserver.informatik.kit.edu/i43/svn/descartes/code/qpme/eclipse-src/core/trunk@11261 9e42b895-fcda-4063-8a3b-11be15eb1bbd

8bc2e42c

Merge branch 'master' into svn/master · 7cabd1c2
Simon Spinner authored Apr 17, 2013

7cabd1c2

Removed duplicate version.txt and README.txt · c35e61e8

spinners authored Apr 17, 2013

From: Simon Spinner <simon.spinner@kit.edu>

git-svn-id: https://svnserver.informatik.kit.edu/i43/svn/descartes/code/qpme/eclipse-src/core/trunk@11258 9e42b895-fcda-4063-8a3b-11be15eb1bbd

c35e61e8

Removed duplicate version.txt and README.txt · f6cde7e1
Simon Spinner authored Apr 17, 2013

f6cde7e1
Merge commit 'd736a220 ' · 62d797fc
Simon Spinner authored Apr 17, 2013

62d797fc

Removed duplicate files. · d736a220

spinners authored Apr 17, 2013

From: Simon Spinner <simon.spinner@kit.edu>

git-svn-id: https://svnserver.informatik.kit.edu/i43/svn/descartes/code/qpme/eclipse-src/core/trunk@11257 9e42b895-fcda-4063-8a3b-11be15eb1bbd

d736a220

Update feature definitions so that launch from Eclipse works. · 8fdd00cb

spinners authored Apr 17, 2013

From: Simon Spinner <simon.spinner@kit.edu>

git-svn-id: https://svnserver.informatik.kit.edu/i43/svn/descartes/code/qpme/eclipse-src/core/trunk@11256 9e42b895-fcda-4063-8a3b-11be15eb1bbd

8fdd00cb

Squashed commit of the following: · 5decdc50

spinners authored Apr 17, 2013

commit 07b7479f
Merge: 1f554431 f07f3503
Author: Simon Spinner <simon.spinner@kit.edu>
Date:   Wed Apr 17 14:59:16 2013 +0200

    Merged separate branches from svn and git

commit 1f554431
Author: sspinner <simon.spinner@kit.edu>
Date:   Fri Mar 22 09:13:25 2013 +0100

    Imported from SVN by Bitbucket

From: Simon Spinner <simon.spinner@kit.edu>

git-svn-id: https://svnserver.informatik.kit.edu/i43/svn/descartes/code/qpme/eclipse-src/core/trunk@11255 9e42b895-fcda-4063-8a3b-11be15eb1bbd

5decdc50

Merged master into develop · d2df5656
Simon Spinner authored Apr 17, 2013

d2df5656
Merged separate branches from svn and git · 07b7479f
Simon Spinner authored Apr 17, 2013

07b7479f
Removed duplicate files. · 15f3830a
Simon Spinner authored Apr 17, 2013

15f3830a

12 Apr, 2013 1 commit
- Update feature definitions so that launch from Eclipse works. · bd85d1e5
  Simon Spinner authored Apr 12, 2013
  
  bd85d1e5
22 Mar, 2013 1 commit
- Imported from SVN by Bitbucket · 1f554431
  sspinner authored Mar 22, 2013
  
  1f554431
21 Jan, 2013 16 commits

Removed obsolete qpme.target · f07f3503