Commits · 38f4773229a3c77b0c948532bd9fa3312a51753a · Descartes Research / prisma-core · GitLab

Snippets Groups Projects

Dec 02, 2015
- Fix unresolved parts of target platform. · 38f47732
  Simon Spinner authored 9 years ago
  
  38f47732
- Merge branch 'master' of https://se3.informatik.uni-wuerzburg.de/sis76cq/prisma.git · b8e8f10b
  Simon Spinner authored 9 years ago
  
  b8e8f10b
- Merge branch 'master' of https://se3.informatik.uni-wuerzburg.de/sis76cq/prisma.git · 4944f21e
  Simon Spinner authored 9 years ago
  
  4944f21e
- Fix naming of assembly contexts to use composite component name. · af36472b
  Simon Spinner authored 9 years ago
  
  af36472b
Dec 01, 2015
- Add TPD target platform file. · bb2ea4a7
  Simon Spinner authored 9 years ago
  
  bb2ea4a7
- Merge branch 'master' of · 5d10a84e
  Simon Spinner authored 9 years ago
  
  https://sis76cq@se3.informatik.uni-wuerzburg.de/sis76cq/prisma.git Conflicts: tools.descartes.prisma.parameterization/src/tools/descartes/prisma/parameterization/Main.java
  5d10a84e
- Fix non-unique keys for external calls. · 540b56bf
  Simon Spinner authored 9 years ago
  
  540b56bf
Nov 22, 2015
- Clean up of code (remove obsolete parts) · ac834bcf
  Simon Spinner authored 9 years ago
  
  ac834bcf
Nov 12, 2015
- Remove obsolete extraction code. · a833538c
  Simon Spinner authored 9 years ago
  
  a833538c
Nov 11, 2015
- Commit State for SIGMETRICS PER. · 9c9d76f1
  Simon Spinner authored 9 years ago
  
  View commits for tag SIGMETRICS_PER SIGMETRICS_PER
  
  9c9d76f1
Oct 15, 2015
- Update dependency versions. · 7c75e025
  Simon Spinner authored 9 years ago
  
  7c75e025
- Updated target platform. · b17a065a
  Simon Spinner authored 9 years ago
  
  b17a065a
- Add project files of tools.descartes.prisma.parameterization. · f456427a
  Simon Spinner authored 9 years ago
  
  f456427a
- Add mapping classes for instrumentation. · 2fb9a913
  Simon Spinner authored 9 years ago
  
  2fb9a913
- Updated META-INF · 775acee5
  Simon Spinner authored 9 years ago
  
  775acee5
- Extended version of WorkloadDescriptionDerivation. · 3c01945f
  Simon Spinner authored 9 years ago
  
  3c01945f
- Log statistics a full minutes. · 4597c448
  Simon Spinner authored 9 years ago
  
  4597c448
- Add possibility to open read-only views. · 4b0e55ab
  Simon Spinner authored 9 years ago
  
  4b0e55ab
Sep 21, 2015
- Latest changes to model extraction service. · 78db13d2
  Simon Spinner authored 9 years ago
  
  78db13d2
- Adapt hard-coded component names. · fe547be2
  Simon Spinner authored 9 years ago
  
  fe547be2
- Adapt to API changes. · b9269054
  Simon Spinner authored 9 years ago
  
  b9269054
- Add container template · 6ae98e4d
  Simon Spinner authored 9 years ago
  
  6ae98e4d
Sep 20, 2015
- Adapt to changes in API. · f5b6f2d8
  Simon Spinner authored 9 years ago
  
  f5b6f2d8
- More functions to avoid duplications of templates. Also introduce · 77d802ad
  Simon Spinner authored 9 years ago
  
  merging algorithm for fine grained behavior.
  77d802ad
- Introduce NamedElementTemplate and ensure the equals and hashcode are · aa44089a
  Simon Spinner authored 9 years ago
  
  correctly implemented for repository templates.
  aa44089a
- Change repository classes to avoid duplication of templates. · 58df3125
  Simon Spinner authored 9 years ago
  
  58df3125
- Add a Status flag to distinguish between CREATE, EXISTS and REMOVE. · aada6752
  Simon Spinner authored 9 years ago
  
  aada6752
Sep 14, 2015
- Add templates for active resource specifications. · 5327e74e
  Simon Spinner authored 9 years ago
  
  5327e74e
- Bug fix: Name query signature with interface prefix. · b0da9cbf
  Simon Spinner authored 9 years ago
  
  b0da9cbf
Sep 11, 2015
- Add mysql agent. · 30717777
  Simon Spinner authored 9 years ago
  
  30717777
- First version using CDO repository. · 77c8680e
  Simon Spinner authored 9 years ago
  
  77c8680e
- Fixes to templates · 78213402
  Simon Spinner authored 9 years ago
  
  78213402
- Add a couple of git ignores. · 4eb6306b
  Simon Spinner authored 9 years ago
  
  4eb6306b
- Add additional child modules for server product. · 154a10e7
  Simon Spinner authored 9 years ago
  
  154a10e7
- Add prisma server product definition. · 2aab673e
  Simon Spinner authored 9 years ago
  
  2aab673e
- Add a feature the bundles all necessary features and plugins for a cdo · f372c30c
  Simon Spinner authored 9 years ago
  
  server.
  f372c30c
- Add platform executables to target platform. · e446276e
  Simon Spinner authored 9 years ago
  
  e446276e
Sep 10, 2015
- Rename all classes to Template suffix. · 9562b2f4
  Simon Spinner authored 9 years ago
  
  9562b2f4
- Rename commands package to templates. · c240b05a
  Simon Spinner authored 9 years ago
  
  c240b05a
- Add deployment and resource landscape templates. Fix bugs in other · 4c4b29ff
  Simon Spinner authored 9 years ago
  
  templates.
  4c4b29ff