Commits · master · Mateo Sanabria Ardila / Middleware

Browse files

Feb 19, 2019
- ok · c8224eff
  MaSanaAR authored Feb 19, 2019
  
  c8224eff
Dec 20, 2018
- REAL-T unicast · b76b7b47
  MaSanaAR authored Dec 20, 2018
  
  b76b7b47
Dec 19, 2018
- REAL-T · 604c60a9
  MaSanaAR authored Dec 19, 2018
  
  604c60a9
- REAL-T · 53edd262
  MaSanaAR authored Dec 19, 2018
  
  53edd262
- Improve REAL-T · 677c5099
  MaSanaAR authored Dec 19, 2018
  
  677c5099
Dec 18, 2018
- REAL-T improve · 04e4b9d8
  MaSanaAR authored Dec 18, 2018
  
  04e4b9d8
- REAL-T Broadcast · 17bc4bd5
  MaSanaAR authored Dec 18, 2018
  
  17bc4bd5
Dec 13, 2018
- new semantics for checkers · 256bd2f8
  MaSanaAR authored Dec 13, 2018
  
  256bd2f8
Dec 12, 2018
- improve the code · e5fd09c6
  MaSanaAR authored Dec 12, 2018
  
  e5fd09c6
Nov 07, 2018
- Improve the specification · dfbc87ed
  MaSanaAR authored Nov 07, 2018
  
  dfbc87ed
Nov 06, 2018
- iMPROVE THE LTL SPECIFICATION · 5e0b7c3f
  MaSanaAR authored Nov 06, 2018
  
  5e0b7c3f
- Improve the LTL specification · 5d3b61da
  MaSanaAR authored Nov 06, 2018
  
  5d3b61da
- Improve the LTL specification · c86cfea8
  MaSanaAR authored Nov 06, 2018
  
  c86cfea8
- Improve the specification · 0e1d305d
  MaSanaAR authored Nov 06, 2018
  
  0e1d305d
Nov 01, 2018
- System check verification improve · 65fa3af3
  MaSanaAR authored Nov 01, 2018
  
  65fa3af3
- Name change · ebd31e9b
  MaSanaAR authored Nov 01, 2018
  
  ebd31e9b
- Improve the specification · 86fa09d4
  MaSanaAR authored Nov 01, 2018
  
  86fa09d4
- Improve the sepcification · 4dd45bad
  Mateo Sanabria A authored Nov 01, 2018
  
  4dd45bad
Oct 31, 2018
- Improve the specification · fc4309c0
  Mateo Sanabria A authored Oct 31, 2018
  
  fc4309c0
- improve the specification · 1fc6d3ef
  Mateo Sanabria A authored Oct 31, 2018
  
  1fc6d3ef
Oct 30, 2018
- Improve the specification · 6ce19af5
  Mateo Sanabria A authored Oct 30, 2018
  
  6ce19af5
- improve the specification · 28a25cef
  Mateo Sanabria A authored Oct 30, 2018
  
  28a25cef
- Rules definiton for Multi-step-atack · 9cc412ac
  Mateo Sanabria A authored Oct 30, 2018
  
  9cc412ac
- Name change · c34e6d10
  Mateo Sanabria Ardila authored Oct 29, 2018
  
  c34e6d10
- Generation of an example for an execution of Multi-step atack · 51e58873
  Mateo Sanabria Ardila authored Oct 29, 2018
  
  51e58873
- Create new type sytem, label msg using vector clocks · 2e7c4a00
  MaSanaAR authored Oct 29, 2018
  
  2e7c4a00
Oct 29, 2018
- Causality relation example · 47eba547
  MaSanaAR authored Oct 29, 2018
  
  47eba547
- Merge branch 'master' of gitlab.com:MaSanaAR/Middleware · 9840cab5
  Mateo Sanabria A authored Oct 29, 2018
  
  9840cab5
- Causality predicate definition · 56a4d82d
  Mateo Sanabria A authored Oct 29, 2018
  
  56a4d82d
Oct 21, 2018
- Merge branch 'master' of gitlab.com:MaSanaAR/Middleware · 08070248
  Mateo Sanabria Ardila authored Oct 21, 2018
  
  08070248
Oct 17, 2018
- Update README.md · afca2d2d
  Mateo Sanabria Ardila authored Oct 17, 2018
  
  afca2d2d
- Update · ccb5bcc9
  MaSanaAR authored Oct 17, 2018
  
  ccb5bcc9
- in this txt i gonig to write executions of examples · b28a09f7
  MaSanaAR authored Oct 17, 2018
  
  b28a09f7
- component operation is not necessary · d671d9a5
  MaSanaAR authored Oct 17, 2018
  
  d671d9a5
- A natural number could be a vector, definition od componet operation · b5b4c5d8
  MaSanaAR authored Oct 17, 2018
  
  b5b4c5d8
Oct 16, 2018
- Update · 81ce5cc1
  MaSanaAR authored Oct 16, 2018
  
  81ce5cc1
- The design of the send of messages of Consmer has started, is not finish · a29c4183
  MaSanaAR authored Oct 16, 2018
  
  a29c4183
- System check works · a2dfce5b
  MaSanaAR authored Oct 16, 2018
  
  a2dfce5b
- Renaming · be6d4510
  MaSanaAR authored Oct 16, 2018
  
  be6d4510
- Temporal logic ready for vector implementation · b9486532
  MaSanaAR authored Oct 16, 2018
  
  b9486532