RESSAC/RESSAC_Use_Case
1
0
Fork 0
mirror of http://172.16.200.102/RESSAC/RESSAC_Use_Case.git synced 2025-11-30 20:57:58 +01:00
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 522b3b22d7 Add files via upload Emmanuel Ledinot 2017-07-25 09:26:06 +02:00
  • 1081a075d5 Update DESIGN.txt for F_CM Anthony Leonardo Gracio 2017-07-20 10:14:30 +02:00
  • d3c468eca7 Layer2_MMS_SW_SPARK: update F_FC after answers on #28 Claire Dross 2017-07-17 12:54:17 +02:00
  • 512eb5bc57 Layer2_MMS_SW_SPARK: Add missing parts of F_FC functional behavior Claire Dross 2017-07-13 17:37:03 +02:00
  • 1495ed8203 Layer2_MMS_SW_SPARK: update after answers on #28 Claire Dross 2017-07-13 14:20:08 +02:00
  • 916d6c8fc3 Layer2_MMS_SW_SPARK: update F_FC behavior Claire Dross 2017-07-12 10:45:26 +02:00
  • 0c53c4fdd4 Layer2_MMS_SW_SPARK: Reorganize F_FC behavior Claire Dross 2017-07-06 14:05:49 +02:00
  • d821e7d5b6 Layer2_MMS_SW_SPARK: Split functional behavior of F_MM in distinct parts Claire Dross 2017-07-05 17:00:02 +02:00
  • 0b6802ab36 Layer2_MMS_SW_SPARK: fix contracts after answers on #26 Claire Dross 2017-07-04 18:04:03 +02:00
  • 9054879160 Layer2_MMS_SW_SPARK update DESIGN.txt for F_CM Anthony Leonardo Gracio 2017-07-04 11:49:30 +02:00
  • 67c4118480 Layer2_MMS_SW_SPARK: continue the specification of F_MM Claire Dross 2017-06-29 18:01:26 +02:00
  • 813e5522d8 Layer2_MMS_SW_SPARK behavioural specification of F_EL Anthony Leonardo Gracio 2017-06-28 14:57:09 +02:00
  • 67991b4c1e Layer2_MMS_SW_SPARK behavioural specification of F_EM Anthony Leonardo Gracio 2017-06-28 12:05:22 +02:00
  • e82c73fadd Layer2_MMS_SW_SPARK: take into account answers for #22 Claire Dross 2017-06-28 15:51:57 +02:00
  • a069f7a017 Merge pull request #21 from JoseRuizAdaCore/patch-1 Anthony Leonardo Gracio 2017-06-28 15:08:31 +02:00
  • 55df3d8cf9 Layer2_MMS_SW_SPARK behavioural specification of F_FC Claire Dross 2017-06-27 18:02:55 +02:00
  • 2db3a72f11 Fix typos JoseRuizAdaCore 2017-06-27 12:47:27 +02:00
  • 0ce8629fab Fix typos JoseRuizAdaCore 2017-06-27 12:38:06 +02:00
  • bbcca90ab7 Layer2_MMS_SW_SPARK add external volatile state for captors Claire Dross 2017-06-26 18:01:29 +02:00
  • 2d57e931a7 Layer2_MMS_SW_SPARK: types for physical parameters Claire Dross 2017-06-23 17:12:31 +02:00
  • c14ca6e613 Layer2_MMS_SW_SPARK add behavior for F_FC Claire Dross 2017-06-22 18:02:45 +02:00
  • dcc3196083 Layer2_MMS_SW_SPARK update parameter data items Claire Dross 2017-06-22 17:12:02 +02:00
  • 673d65e88d Add files via upload ledinot 2017-06-22 09:09:33 +02:00
  • 49c9ca4085 Layer2_MMS_SW_SPARK minor update f_fc.data types Claire Dross 2017-06-20 18:06:14 +02:00
  • 1dbbffd9a1 Layer2_MMS_SW_SPARK add parameter items for F_MM Claire Dross 2017-06-20 16:37:50 +02:00
  • fffbf2ce3c SPARK layer2: describe activity of input/output analysis Claire Dross 2017-06-19 15:35:34 +02:00
  • 8070372543 Identify entities and supply a SPARK specification for F_MM Claire Dross 2017-06-16 14:43:34 +02:00
  • 8cb01c5cfa Identify constants used by MMS.F_EL Anthony Leonardo Gracio 2017-06-16 11:41:54 +02:00
  • c5af403294 Reformat comments Anthony Leonardo Gracio 2017-06-16 11:41:33 +02:00
  • 3b349cfd8b Identify constants used by MMS.F_PT.F_EM Anthony Leonardo Gracio 2017-06-16 10:55:47 +02:00
  • a4d0ff0ce9 Identifty the constants used by MMS.F_PT.F_FC Anthony Leonardo Gracio 2017-06-16 10:43:24 +02:00
  • 6035ffd164 Take into account Rotactors and use the same type for energy sources Anthony Leonardo Gracio 2017-06-16 10:42:15 +02:00
  • ed2db6882c Process_Definition_Document.draft4-5 fpothon 2017-06-15 16:04:16 +02:00
  • b172c3f8cd Add files via upload ledinot 2017-06-14 22:58:41 +02:00
  • 65a77f9967 List the entities in Ada specification files Anthony Leonardo Gracio 2017-06-13 11:03:03 +02:00
  • 74aa074811 Add files via upload ledinot 2017-05-15 08:53:03 +02:00
  • 50ddf011ad Add files via upload ledinot 2017-05-15 08:51:55 +02:00
  • 0d433e4c71 Add files via upload ledinot 2017-05-15 08:50:06 +02:00
  • 6a70babfec add READMEs in new directories CyrilleComar 2017-04-25 16:23:42 +02:00
  • d54ff2a3a9 organization changes CyrilleComar 2017-04-25 16:02:05 +02:00
  • 5a9dc2bdaa Add files via upload fpothon 2017-03-18 22:06:49 +01:00
  • 431283b8ad Add files via upload fpothon 2017-01-10 17:39:28 +01:00
  • 5a6650bf81 Process Definition Draft 2 fpothon 2016-12-16 11:54:17 +01:00
  • 0c26279c88 Delete RESSAC_Process_Definition_Document draft 0.docx fpothon 2016-11-14 15:20:25 +01:00
  • 63164b49fc Add files via upload fpothon 2016-11-14 15:19:36 +01:00
  • 3777e9020c Revert "1st attempts of modelization" anneperrineporte 2016-11-08 12:04:45 +01:00
  • 1bf80ed536 Revert "Revert "1st attempts of modelization"" anneperrineporte 2016-11-08 12:04:37 +01:00
  • 01028de251 Merge branch 'master' of https://github.com/AdaCore/RESSAC_Use_Case anneperrineporte 2016-11-08 11:31:54 +01:00
  • 3c0e003fc6 Add files via upload fpothon 2016-11-07 18:07:47 +01:00
  • fef6de0682 Add files via upload fpothon 2016-11-03 14:39:58 +01:00
  • aaf3c3ffd0 Reviews on specification anneperrineporte 2016-10-19 17:07:59 +02:00
  • d5554a58f8 Update README.md ledinot 2016-10-19 15:58:24 +02:00
  • 29dc350212 Update README.md ledinot 2016-10-19 15:53:25 +02:00
  • dcb34886d2 Fixed some typos (With tracked changes) DuncBrown 2016-10-19 15:40:59 +02:00
  • 49a2a0927a remarks on specification anneperrineporte 2016-10-19 15:22:18 +02:00
  • 7e0b548698 Revert "1st attempts of modelization" anneperrineporte 2016-10-19 14:54:21 +02:00
  • 13d59d126d 1st attempts of modelization anneperrineporte 2016-10-19 14:15:46 +02:00
  • 1339fe1938 RR Logo Change DuncBrown 2016-10-19 15:08:24 +02:00
  • a63dbbf307 fix a few typos CyrilleComar 2016-09-22 13:04:48 +02:00
  • 38f2d8402c First basic layout and initial documents Olivier Ramonat 2016-09-21 14:26:28 +02:00
  • 1409a3e19a Initial commit Olivier Ramonat 2016-09-21 13:01:51 +02:00