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)

Marcelo Forets
@mforets
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
the print statements now also use spaces :)
it's
julia> convert(Hyperrectangle, Interval(0.0, 1.0))
Hyperrectangle{Float64, Vector{Float64}, Vector{Float64}}([0.5], [0.5])
 ```jldoctest
 julia> convert(Hyperrectangle, Interval(0.0, 1.0))
-Hyperrectangle{Float64,Array{Float64,1},Array{Float64,1}}([0.5], [0.5])
+Hyperrectangle{Float64,Vector{Float64},Vector{Float64}}([0.5], [0.5])
space between Float64 and Vector{Float64}. i can edit your comment
Christian Schilling
@schillic
hm, that is not so easy