Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add @system macro #125

Merged
merged 76 commits into from
Jan 23, 2020
Merged

Add @system macro #125

merged 76 commits into from
Jan 23, 2020

Commits on Dec 24, 2019

  1. add current version of @System

    ueliwechsler committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    14d3f01 View commit details
    Browse the repository at this point in the history

  2. update deps

    @mforets
    mforets committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    6b4574f View commit details
    Browse the repository at this point in the history

  3. changes on corresponding_type

    @mforets
    mforets committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    32e57e8 View commit details
    Browse the repository at this point in the history

  4. add docstrings and update documentation

    @mforets
    mforets committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    08dfafc View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2019

  1. first clean up test files

    ueliwechsler committed Dec 29, 2019
    Configuration menu
    Copy the full SHA
    5e61eac View commit details
    Browse the repository at this point in the history

  2. Add doc string to @System

    ueliwechsler committed Dec 29, 2019
    Configuration menu
    Copy the full SHA
    1c62f45 View commit details
    Browse the repository at this point in the history

  3. add more docstrings

    ueliwechsler committed Dec 29, 2019
    Configuration menu
    Copy the full SHA
    0a33f3d View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2019

  1. Apply suggestions from code review 

    Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>
    @schillic
    ueliwechsler and schillic committed Dec 30, 2019
    Configuration menu
    Copy the full SHA
    e7ad444 View commit details
    Browse the repository at this point in the history

  2. remove @shows

    ueliwechsler committed Dec 30, 2019
    Configuration menu
    Copy the full SHA
    47f3ee4 View commit details
    Browse the repository at this point in the history

  3. adjust jldoctest examples

    ueliwechsler committed Dec 30, 2019
    Configuration menu
    Copy the full SHA
    9a0ba9c View commit details
    Browse the repository at this point in the history

  4. add default argument u to input

    ueliwechsler committed Dec 30, 2019
    Configuration menu
    Copy the full SHA
    a168c28 View commit details
    Browse the repository at this point in the history

  5. fix copy past type in _corresponding_system

    ueliwechsler committed Dec 30, 2019
    Configuration menu
    Copy the full SHA
    cfae780 View commit details
    Browse the repository at this point in the history

  6. adjust docstring for new handling of input

    ueliwechsler committed Dec 30, 2019
    Configuration menu
    Copy the full SHA
    9b97a37 View commit details
    Browse the repository at this point in the history

  7. try fixing jldoctest

    ueliwechsler committed Dec 30, 2019
    Configuration menu
    Copy the full SHA
    0bfa8b9 View commit details
    Browse the repository at this point in the history

  8. add LazySets to docs project.toml file

    ueliwechsler committed Dec 30, 2019
    Configuration menu
    Copy the full SHA
    43d315d View commit details
    Browse the repository at this point in the history

  9. adjust jldoctest

    ueliwechsler committed Dec 30, 2019
    Configuration menu
    Copy the full SHA
    d0e1e20 View commit details
    Browse the repository at this point in the history

  10. more jldoctest fixes 🙈, I will get there

    ueliwechsler committed Dec 30, 2019
    Configuration menu
    Copy the full SHA
    1b5bb53 View commit details
    Browse the repository at this point in the history

  11. another try on making doctests work

    ueliwechsler committed Dec 30, 2019
    Configuration menu
    Copy the full SHA
    d39d73b View commit details
    Browse the repository at this point in the history

  12. jldoctest this is the one

    ueliwechsler committed Dec 30, 2019
    Configuration menu
    Copy the full SHA
    87832b1 View commit details
    Browse the repository at this point in the history

