Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 15:09
    schillic opened #2703
  • 15:09

    schillic on 2651

    fix hyperrectangle split with S… (compare)

  • 15:08
    schillic assigned #2651
  • 14:55

    mforets on gh-pages

    build based on 1dc132b2 (compare)

  • 14:21
    schillic updated the wiki
  • 14:20

    schillic on 2700

    (compare)

  • 14:20

    schillic on master

    respect xlims/ylims when plotti… Merge pull request #2701 from J… (compare)

  • 14:20
    schillic closed #2701
  • 14:20
    schillic closed #2700
  • 14:19
    mforets labeled #2702
  • 14:19
    mforets opened #2702
  • 13:44
    schillic closed #2678
  • 13:32
    schillic opened #2701
  • 13:32

    schillic on 2700

    respect xlims/ylims when plotti… (compare)

  • 13:29
    schillic assigned #2700
  • 10:18
    schillic commented #2700
  • 09:58
    mforets labeled #2700
  • 09:58
    mforets labeled #2700
  • 09:58
    mforets opened #2700
  • May 17 19:00

    mforets on gh-pages

    build based on 4e3dc166 (compare)

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
Marcelo Forets
@mforets
nice! it works