Commits · main · open-lins / cross-chain-transactions-event-b

Apr 23, 2024
- Forgot to add file to last commit · 9ad324d2
  Guzman Llambias authored 10 months ago
  
  9ad324d2
Apr 10, 2024
- Replace gateway-history.html · a7e519af
  Guzman Llambias authored 11 months ago
  
  a7e519af
- Update README.md · 52e792fa
  Guzman Llambias authored 11 months ago
  
  52e792fa
- Update README.md · c6ae8a6a
  Guzman Llambias authored 11 months ago
  
  c6ae8a6a
- Update README.md · 2ebdf5ba
  Guzman Llambias authored 11 months ago
  
  2ebdf5ba
- Merge branch 'main' of https://gitlab.fing.edu.uy/open-lins/cross-chain-transactions-event-b · 8f962a66
  Guzman Llambias authored 11 months ago
  
  8f962a66
- Add animation readme · 7f2ac05f
  Guzman Llambias authored 11 months ago
  
  7f2ac05f
- Update README.md · c3935f94
  Guzman Llambias authored 11 months ago
  
  c3935f94
- Update README.md · 8a454abd
  Guzman Llambias authored 11 months ago
  
  8a454abd
- Rename pdf · d8393f41
  Guzman Llambias authored 11 months ago
  
  d8393f41
- Merge branch 'main' of https://gitlab.fing.edu.uy/open-lins/cross-chain-transactions-event-b · bc9df58f
  Guzman Llambias authored 11 months ago
  
  bc9df58f
- Regenerate Event-B specification PDF · 5d81320e
  Guzman Llambias authored 11 months ago
  
  5d81320e
- Update README.md · 85e370ed
  Guzman Llambias authored 11 months ago
  
  85e370ed
- Changes generated by reviewers comments · 9830ac4e
  Guzman Llambias authored 11 months ago
  
  9830ac4e
Apr 06, 2024
- Fix from reviewers comments · e522ab0a
  Guzman Llambias authored 11 months ago
  
  e522ab0a
Apr 04, 2024
- Change trigger for emit event · dd7bdcca
  Guzman Llambias authored 11 months ago
  
  dd7bdcca
Feb 02, 2024
- Remove old files · ff17db66
  Guzman Llambias authored 1 year ago
  
  ff17db66
- Add eht & fabric logos to animations · 9e058a9d
  Guzman Llambias authored 1 year ago
  
  9e058a9d
- Add Fabric -> Ethereum animation html · 414edfd2
  Guzman Llambias authored 1 year ago
  
  414edfd2
- Complete Ethereum -> Fabric animation · d613a0ea
  Guzman Llambias authored 1 year ago
  
  d613a0ea
Feb 01, 2024
- Add Ethereum -> Fabric animation (WIP) · 16b77f30
  Guzman Llambias authored 1 year ago
  
  16b77f30
- Improve abstract machine animation · 75773655
  Guzman Llambias authored 1 year ago
  
  75773655
- Add Fabric -> Ethereum animation · 4b4a6a99
  Guzman Llambias authored 1 year ago
  
  4b4a6a99
Jan 31, 2024
- Rename abstract machine event names · 39a14662
  Guzman Llambias authored 1 year ago
  
  39a14662
- Add animation to abstract machine · 07d11c0a
  Guzman Llambias authored 1 year ago
  
  07d11c0a
- Change project name · 9b9986c4
  Guzman Llambias authored 1 year ago
  
  9b9986c4
Jan 30, 2024
- Minor changes · 0cbbd4d7
  Guzman Llambias authored 1 year ago
  
  0.1.0
  
  0cbbd4d7
Jan 25, 2024
- Minor fixes · 326a44ce
  Guzman Llambias authored 1 year ago
  
  326a44ce
Jan 18, 2024
- Merge branch 'future-payments' into 'main' · a5ba8e14
  Guzman Llambias authored 1 year ago
```
CCTx Fabric -> Ethereum Preserve balance gateway

See merge request lins/cross-chain-transactions-event-b!1
```
  a5ba8e14
- CCTx Fabric -> Ethereum Preserve balance gateway · 4184aac2
  Guzman Llambias authored 1 year ago
  
  4184aac2
Jan 16, 2024
- Fabric -> Ethereum behaviour · e24501e3
  Guzmán Llambías authored 1 year ago
  
  e24501e3
- Ethereum -> Fabric behaviour · 33488f86
  Guzmán Llambías authored 1 year ago
  
  33488f86
Jan 05, 2024
- Fix proofs · 9e8d9221
  Guzmán Llambías authored 1 year ago
  
  9e8d9221
- Initial specification of big · 8682d068
  Guzmán Llambías authored 1 year ago
  
  8682d068
- Initial commit · 72929fc6
  Guzman Llambias authored 1 year ago
  
  72929fc6