Skip to content
Snippets Groups Projects
Select Git revision
  • main default
  • minor-improvements
  • 0.1.0
3 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.023Apr10642Feb131Jan30251918165Forgot to add file to last commitmainmainReplace gateway-history.htmlUpdate README.mdUpdate README.mdUpdate README.mdMerge branch 'main' of https://gitlab.fing.edu.uy/open-lins/cross-chain-transactions-event-bAdd animation readmeUpdate README.mdUpdate README.mdRename pdfMerge branch 'main' of https://gitlab.fing.edu.uy/open-lins/cross-chain-transactions-event-bRegenerate Event-B specification PDFUpdate README.mdChanges generated by reviewers commentsFix from reviewers commentsChange trigger for emit eventRemove old filesAdd eht & fabric logos to animationsAdd Fabric -> Ethereum animation htmlComplete Ethereum -> Fabric animationAdd Ethereum -> Fabric animation (WIP)Improve abstract machine animationAdd Fabric -> Ethereum animationRename abstract machine event namesAdd animation to abstract machineChange project nameMinor changes0.1.00.1.0Minor fixesMinor improvements (WIP)minor-improveme…minor-improvementsMerge branch 'future-payments' into 'main'CCTx Fabric -> Ethereum Preserve balance gatewayFabric -> Ethereum behaviourEthereum -> Fabric behaviourFix proofsInitial specification of bigInitial commit