Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • 13:34
    Slobish commented #6572
  • 09:41
    leonardoalt commented #7297
  • 09:40
    leonardoalt synchronize #7278
  • 09:40

    leonardoalt on develop

    [SMTChecker] Adapt division tes… Merge pull request #7298 from e… (compare)

  • 09:40
    leonardoalt closed #7298
  • 09:40
    leonardoalt closed #7297
  • 00:29
    alcuadrado commented #7299
  • 00:29
    alcuadrado commented #7299
  • Aug 23 22:05
    alcuadrado opened #7299
  • Aug 23 17:27
    livnev commented #7297
  • Aug 23 15:35
    leonardoalt opened #7298
  • Aug 23 15:33

    leonardoalt on smt_fix_division

    [SMTChecker] Adapt division tes… (compare)

  • Aug 23 15:21
    leonardoalt assigned #7297
  • Aug 23 15:21
    leonardoalt labeled #7297
  • Aug 23 15:21
    leonardoalt commented #7297
  • Aug 23 15:08
    leonardoalt commented #7297
  • Aug 23 12:25
    livnev commented #7297
  • Aug 23 11:00
    livnev commented #7297
  • Aug 23 10:55
    axic labeled #7296
  • Aug 23 10:47
    leonardoalt commented #7297
Alexander Arlt
@aarlt
I didn’t looked into the solidity development for months now.. so sorry if I missed anything
Mathias L. Baumann
@Marenz
@aarlt chris is currently on vacation (he's at the cccamp) and alex is axic is working more on other projects than solidity, so I am afraid a detailed answer about those topics needs to wait a bit.
From what I can tell none of the issues have any current activity as other things take priority
but that doesn't mean that it has to stay that way
Alexander Arlt
@aarlt
@Marenz thx alot! For me it would be quite interesting to implement this. But before I start I just wanted to know your oppinions.
Mathias L. Baumann
@Marenz
I think the team will be very open about that
I would suggest you join our meeting Monday 26. at 12:00 and talk with us directly, chris will be back by then, too
otherwise he'll respond here in the chat as well when he caught up on all the messages
(meeting = video call)
Alexander Arlt
@aarlt
@Marenz Great! I will try to attend.. I'm currently traveling.. i'm in Colombia right now (-7h)
Bhargava Shastry
@bshastry
what purpose does the = default serve for a constructor/destructor? I googled but could not find an actual reason
R. Bernstein
@rocky

Sadly, for IDE interaction 0.5.11 is worse than 0.5.10 because of SEGV's in AST generation. I'll be opening an issue and PR later for details and to start to address.

My question though is how do I create the emscripten solc-js so I can iterate on testing and find SEGVs sooner?

Leonardo
@leonardoalt
@bshastry did @ekpyron mention something about buggy source maps the other day?
Bhargava Shastry
@bshastry
@leonardoalt not that I can recall
@rocky since most of the team is occupied with dappcon today, perhaps it's better to also ask for the emscripten solc-js building workflow in the issue you plan to create
Leonardo
@leonardoalt
actually I'm working today :)
@rocky you can open a PR, open the b_ems test, go to the artifacts tab and download soljson.js
and replace that in the solc-js directory
Bhargava Shastry
@bshastry
@leonardoalt oh okay :-)
Leonardo
@leonardoalt
yea decided to skip dappcon today
Leonardo
@leonardoalt
@bshastry if you're on, can you test smth for me? I'm trying to replicate a bug I was told
Mathias L. Baumann
@Marenz

@ChrisChinchilla this phrasing in solidity.readthedocs.io/en/latest/common-patterns.html#withdrawal-pattern is really weird, right?

In the following contract, if you are usurped as the richest, you will receive the funds of the person who has gone on to become the new richest.

I stumble over the "on"
Bhargava Shastry
@bshastry
@leonardoalt sure, I'm working on a PR but it is not super urgent
Mathias L. Baumann
@Marenz
he went for lunch now
Bhargava Shastry
@bshastry
:+1:
Bhargava Shastry
@bshastry
heading to dappcon now. will be offline for the next 20 minutes
Mathias L. Baumann
@Marenz
:+1:
Alex Beregszaszi
@axic
Splitting long string/hex literals to multiple lines with \ would be so nice.. or at least allowing ”..” ws “..” where ws means whitespace
Chris Chinchilla
@ChrisChinchilla
@Marenz I don’t think I wrote that. Can you add an issue?
Mathias L. Baumann
@Marenz
sure
Alex Beregszaszi
@axic
axic @axic is writing a contract in Solidity, hence these realisations ^^
Leonardo
@leonardoalt
pragma solidity >=0.5.3;
contract Callee {
  uint temperature = 0;
  function tempDelta(uint x) public {
    temperature = add(temperature, x);
  }

  function add(uint x, uint y) internal pure returns (uint z) {
    z = x + y;
    require(z >= x);
  }
}

contract easyNest {
  Callee callee;
  function raiseTemp(uint x) public {
    callee.tempDelta(x);
  }
}
Mathias L. Baumann
@Marenz
@bshastry hey, leo mentions that there is a fix for the not-finishing fuzz etst in #7278
do you know anything about that?
I'd like to merge that branch more sooner than later
Bhargava Shastry
@bshastry
@Marenz the t_ubu_ossfuzz CI is supposed to be a nightly. Don't know why it is running for that PR
The hang seems to be a new issue. I am not aware of a fix
Jacob Bogers
@Jacob_Bogers_twitter
image.png
why am i seeing this?
I installed newest version of mist (Mist-installer-0-11-1.exe)
and I installed newest version of geth
geth 1.9.2 for windows
Jacob Bogers
@Jacob_Bogers_twitter
Why is this not a frictionless experience, should just work out of the box or at least specifiy compatibility before i start downloading
Erik Kundt
@erak
@Jacob_Bogers_twitter It's unfortunate that you're having these issues. Please consider asking for help in the Mist / Geth channels (e.g. https://gitter.im/ethereum/mist) as this one is about Solidity compiler development only.
Leonardo
@leonardoalt
@chriseth do we have an Yul optimizer that takes stuff out of a loop?
Erik Kundt
@erak
@Patil2099 You here?