Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • May 05 18:49

    mforets on gh-pages

    build based on 02d795a (compare)

  • May 05 18:35

    github-actions[bot] on gh-pages

    delete history (compare)

  • May 05 18:35

    schillic on 107_fix

    (compare)

  • May 05 18:35

    schillic on master

    apply control preprocessing in … Merge pull request #137 from Ju… (compare)

  • May 05 18:35
    schillic closed #137
  • May 05 15:02
    schillic review_requested #140
  • May 05 15:02
    schillic commented #134
  • May 05 14:58

    mforets on gh-pages

    build based on c3713e3 (compare)

  • May 05 14:46
    schillic opened #140
  • May 05 14:46

    mforets on gh-pages

    build based on d7d0c3b (compare)

  • May 05 14:44

    schillic on tmax

    fixes wrt. last iteration (compare)

  • May 05 14:42

    mforets on gh-pages

    build based on 1896fb5 (compare)

  • May 05 14:33

    github-actions[bot] on gh-pages

    delete history (compare)

  • May 05 14:33

    schillic on author

    (compare)

  • May 05 14:33

    schillic on master

    add author Merge pull request #139 from Ju… (compare)

  • May 05 14:33
    schillic closed #139
  • May 05 14:33

    mforets on gh-pages

    build based on 9c9fd89 (compare)

  • May 05 14:30

    github-actions[bot] on gh-pages

    delete history (compare)

  • May 05 14:30

    schillic on plots

    (compare)

  • May 05 14:30

    schillic on master

    fix plotting function Merge pull request #138 from Ju… (compare)

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
because you don't want to always add a space
Marcelo Forets
@mforets
ah true
Christian Schilling
@schillic
maybe the best is to run a second script in a second round that replaces ,Vector by , Vector
or add these cases (,Array etc.) as extra cases to the script
Marcelo Forets
@mforets
but i have to escape the , ?