Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 14:46
    schillic review_requested #151
  • 14:30

    mforets on gh-pages

    build based on a9d3fe4 (compare)

  • 14:18
    schillic opened #151
  • 14:18

    schillic on 149

    pass label to plot_simulation! (compare)

  • 14:03

    schillic on 149

    pass label to plot_simulation! (compare)

  • 13:59
    schillic assigned #149
  • 13:59

    schillic on 149

    pass label to plot_simulation! (compare)

  • 11:24

    mforets on gh-pages

    build based on 18a33c2 (compare)

  • 11:02
    schillic synchronize #144
  • 11:02

    schillic on DoublePendulum

    continue modeling DoublePendulum (compare)

  • May 11 20:45
    castrong commented #2686
  • May 11 18:59
    mforets commented #2668
  • May 11 18:57
    mforets commented #2668
  • May 11 15:23

    mforets on gh-pages

    build based on 0dfa372 (compare)

  • May 11 15:10

    github-actions[bot] on gh-pages

    delete history (compare)

  • May 11 15:10

    schillic on tmax_sim

    (compare)

  • May 11 15:10

    schillic on master

    allow T that is not a multiple … Merge pull request #150 from Ju… (compare)

  • May 11 15:10
    schillic closed #150
  • May 11 14:30

    mforets on gh-pages

    build based on dc3d14f (compare)

  • May 11 14:21

    schillic on 122

    (compare)

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
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