Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 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)

  • May 11 14:21
    schillic closed #126
  • May 11 14:21
    schillic closed #122
  • May 11 14:21
    schillic commented #122
  • May 11 14:20
    schillic review_requested #150
  • May 11 14:20

    mforets on gh-pages

    build based on e9929ca (compare)

  • May 11 14:14
    schillic synchronize #126
  • May 11 14:14

    schillic on 122

    add test context for #122 (compare)

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