Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 3, 2024

• Revert "Redirect to the mbeddr organisation page."

  Show description for bd74e4f
  alexanderpann

  committed
  bd74e4f

  Copy full SHA for bd74e4f

Commits on Sep 18, 2023

• Redirect to the mbeddr organisation page.

  alexanderpann

  committed
  bc75a1e

  Copy full SHA for bc75a1e

Commits on Mar 12, 2023

• Add the webrick gem which is now needed to run the site

  alexanderpann

  committed
  dfa143a

  Copy full SHA for dfa143a

Commits on Apr 9, 2020

• remove iconchar from docs

  coolya

  authored
  38d2b64

  Copy full SHA for 38d2b64

Commits on Nov 29, 2018

• updated the instructions for installing mbeddr with the installer and via plugins distribution

  danielratiu

  committed
  a5e4580

  Copy full SHA for a5e4580

• Merge branch 'master' of https://github.com/mbeddr/mbeddr.github.io

  danielratiu

  committed
  20cafa9

  Copy full SHA for 20cafa9

• Added information for downloading the mbeddr release 2018.2.0, updated instructions for building mbeddr from sources (using gradle), added a link to the screencast with MDCC.

  danielratiu

  committed
  c17db9f

  Copy full SHA for c17db9f

Commits on Aug 2, 2018

• Merge pull request #3 from eugenschindler/patch-1

  Show description for 3a30a2c
  krinara86

  authored
  3a30a2c

  Copy full SHA for 3a30a2c

• add link to diagram editor + querylist usage tutorial

  eugenschindler

  authored
  a949467

  Copy full SHA for a949467

Commits on Apr 27, 2018

• added exported interpreter docs

  enikao

  committed
  d89da01

  Copy full SHA for d89da01

Commits on Nov 29, 2017

• cleanup

  danielratiu

  committed
  9cf4a5a

  Copy full SHA for 9cf4a5a

Commits on Nov 19, 2017

• added infos about mbeddr-2017.2.0 release

  danielratiu

  committed
  346736a

  Copy full SHA for 346736a

Commits on Nov 8, 2017

• fixing a typo

  danielratiu

  committed
  4fdc691

  Copy full SHA for 4fdc691

• added the missing papers about the mbeddr-debugger and infrastructure

  danielratiu

  committed
  2b74802

  Copy full SHA for 2b74802

Commits on Oct 29, 2017

• added known issue about missing CBMC in the windows installer

  danielratiu

  committed
  4094fda

  Copy full SHA for 4094fda

Commits on Oct 28, 2017

• added the testing DSLs paper

  danielratiu

  committed
  8ea0236

  Copy full SHA for 8ea0236

Commits on Sep 15, 2017

• added known issue about missing CBMC in the windows installer

  danielratiu

  committed
  c20507c

  Copy full SHA for c20507c

Commits on Sep 6, 2017

• added link to the youtube video

  danielratiu

  committed
  28432b2

  Copy full SHA for 28432b2

• moving the review to generated code into its place

  danielratiu

  committed
  63f8f17

  Copy full SHA for 63f8f17

Commits on Sep 5, 2017

• added info about the support for reviewing side-by-side the high-level-models and corresponding generated artifacts

  danielratiu

  committed
  992e8c1

  Copy full SHA for 992e8c1

Commits on Aug 22, 2017

• make download page point to the 2017.1.0 release

  danielratiu

  committed
  0f55331

  Copy full SHA for 0f55331

• Merge remote-tracking branch 'origin/master'

  Show description for e5faa87
  danielratiu

  committed
  e5faa87

  Copy full SHA for e5faa87

• make download page point to the 2017.1.0 release

  danielratiu

  committed
  ec89bf1

  Copy full SHA for ec89bf1

Commits on Aug 21, 2017

• reworked source installation part

  DomenikP

  committed
  25f5331

  Copy full SHA for 25f5331

• added 2017.1 release

  danielratiu

  committed
  bc32c36

  Copy full SHA for bc32c36

• reworked new downloads section

  DomenikP

  committed
  63b8955

  Copy full SHA for 63b8955

Commits on Aug 19, 2017

• re-organizing the download page

  danielratiu

  committed
  2c7f72e

  Copy full SHA for 2c7f72e

Commits on Apr 26, 2017

• added the paper about mbeddr-Spin

  danielratiu

  committed
  d501733

  Copy full SHA for d501733

• added the paper about the lessons learnt from building mbeddr

  danielratiu

  committed
  2fecce7

  Copy full SHA for 2fecce7

Commits on Jan 22, 2017

• fixing the required version for CBMC

  danielratiu

  committed
  5476185

  Copy full SHA for 5476185

Commits on Sep 22, 2016

• fixed DASIA date

  markusvoelter

  committed
  355753e

  Copy full SHA for 355753e

Commits on Sep 8, 2016

• dasia paper

  markusvoelter

  committed
  b36e1bc

  Copy full SHA for b36e1bc

• dasia paper

  markusvoelter

  committed
  c766aa5

  Copy full SHA for c766aa5

Commits on Aug 30, 2016

• fixes link

  

  Tamas Szabo

  committed
  08d4d30

  Copy full SHA for 08d4d30

• adds info about new papers

  

  Tamas Szabo

  committed
  9956d7c

  Copy full SHA for 9956d7c

Pagination

Previous

Next