Commits on Dec 31, 2019

  1. add @System to tests

    @mforets
    mforets committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    ad36a49 View commit details
    Browse the repository at this point in the history

  2. fix internals.md and types.md

    @mforets
    mforets committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    74b4ef7 View commit details
    Browse the repository at this point in the history

  3. cleanup tests

    @mforets
    mforets committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    446d47f View commit details
    Browse the repository at this point in the history

  4. add current version of @System

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    781ffce View commit details
    Browse the repository at this point in the history

  5. update deps

    @mforets
    mforets authored and ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    eedc56d View commit details
    Browse the repository at this point in the history

  6. changes on corresponding_type

    @mforets
    mforets authored and ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    e16de04 View commit details
    Browse the repository at this point in the history

  7. add docstrings and update documentation

    @mforets
    mforets authored and ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    dccbac1 View commit details
    Browse the repository at this point in the history

  8. first clean up test files

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    e109f25 View commit details
    Browse the repository at this point in the history

  9. Add doc string to @System

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    6f52267 View commit details
    Browse the repository at this point in the history

  10. add more docstrings

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    6163695 View commit details
    Browse the repository at this point in the history

  11. Apply suggestions from code review 

    Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>
    @schillic
    ueliwechsler and schillic committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    1d5bcc8 View commit details
    Browse the repository at this point in the history

  12. remove @shows

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    06abc47 View commit details
    Browse the repository at this point in the history

  13. adjust jldoctest examples

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    5f9fb17 View commit details
    Browse the repository at this point in the history

  14. add default argument u to input

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    2a64bdd View commit details
    Browse the repository at this point in the history

  15. fix copy past type in _corresponding_system

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    c19ab40 View commit details
    Browse the repository at this point in the history

  16. adjust docstring for new handling of input

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    fe96dad View commit details
    Browse the repository at this point in the history

  17. try fixing jldoctest

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    7f7c811 View commit details
    Browse the repository at this point in the history

  18. add LazySets to docs project.toml file

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    66817e6 View commit details
    Browse the repository at this point in the history

  19. adjust jldoctest

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    0e767f2 View commit details
    Browse the repository at this point in the history

  20. more jldoctest fixes 🙈, I will get there

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    32ad814 View commit details
    Browse the repository at this point in the history

  21. another try on making doctests work

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    03cc54f View commit details
    Browse the repository at this point in the history

  22. jldoctest this is the one

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    8e6bed2 View commit details
    Browse the repository at this point in the history

  23. add @System to tests

    @mforets
    mforets authored and ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    0326795 View commit details
    Browse the repository at this point in the history

  24. fix internals.md and types.md

    @mforets
    mforets authored and ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    f249159 View commit details
    Browse the repository at this point in the history

  25. cleanup tests

    @mforets
    mforets authored and ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    871f621 View commit details
    Browse the repository at this point in the history

  26. add :(-) to exception for black-box system

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    10e7e8d View commit details
    Browse the repository at this point in the history

  27. bugfixes for tests

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    410c2de View commit details
    Browse the repository at this point in the history

  28. Merge branch '76' of https://github.com/JuliaReach/MathematicalSystem… 

    …s.jl into 76
    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    02c8847 View commit details
    Browse the repository at this point in the history

  29. remove todo

    ueliwechsler committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    3a1abc3 View commit details
    Browse the repository at this point in the history

Commits on Jan 1, 2020

  1. update tests

    ueliwechsler committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    e640c83 View commit details
    Browse the repository at this point in the history

  2. add handling of cornercase x' = -x

    ueliwechsler committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    2517c40 View commit details
    Browse the repository at this point in the history

  3. try catch hack to make runtests work

    ueliwechsler committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    9e523fa View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2020

  1. Apply suggestions from code review 

    Co-Authored-By: Marcelo Forets <mforets@gmail.com>
    @mforets
    ueliwechsler and mforets committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    c2fc357 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2020

  1. Apply suggestions from code review

    ueliwechsler committed Jan 4, 2020
    Configuration menu
    Copy the full SHA
    1cc7c1d View commit details
    Browse the repository at this point in the history

