SmartScribble merge requestshttps://git.lasige.di.fc.ul.pt/amordido/smartscribble/-/merge_requests2022-10-05T18:13:51+01:00https://git.lasige.di.fc.ul.pt/amordido/smartscribble/-/merge_requests/9SmartScribble 2.0 merge request2022-10-05T18:13:51+01:00Alexandre de Alegria Junceiro Mascarenhas MonteiroSmartScribble 2.0 merge requesthttps://git.lasige.di.fc.ul.pt/amordido/smartscribble/-/merge_requests/8Beginning with rec, bug fixed2021-10-05T18:43:53+01:00Afonso Neves Ribeiro Freire FalcãoBeginning with rec, bug fixedcreated the notion of an epsilon state that serves as the initial state in cases where it can be repeated (i.e. protocol that start with recs)created the notion of an epsilon state that serves as the initial state in cases where it can be repeated (i.e. protocol that start with recs)https://git.lasige.di.fc.ul.pt/amordido/smartscribble/-/merge_requests/7recs starting with other recs labels are valid2021-10-05T12:37:10+01:00Afonso Neves Ribeiro Freire Falcãorecs starting with other recs labels are validfixing problems in title
errors are now printed in separated linesfixing problems in title
errors are now printed in separated lineshttps://git.lasige.di.fc.ul.pt/amordido/smartscribble/-/merge_requests/6Tweaking order of the code generation2021-10-05T11:34:08+01:00Afonso Neves Ribeiro Freire FalcãoTweaking order of the code generationhttps://git.lasige.di.fc.ul.pt/amordido/smartscribble/-/merge_requests/5Todo changes2021-10-04T19:39:56+01:00Afonso Neves Ribeiro Freire FalcãoTodo changeshttps://git.lasige.di.fc.ul.pt/amordido/smartscribble/-/merge_requests/4changing warnings t oerrors2021-10-03T19:00:34+01:00Afonso Neves Ribeiro Freire Falcãochanging warnings t oerrors✔ Tipos inexistentes tem de lançar erro (e tenho de mapear alguns tipos no codegen)
✔ Ultimo endpoint não pode ser utilizado a meio do código✔ Tipos inexistentes tem de lançar erro (e tenho de mapear alguns tipos no codegen)
✔ Ultimo endpoint não pode ser utilizado a meio do códigohttps://git.lasige.di.fc.ul.pt/amordido/smartscribble/-/merge_requests/3Change semantic to validation2021-10-03T18:43:04+01:00Afonso Neves Ribeiro Freire FalcãoChange semantic to validationhttps://git.lasige.di.fc.ul.pt/amordido/smartscribble/-/merge_requests/2Bytestring change2021-10-01T18:44:40+01:00Afonso Neves Ribeiro Freire FalcãoBytestring changehttps://git.lasige.di.fc.ul.pt/amordido/smartscribble/-/merge_requests/1tunning changes for current version2021-10-01T18:21:04+01:00Afonso Neves Ribeiro Freire Falcãotunning changes for current version- [x] MakeUnstableData @done(21-09-30 18:13)
- [x] getCurrentStateSM muda @done(21-09-30 18:15)
- [x] checkFunds muda @done(21-09-30 18:16)
- [x] Validator muda @done(21-09-30 18:20)
- [x] Assinatura dos endpoints muda @done(21-09-30 19:...- [x] MakeUnstableData @done(21-09-30 18:13)
- [x] getCurrentStateSM muda @done(21-09-30 18:15)
- [x] checkFunds muda @done(21-09-30 18:16)
- [x] Validator muda @done(21-09-30 18:20)
- [x] Assinatura dos endpoints muda @done(21-09-30 19:09)
- [x] receber os parametros muda @done(21-09-30 19:09)
- [x] não esquecer os imports do prelude @done(21-09-30 18:25)
- [x] adiconar mapSMError e mapContractError' e substituir cenas de review error antigas @done(21-10-01 17:02)
- [x] contract declarado de forma diferente tbm @done(21-09-30 18:25)
- [x] fundsAtAddressCondition novo @done(21-09-30 18:17)
- [x] imports com language ficam sem 'language' @done(21-09-30 18:55)
- [x] Remover iotstype @done(21-10-01 17:34)
- [x] adicionar () depois de promise e contract @done(21-10-01 17:40)
- [x] Nothing na machine @done(21-10-01 17:41)
- [x] T.Text na logica @done(21-10-01 18:19)