commit | 5f87abcd84edcae1020292e26655a35966d8fabd | [log] [tgz] |
---|---|---|
author | Francois Le Fevre - CEA <francois.le-fevre@cea.fr> | Thu Oct 13 10:22:46 2016 +0200 |
committer | Francois Le Fevre - CEA <francois.le-fevre@cea.fr> | Thu Oct 13 10:25:09 2016 +0200 |
tree | 3de6194ca59a3ec8163fe5500c5b542741dc71a2 | |
parent | d414d536361817bfc2c6f5fdc7003713292f75a7 [diff] |
Bug 501806 - [Modeling][releng] creation of the template project -reactivating the repo -adding all eclipse stuff to ease the managementr of the projects Change-Id: Id5c50bc4e2eb6ed7748179bf7f6805f927b812d6 Signed-off-by: Francois Le Fevre - CEA <francois.le-fevre@cea.fr>
##Description
Eclipse Formal Modeling is a project dedicated to modeling and analyzing formally communicating systems. The general purpose of E-FMP project is to develop a series of formal analysis tools and enable a broader use of them thanks to their integration with the Eclipse modeling technologies.