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
it would be limited to only 1 platform though, but that is less of a problem (we don't have system-specific code, but some of our optional dependencies do)
Christian Schilling
@schillic
for me waiting one hour is not a blocker because 1. most often the branches are independent and if not then 2. i can merge the branches into other branches locally, so i don't have to wait for CI to finish to continue developing. but i don't want to impose that
about github actions: would be great :)
Marcelo Forets
@mforets
you're absolutely right. sometimes it feels like having 3 approved PRs waiting the CI to finish (and you know it's OK 99%) is too much
there's satisfaction if you can close issues before you call it a day :laughing:
Christian Schilling
@schillic
true :)
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 :)