From 3b74ee2679bfc0fa7f0736383910b17d2a82a6d2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?D=C3=A9nes=20Harmath?= Date: Mon, 12 Oct 2015 01:50:03 +0200 Subject: [PATCH] Fix grammar & wording --- index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index 723a6c2..6cba91d 100644 --- a/index.html +++ b/index.html @@ -204,7 +204,7 @@

What is mbeddr?

mbeddr has support for requirements and product line definition, software documentation, implementation in C and C extensions such as state machines physical units or interfaces and - components, as well as testing, mocking, as well as formal verification. + components, as well as testing, mocking and formal verification.

@@ -322,7 +322,7 @@

Physical Units

Many embedded systems deal with quantities from the real world, and mbeddr comes with an extension for phyiscal units to help represent such quantities. Types as well as literals can be annotated with units. The seven SI units are - predefined, and users can define there own derived or convertible units. + predefined, and users can define their own derived or convertible units. The type system computes with these units and reports errors in the IDE. There is zero runtime overhead, since the generated code has no representation of the units. @@ -579,7 +579,7 @@

mbeddr Architecture and Extensibility

concerns. The default extensions layer consits of a set of predefined extensions of the core languages that can be used out-of-the-box to develop software. The user extension layer is empty, it is intended to - be filled by users. The backend layer consists of existing tools compilation and analysis tools + be filled by users. The backend layer consists of existing compilation and analysis tools which mbeddr uses. A more detailed description of mbeddr can be found in the papers section.