General

Profile

Mohammed Foughali

  • Registered on: 2015-04-28
  • Last connection: 2019-08-09

Issues

Projects

Activity

2017-04-21

18:43 GenoM3 Validation and Verification Revision cc873168 [abstracted] (genom3-fiacre-template): parallel primitive removed for first element in the composition (multicomp)
Mohammed Foughali

2017-04-20

18:18 GenoM3 Validation and Verification Revision be145a61 (genom3-fiacre-template): several abstractions to enable comparison with the UPPAAL model
Mohammed Foughali

2017-02-21

16:46 GenoM3 Validation and Verification Revision 4d49ba4d [2.99.26] (genom3-fiacre-template): remove multiplications (strange values are generated anyway. the best solution is to express the constraints within .gen files using "s" instead of "ms")
Mohammed Foughali
16:41 GenoM3 Validation and Verification Revision 43f25493 (genom3-fiacre-template): dormant mistake (since 11/2015). fortunately no influence on the ICFEM results.
Mohammed Foughali

2017-02-10

11:39 GenoM3 Validation and Verification Revision c2228aef (genom3-fiacre-template): typos
Mohammed Foughali

2017-02-09

18:32 GenoM3 Validation and Verification Revision 270c1f4b (genom3-fiacre-template): few corrections + wcet multiplied by 1000 to avoid an output in the exponent form
Mohammed Foughali
17:34 GenoM3 Validation and Verification Revision 3c819fb0 (genom3-fiacre-template): several improvements.
Mohammed Foughali

2016-11-07

10:52 GenoM3 Validation and Verification Revision e4a5d3de (genom3-fiacre-template): push
Mohammed Foughali

2016-09-12

16:07 GenoM3 Validation and Verification Revision 9b5f63f8 (genom3-fiacre-template): misplaced comma (serviceless modules)
Mohammed Foughali

2016-09-08

12:39 GenoM3 Validation and Verification Revision b60cde3d (genom3-fiacre-template): missing semicolon
Mohammed Foughali

Also available in: Atom