Simon El Nahas

Results 11 comments of 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