The mbeddr core. An extensible C
Java C TeX Groovy Shell PHP Other
Permalink
Failed to load latest commit information.
.teamcity TeamCity change in 'voluntis' project: project was moved to '<Root pr… Oct 11, 2016
build build: add scripts to fetch and publish pre-built third-party depende… Nov 28, 2016
buildSrc build(gradle): refactor Git-based versioning into a reusable class Nov 11, 2016
buildUtil build: added cbmc to mac dmg Mar 2, 2016
code IncA: scopes, constraints, interval analysis bugfixes Dec 8, 2016
documentation wiki: added figures for troubleshooting Oct 19, 2016
gradle/wrapper build: improve Gradle scripts Oct 25, 2016
icons exterminated all jpg files, replaced by (transparent) png Oct 9, 2014
licenses more licenses Feb 25, 2016
logos/2013 scripts for building a mac distribution Feb 11, 2016
patched_jars move jars into folder Oct 14, 2015
rcp more icons Feb 18, 2016
tools Merge remote-tracking branch 'origin/master' into refactor/mps341 Oct 28, 2016
versions Fixed jdk problem in installer for mac Apr 22, 2016
.gitattributes removing lfs filter from .gitattributes Feb 17, 2016
.gitignore build: add scripts to fetch and publish pre-built third-party depende… Nov 28, 2016
.gitmodules removed mps-incquery Nov 25, 2015
INSTALL Readmes corrected for installation Mar 4, 2014
Jenkinsfile build: building cbmc now also for mac and Windows on Jenkins Aug 19, 2016
README.md Update README.md Nov 28, 2015
about.txt more licenses Feb 25, 2016
build.gradle build: (gradle) change versioning scheme, refactor Nov 10, 2016
cbmc.groovy Add additional echo statement to check the path to the reference repo Aug 19, 2016
common.gradle build: jenkins file and build scripts for build guide Aug 2, 2016
default.groovy Split up Jenkinsfile Aug 19, 2016
download-java.sh added logging Jan 27, 2016
download-java.xml build extract jre with bash not ant Jan 26, 2016
download.gradle build: jenkins file and build scripts for build guide Aug 2, 2016
download.xml updated download.xml to use mps 3.4.2 Dec 5, 2016
gradle.properties.example gitignore: added gradle-related paths Aug 10, 2016
gradlew build: improve Gradle scripts Oct 25, 2016
gradlew.bat build: improve Gradle scripts Oct 25, 2016
license.html added license Mar 22, 2012
log.xml Dummy commit. Reason: teamcity should recognize actual state of the b… Sep 6, 2016
mbeddr.groovy build: possibility to hand over build specifier for maven artifact IDs Aug 19, 2016
nightly.groovy Split up Jenkinsfile Aug 19, 2016
settings.gradle build: add scripts to fetch and publish pre-built third-party depende… Nov 28, 2016
team.png added team picture May 31, 2016
teamcity-overwrite_version_parameter.sh refined documentation of teamcity-parameter-overwrite script Apr 2, 2015

README.md

Mbeddr core

To install: please, visit http://mbeddr.com for instructions!

mbeddr aims at creating a different way of developing embedded software systems. Instead of using archaic modeling tools and manually written C code, we use the open source JetBrains MPS language workbench to create an integrated approach to embedded development, where C programming, DSLs, domain specific extensions to C, product line variability, requirements traceability and model checking are supported directly.

At this point we are well ahead in developing an implementation of C in MPS which can then be used as a basis for domain-specific extensions. The development progress can be see from our blog page.

For more details please visit http://mbeddr.com