Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 05:33
    schillic review_requested #163
  • 05:31

    schillic on gh-pages

    build based on 4342495 (compare)

  • 05:26
    schillic synchronize #163
  • 05:26

    schillic on bump

    update docs to v1.6 output test v1.6 on Travis (compare)

  • 05:15

    schillic on gh-pages

    build based on c19bd6d (compare)

  • 05:12

    schillic on gh-pages

    build based on 7eabf7c (compare)

  • 05:10
    schillic opened #163
  • 05:10

    schillic on bump

    new release (compare)

  • 05:07

    schillic on new_version

    (compare)

  • 05:07

    schillic on master

    CompatHelper: bump compat for "… Merge pull request #162 from Ju… (compare)

  • 05:07
    schillic closed #162
  • 04:49

    mforets on gh-pages

    build based on a069bac0 (compare)

  • 04:13

    mforets on master

    Update getting_started.md (compare)

  • Apr 17 18:14

    mforets on gh-pages

    build based on 0a405a5d (compare)

  • Apr 17 17:42
    schillic updated the wiki
  • Apr 17 17:41

    schillic on 2660

    (compare)

  • Apr 17 17:41

    schillic on master

    add low/high for LazySet Merge pull request #2663 from J… (compare)

  • Apr 17 17:41
    schillic closed #2663
  • Apr 17 17:41
    schillic closed #2660
  • Apr 17 16:24

    mforets on gh-pages

    build based on edc0d818 (compare)

Marcelo Forets
@mforets
what is ξ(x)\xi(x) by the way
it is the subset of GG that sums to xx
Peng Yu
@yupbank
yeah, in the every first iteration, it would be \emptyset
it’s picking yx+Gy \in x+G and then test yxy-x, which can be simiplified into zG z \in G and then test zz
Christian Schilling
@schillic
Marcelo Forets
@mforets
interesting, thx
. The ultimate goal is to scale up to large NeuralODE controllers for complicated CPS or biological tasks
i think there are some Julia people interested in these topics
Marcelo Forets
@mforets
theyseem to consider only singleton initial conditions?
Christian Schilling
@schillic
i haven't checked it. could be
Marcelo Forets
@mforets
nice thing is that we have almost every model in the benchmark already in Julia
Christian Schilling
@schillic
:)
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