Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 18:54
    coveralls commented #425
  • 18:54
    coveralls commented #425
  • 18:50
    coveralls commented #425
  • 18:48
    coveralls commented #425
  • 18:47
    coveralls commented #425
  • 18:46
    coveralls commented #425
  • 18:38
    mforets opened #2612
  • 18:37

    mforets on real_eig_2

    (compare)

  • 18:37

    mforets on master

    functions for reach homog with … update Merge pull request #425 from Ju… (compare)

  • 18:37
    mforets closed #425
  • 18:35
    mforets synchronize #425
  • 18:35

    mforets on real_eig_2

    update (compare)

  • 18:31

    mforets on gh-pages

    build based on 99454a6f (compare)

  • 18:05

    mforets on gh-pages

    build based on 173bbec2 (compare)

  • 17:42
    mforets opened #426
  • 17:28
    schillic updated the wiki
  • 17:27

    schillic on backend_project

    (compare)

  • 17:27

    schillic on 2301

    (compare)

  • 17:27

    schillic on master

    accept kwargs in 'project' and … Merge pull request #2607 from J… (compare)

  • 17:27
    schillic closed #2607
Marcelo Forets
@mforets
r: initial radius in each dimension
that should be the specification of X0 around the points in the Appendix
im surprised that some of the results of Flow* are so coarse
Screenshot from 2020-12-18 08-30-04.png
that's what i get for the Brusselator example in their setting
Christian Schilling
@schillic
with Flow*?
Marcelo Forets
@mforets
with JuliaReach
but i mean, compare it with
Screenshot from 2020-12-18 08-32-08.png
maybe the parameter choices for the other tools were not good .. :)
Christian Schilling
@schillic
yeah
Marcelo Forets
@mforets
we should write a blog, or a short video showing benchmarks like the one above (fun for next year!)
Marcelo Forets
@mforets
i added the brusselator instance from the paper JuliaReach/ReachabilityAnalysis.jl#386
Marcelo Forets
@mforets
some people have changed the CI to github actions
i read the builds were faster. i was wondering if we should also change
Marcelo Forets
@mforets
ill try with RA
the build (JuliaReach/ReachabilityAnalysis.jl#386) took 1hour and the docs are still not deployed!
Christian Schilling
@schillic
:)
travis says that it stopped all our builds
You have used 11230 of 10000 credits
i'm not sure this is the case, but that would be sad!
Marcelo Forets
@mforets
ah yes should explain it !
Christian Schilling
@schillic
if we hit that bound more often: it seems to me the more builds we run, the quicker we drain those credits, so we should generally reduce the number of builds and the number of times we push
Marcelo Forets
@mforets
there is now a limited number of build hours for OSS
do you know if those credits reset each month?
Christian Schilling
@schillic
i hope so, but i don't know the interval
Marcelo Forets
@mforets
ok.i tried github actions here JuliaReach/ReachabilityAnalysis.jl#387 and it worked
but the Docs build didnt finish yet
Christian Schilling
@schillic
maybe restart it?
Marcelo Forets
@mforets
the "Build and Deploy" stage is taking too long (28 minutes) so maybe something is wrong with it :/
Christian Schilling
@schillic
now it ran
Marcelo Forets
@mforets
ah
yes
Christian Schilling
@schillic
done :D
Marcelo Forets
@mforets
did you do anything?
Christian Schilling
@schillic
just as we spoke, i watched it live
but deployment failed
Marcelo Forets
@mforets
yes
in total it took 30 mins instead of 1 hour with TRavis CI (which probably was slow because of the credits issue) so im in favor of keeping github CI for RA
i dont mind changing the others while we can still make builds with travis CI
Marcelo Forets
@mforets
it built now :tada:
the docs were only deployed the 2nd time that CI ran for the first time
(something similar used to happen with travis CI)
Marcelo Forets
@mforets
a new article on Neural ODEs by SciML crew: https://arxiv.org/pdf/2012.07244.pdf
Marcelo Forets
@mforets
We shall make a PR to update the GSOC/JSOC project proposals. In particular the topic on zonotopes, I would remove it and add a new one
Maybe directly related to robustness of ODEs with neural network controllers
  • I mean, on the julialang webpage
Christian Schilling
@schillic
i just found this list of tools