Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • May 07 19:42
    schillic review_requested #2685
  • May 07 17:46
    schillic opened #2685
  • May 07 17:45

    schillic on intersectionarray

    remove convexity requirement in… (compare)

  • May 07 16:15
    schillic review_requested #146
  • May 07 16:06

    mforets on gh-pages

    build based on dfa3e18 (compare)

  • May 07 15:52
    schillic synchronize #146
  • May 07 15:52

    schillic on Airplane

    continue modeling Airplane (compare)

  • May 07 15:48

    mforets on gh-pages

    build based on 4e33d35 (compare)

  • May 07 15:36
    schillic opened #146
  • May 07 15:35

    schillic on Airplane

    continue modeling Airplane (compare)

  • May 07 14:48

    mforets on gh-pages

    build based on 9a1d574 (compare)

  • May 07 14:25

    mforets on gh-pages

    build based on 3cc9296 (compare)

  • May 07 14:14
    schillic synchronize #144
  • May 07 14:14

    schillic on DoublePendulum

    continue modeling DoublePendulum (compare)

  • May 07 14:12
    schillic synchronize #142
  • May 07 14:12

    schillic on TORA

    continue modeling TORA (compare)

  • May 07 13:14
    schillic review_requested #145
  • May 07 13:12

    mforets on gh-pages

    build based on bccf76c (compare)

  • May 07 13:00
    schillic opened #145
  • May 07 13:00

    schillic on Unicycle

    continue modeling Unicycle (compare)

Christian Schilling
@schillic
true :)
Marcelo Forets
@mforets
but, yeah anyway there is plenty of advantage of having these online tools, for example that they provide hyperlinks to each line of the build
this tends to be very useful when there are issues
Christian Schilling
@schillic
how much work is it to try github actions?
Marcelo Forets
@mforets
i would be happy if we are able to setup a github action locally (whatever that means) and have a bot that comments that the tests passed or not, maybe with a log but that may be harder. i'm unfamiliar to this stuff but maybe there are examples that we can replicate
Christian Schilling
@schillic
but you said you did it in RA?
Marcelo Forets
@mforets
ah
yes it is done
i thought you meant something local
for the github actions it is easy
Christian Schilling
@schillic
no no
is there a reason why we don't have it in LazySets?
Marcelo Forets
@mforets
it should be
2) delete .travis.yml
that was it iirc
Christian Schilling
@schillic
:)
maybe let's first try github actions :)
Marcelo Forets
@mforets
yes
:)
that build_private script
i dont know how to implement it in the github action script
Christian Schilling
@schillic
ah :(
we will remove it once we pass to v1.6 only
Christian Schilling
@schillic
true
Marcelo Forets
@mforets
we can wait until then :)
Christian Schilling
@schillic
good :)
Marcelo Forets
@mforets
postponing things is a good tactic :laughing:
Christian Schilling
@schillic
^^
Marcelo Forets
@mforets
i think we should just bump the minimum julia version to 1.5 in the LazySets CI
Christian Schilling
@schillic
Marcelo Forets
@mforets
:thumbsup:
Marcelo Forets
@mforets
FYI we've started to (google) meet regularly on mondays and thursday afternoons with @sebastianguadualupe to work on the packages
... and we're starting with a new webpage
Marcelo Forets
@mforets
a CFP on set based methods for differential equations
Benoît Legat
@blegat
Would Box constraints be useful for you ? jump-dev/MathOptInterface.jl#1233
Marcelo Forets
@mforets
hi! i think the short answer is no because in LazySets the support functions and support vectors of boxes use known analytic expressions -- we use optimization for sets which do not have such simple structure
that said, the idea of being able to directly model "Box" constrants in MOI sound good to me :) for the simple reason that if a new solver X is specialized for box constraints there is 0 overhead in the conversion
Marcelo Forets
@mforets
@schillic how can i apply https://github.com/JuliaReach/LazySets.jl/issues/2503#issuecomment-772856193 do all files under ../LazySets/src ?
Benoît Legat
@blegat
Ok, thanks :)
Christian Schilling
@schillic
@mforets i updated the script
you would put that script in the src folder and run it
Marcelo Forets
@mforets
got it, thanks. i'll try it out
Christian Schilling
@schillic
it should work for the standard cases but of course nesting is complicated so there may be errors. the hope is that it fixes 95% and only adds 5% additional work :)
the first case in the script is exactly meant for nested Vectors because i had that in my example file