Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 05:33
    schillic review_requested #163
  • 05:31

    schillic on gh-pages

    build based on 4342495 (compare)

  • 05:26
    schillic synchronize #163
  • 05:26

    schillic on bump

    update docs to v1.6 output test v1.6 on Travis (compare)

  • 05:15

    schillic on gh-pages

    build based on c19bd6d (compare)

  • 05:12

    schillic on gh-pages

    build based on 7eabf7c (compare)

  • 05:10
    schillic opened #163
  • 05:10

    schillic on bump

    new release (compare)

  • 05:07

    schillic on new_version

    (compare)

  • 05:07

    schillic on master

    CompatHelper: bump compat for "… Merge pull request #162 from Ju… (compare)

  • 05:07
    schillic closed #162
  • 04:49

    mforets on gh-pages

    build based on a069bac0 (compare)

  • 04:13

    mforets on master

    Update getting_started.md (compare)

  • Apr 17 18:14

    mforets on gh-pages

    build based on 0a405a5d (compare)

  • Apr 17 17:42
    schillic updated the wiki
  • Apr 17 17:41

    schillic on 2660

    (compare)

  • Apr 17 17:41

    schillic on master

    add low/high for LazySet Merge pull request #2663 from J… (compare)

  • Apr 17 17:41
    schillic closed #2663
  • Apr 17 17:41
    schillic closed #2660
  • Apr 17 16:24

    mforets on gh-pages

    build based on edc0d818 (compare)

Christian Schilling
@schillic
i just found this list of tools
Marcelo Forets
@mforets
nice
we are listed :tada: :smile:
Christian Schilling
@schillic
yes :D
Marcelo Forets
@mforets
good link. i'll read more about this IEEE branch later
Christopher Rackauckas
@ChrisRackauckas
I'd be interested in collaborating on a project on robustness of neural controlled ODEs
Sounds like it would be fun
Marcelo Forets
@mforets
nice! sounds like a fun project that we can tackle next year
Marcelo Forets
@mforets
we regularly skype with the rest of the team (schiliic, dpsanders, lbenet), so i'll put this topic in the "agenda" :)
@ChrisRackauckas and also @schillic : this week with sebastian we had a couple of sprints to understand and model a hybrid system from https://discourse.julialang.org/t/differentialequations-error-event-repeated-at-the-same-time/51830 using propagation techniques. not sure we'll finish this week because of family time. but it was much fun as it involves modeling nonlinear (periodic) guards, and we can exploit sparsity of the constraints to make an efficient solver
Christian Schilling
@schillic
:+1:
Christopher Rackauckas
@ChrisRackauckas
Ahh that's cool
I haven't looked into that system yet
Marcelo Forets
@mforets
FYI the PR JuliaReach/ReachabilityAnalysis.jl#390 contained several unrelated changes so i decided to split into smaller ones. i've started to cleanup the codebase with respect to changes that are recently available in LazySets
also the RA internal methods for disjointness, intersection and inclusion are messy so i'll fix that too
Marcelo Forets
@mforets
a new article on verifying LTI systems neural network controllers https://arxiv.org/pdf/2101.01815.pdf
Marcelo Forets
@mforets
hi, this week i'm back to package development. i was planning to address the Star sets implementation this afternoon. i've got like 2 hours :smile:
Christian Schilling
@schillic
good luck :)
Marcelo Forets
@mforets
there is a nice boost on the startup time:
[mforets@localhost bin]$ julia
               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.5.2 (2020-09-23)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

julia> @time using LazySets
  5.681156 seconds (11.94 M allocations: 694.502 MiB, 4.23% gc time)

julia> exit()
j[mforets@localhost bin]$ ./julia
               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.6.0-beta1 (2021-01-08)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

julia> @time using LazySets
  2.215739 seconds (5.24 M allocations: 375.817 MiB, 1.47% gc time, 0.22% compilation time)
Marcelo Forets
@mforets
i merged some LazySets PRs without waiting for the travis CI to finish . this is against our rules i know ... but we can't wait 40 mins - 1hour for each single PR it is just too slow. maybe if we change the CI to github actions it reduces
in RA it reduced the waiting time by half
or we get a university machine to run the tests and upload the results in less than 10 minutes
is that possible? for the machine i can ask @dfcaporale
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
:)