Commits on Jan 14, 2020

  1. fix typo

    ueliwechsler committed Jan 14, 2020
    Configuration menu
    Copy the full SHA
    4cb575c View commit details
    Browse the repository at this point in the history

  2. add special case to accept arbitrary input if * is used

    wueli91 committed Jan 14, 2020
    Configuration menu
    Copy the full SHA
    f3424f7 View commit details
    Browse the repository at this point in the history

  3. add (or play around) with special cases where no input or noise matri… 

    …x is provided
    wueli91 committed Jan 14, 2020
    Configuration menu
    Copy the full SHA
    0ec6683 View commit details
    Browse the repository at this point in the history

  4. adjust doctest

    wueli91 committed Jan 14, 2020
    Configuration menu
    Copy the full SHA
    929532e View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2020

  1. Merge branch 'master' into 76

    @mforets
    mforets committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    702732e View commit details
    Browse the repository at this point in the history

  2. improve comments in extract_dyn_equation_parameters method

    ueliwechsler committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    2df3d90 View commit details
    Browse the repository at this point in the history

  3. Replace Diagonal with IdentityMultiple

    ueliwechsler committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    6d5fed8 View commit details
    Browse the repository at this point in the history

  4. add tests and adjust tests to use of IdentityMultiple

    ueliwechsler committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    69b18ea View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2020

  1. Apply suggestions from code review 

    Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>
    @schillic
    ueliwechsler and schillic committed Jan 18, 2020
    Configuration menu
    Copy the full SHA
    e9e818c View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2020

  1. add test for _corresponding_type

    wueli91 committed Jan 20, 2020
    Configuration menu
    Copy the full SHA
    a5ee95d View commit details
    Browse the repository at this point in the history

  2. add more comments to strip_dynamic_equation and extract_dyn_equation_… 

    …parameters
    wueli91 committed Jan 20, 2020
    Configuration menu
    Copy the full SHA
    5450623 View commit details
    Browse the repository at this point in the history

  3. adjust docstring of extract_sum abd add_asterisk

    wueli91 committed Jan 20, 2020
    Configuration menu
    Copy the full SHA
    cbfe609 View commit details
    Browse the repository at this point in the history

  4. add more docstring on extract_sum

    wueli91 committed Jan 20, 2020
    Configuration menu
    Copy the full SHA
    62c429a View commit details
    Browse the repository at this point in the history

  5. rename method to extract_blackbox_parameter and add comment

    wueli91 committed Jan 20, 2020
    Configuration menu
    Copy the full SHA
    6a89c8f View commit details
    Browse the repository at this point in the history

  6. add comment to constructor_input

    wueli91 committed Jan 20, 2020
    Configuration menu
    Copy the full SHA
    ea6e4f0 View commit details
    Browse the repository at this point in the history

  7. rename method to extract_set_parameter and add comments, improve docs… 

    …tring for macro system
    wueli91 committed Jan 20, 2020
    Configuration menu
    Copy the full SHA
    fa066e1 View commit details
    Browse the repository at this point in the history

  8. improve comment

    wueli91 committed Jan 20, 2020
    Configuration menu
    Copy the full SHA
    93a42f5 View commit details
    Browse the repository at this point in the history

  9. add dependency for subtypes

    wueli91 committed Jan 20, 2020
    Configuration menu
    Copy the full SHA
    a06ebb3 View commit details
    Browse the repository at this point in the history

  10. remove a space in comment 😁

    wueli91 committed Jan 20, 2020
    Configuration menu
    Copy the full SHA
    0519616 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2020

  1. Apply suggestions from code review 

    Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>
    @schillic
    ueliwechsler and schillic committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    8a2bfe8 View commit details
    Browse the repository at this point in the history

  2. add comment to extract_sum

    ueliwechsler committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    33a266e View commit details
    Browse the repository at this point in the history

  3. fix typo

    ueliwechsler committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    63020b0 View commit details
    Browse the repository at this point in the history

  4. remove $ that broke the docstring

    ueliwechsler committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    f65c172 View commit details
    Browse the repository at this point in the history