Simon El Nahas
Simon El Nahas
If you can tell me where to implement this feature i might be able to make a PR for it. I am a react developer.
i'm not very familiar with pull requests, can you refer to a source that can tell me how to do this in a proper manner? @emilbayes
what i'm thinking: - find where stmts are added to the analyser - add missing pattern matching for field initialiser I've found `cf_tag_expr` and `cf_tag_stmt` inside `Cashflow.ml` i expect that...
Do you agree that it would make sense to extrapolate the tags from field initialisers before the statement lists are traversed and not as a part of the statement list...
changing the `cashflow.ml` doesn't seem to have an effect: 1. making main return two empty lists `([],[])` 2. `make clean; make` 3. ``` ➜ scilla git:(master) ✗ dune exec tests/testsuite.exe...
i'm sorry you where totally right about that the need for a new clone, due to the files being moved, this also solves #737 it was caused by having an...
Let my clarify: My question was not on the moving of the code, but more whether the workflow of: 1. change something in the compiler code 2. `make clean; make`...
Yes, Thanks @jjcnn i am aware of that. i created a concrete test case to simplify the issue: `field tokens1 : Uint128 = total_tokens`. using `make; ./bin/scilla-checker -gaslimit 10000 -libdir...
It finally works! 👍 How do i make a new test case for ` ./bin/scilla-checker -gaslimit 10000 -libdir src/stdlib tests/contracts/fungible-token.scilla -cf-token-field balances` ?
also all "CMD + ," settings popups is not floating