{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":521771251,"defaultBranch":"main","name":"ControlTimingSafety.jl","ownerLogin":"Ratfink","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-08-05T20:43:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/320472?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1680181146.405869","currentOid":""},"activityList":{"items":[{"before":"a05aaaec03ba521bc31681079e0a88d7f4005ca0","after":"2126b594fed21eebcbee74b2cee78736feb249b2","ref":"refs/heads/intervals","pushedAt":"2024-04-23T15:08:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Add documentation for ULS method","shortMessageHtmlLink":"Add documentation for ULS method"}},{"before":"3d744b4984e7426f45ad3a70d2a4f778386e70ad","after":"a05aaaec03ba521bc31681079e0a88d7f4005ca0","ref":"refs/heads/intervals","pushedAt":"2024-04-23T15:02:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Only check exported docstrings","shortMessageHtmlLink":"Only check exported docstrings"}},{"before":"dce40b70469414e326887324a522976582332a26","after":"3d744b4984e7426f45ad3a70d2a4f778386e70ad","ref":"refs/heads/intervals","pushedAt":"2024-04-23T13:50:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Update documentation to use Julia 1.10","shortMessageHtmlLink":"Update documentation to use Julia 1.10"}},{"before":"9d26f1c90c9e46911410bb9971e0a7ee3403d641","after":"dce40b70469414e326887324a522976582332a26","ref":"refs/heads/intervals","pushedAt":"2024-04-23T13:42:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Update CI for Node 20","shortMessageHtmlLink":"Update CI for Node 20"}},{"before":"4c28da48829927dd4db187901cdf2109c05a43d7","after":"9d26f1c90c9e46911410bb9971e0a7ee3403d641","ref":"refs/heads/intervals","pushedAt":"2024-04-22T20:10:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Fix the safety_margin parameter","shortMessageHtmlLink":"Fix the safety_margin parameter"}},{"before":"179808d6c26f8d173995f1a06be46b46be55a072","after":"4c28da48829927dd4db187901cdf2109c05a43d7","ref":"refs/heads/intervals","pushedAt":"2024-04-22T19:40:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Cast Vectors to IntervalBoxes","shortMessageHtmlLink":"Cast Vectors to IntervalBoxes"}},{"before":"e37d0d0341be7569391412c89bac9f9c84671b45","after":"179808d6c26f8d173995f1a06be46b46be55a072","ref":"refs/heads/intervals","pushedAt":"2024-04-22T19:10:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Add ULS method for computing reachable sets","shortMessageHtmlLink":"Add ULS method for computing reachable sets"}},{"before":"976e0706ab0804df0809c288424c2b00f79e3e31","after":"e37d0d0341be7569391412c89bac9f9c84671b45","ref":"refs/heads/intervals","pushedAt":"2023-04-04T18:05:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Use IntervalBoxes for maximum_deviation_random","shortMessageHtmlLink":"Use IntervalBoxes for maximum_deviation_random"}},{"before":"a9aa63d638a9c1cb95d859685503eecb252bc468","after":"976e0706ab0804df0809c288424c2b00f79e3e31","ref":"refs/heads/intervals","pushedAt":"2023-04-04T15:34:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Add support for IntervalBoxes in evol family","shortMessageHtmlLink":"Add support for IntervalBoxes in evol family"}},{"before":"8629e25e72b5af9107c385f7152dbabc5da114a6","after":"a9aa63d638a9c1cb95d859685503eecb252bc468","ref":"refs/heads/intervals","pushedAt":"2023-04-03T20:30:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Transpose dimensions of evol\n\nThis order, with each column as a state vector, matches functions like\nlsim from ControlSystems, and offers better cache behavior with Julia's\nmatrix ordering.  It also matches many uses of the function, which\nimmediately transposed its return value.","shortMessageHtmlLink":"Transpose dimensions of evol"}},{"before":"c1a4d48baafa4c78693d61f3eed03fddd48b6349","after":"8629e25e72b5af9107c385f7152dbabc5da114a6","ref":"refs/heads/intervals","pushedAt":"2023-04-03T19:58:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Update notebook for IntervalArithmetic port","shortMessageHtmlLink":"Update notebook for IntervalArithmetic port"}},{"before":"783fea12abe56581af9df1cea7de35534cb4172b","after":"c1a4d48baafa4c78693d61f3eed03fddd48b6349","ref":"refs/heads/intervals","pushedAt":"2023-04-03T19:39:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Update tests for IntervalArithmetic usage","shortMessageHtmlLink":"Update tests for IntervalArithmetic usage"}},{"before":"4f1c5aa8e59b86378c2af8b2e680cb7a510dab74","after":"783fea12abe56581af9df1cea7de35534cb4172b","ref":"refs/heads/intervals","pushedAt":"2023-03-31T15:07:02.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Change semantics of corners_from_bounds on vectors\n\nThe old method was unused now that everything's being changed to take\nIntervalBoxes, so I decided this was more useful.  Now, it returns a\n3-dimensional array obtained from calling the individual method on each\nelement of the vector, effectively concatenating the\nautomatically-vectorized version on the third dimension.","shortMessageHtmlLink":"Change semantics of corners_from_bounds on vectors"}},{"before":"3126b0f0e1f6cc24b9e3e602acbf5bcc68270b95","after":"4f1c5aa8e59b86378c2af8b2e680cb7a510dab74","ref":"refs/heads/intervals","pushedAt":"2023-03-31T13:01:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Remove _safefloat{min,max} functions\n\nThey're not needed now that we're using intervals, which have their own\nhull function.","shortMessageHtmlLink":"Remove _safefloat{min,max} functions"}},{"before":null,"after":"3126b0f0e1f6cc24b9e3e602acbf5bcc68270b95","ref":"refs/heads/intervals","pushedAt":"2023-03-30T12:59:06.405Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Port deviation to IntervalArithmetic","shortMessageHtmlLink":"Port deviation to IntervalArithmetic"}},{"before":"1da2ded75fe0b7aa088000b00963b2e60327c42f","after":"67e841f9cd512f1ec90ecf6d1d38989501a9849e","ref":"refs/heads/gh-pages","pushedAt":"2023-03-22T16:55:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on f5979fa","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Ratfink/ControlTimingSafety.jl/commit/f5979fa8a4f526b41fb01409c0618b4cbde39fd5/hovercard\" href=\"https://github.com/Ratfink/ControlTimingSafety.jl/commit/f5979fa8a4f526b41fb01409c0618b4cbde39fd5\"><tt>f5979fa</tt></a>"}},{"before":"b432dab8ce02567b2133279d401cadd80488ae42","after":"f5979fa8a4f526b41fb01409c0618b4cbde39fd5","ref":"refs/heads/main","pushedAt":"2023-03-22T16:51:29.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Merge pull request #23 from shengjiex98/work-conserve-schedule\n\nWork conserve schedule","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1626095436\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Ratfink/ControlTimingSafety.jl/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Ratfink/ControlTimingSafety.jl/pull/23/hovercard\" href=\"https://github.com/Ratfink/ControlTimingSafety.jl/pull/23\">#23</a> from shengjiex98/work-conserve-schedule"}},{"before":"c11bf16f6a3f44695cfcc97f2eab693169e16128","after":"bd39831441325a50143899be778a4162449d9cfa","ref":"refs/heads/schedule-optimization","pushedAt":"2023-03-20T22:20:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Add heuristic for iteration order\n\nPreviously, we went over all elements of the product of constraints in\nan arbitrary order, testing schedulability for all of them.  That was\nwoefully inefficient, running many schedulability tests for systems we\nknew were dominated by others already.  Even worse when substituting in\nthe schedule_xghtc function for schedulable_jcl.  This commit adds a\nheuristic, sorting all the constraints from smallest to largest\ndeviation, and skipping the test for any where the deviation is known\nto be dominated.  This makes things much faster for JCLS, and actually\ntractable for XGHTC.","shortMessageHtmlLink":"Add heuristic for iteration order"}},{"before":"860dd1b63068396a33b405882d21208bd411cae0","after":"c11bf16f6a3f44695cfcc97f2eab693169e16128","ref":"refs/heads/schedule-optimization","pushedAt":"2023-03-20T18:01:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Always return a Matrix from schedule_xghtc","shortMessageHtmlLink":"Always return a Matrix from schedule_xghtc"}},{"before":"2583a20d3b287a5e2bdbbc9a9493be6d141260c2","after":"860dd1b63068396a33b405882d21208bd411cae0","ref":"refs/heads/schedule-optimization","pushedAt":"2023-03-20T14:35:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Add metric parameter to synthesize_constraints*","shortMessageHtmlLink":"Add metric parameter to synthesize_constraints*"}},{"before":"6a1fb6ff0810a288f6a8987e5b683cd27375685e","after":"2583a20d3b287a5e2bdbbc9a9493be6d141260c2","ref":"refs/heads/schedule-optimization","pushedAt":"2023-03-15T15:24:05.768Z","pushType":"push","commitsCount":2,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Merge branch 'schedule-optimization' of github.com:Ratfink/ControlTimingSafety.jl into schedule-optimization","shortMessageHtmlLink":"Merge branch 'schedule-optimization' of github.com:Ratfink/ControlTim…"}},{"before":"17b8465f903a45e9c3f8bf78c14e49fc81b552fd","after":"6a1fb6ff0810a288f6a8987e5b683cd27375685e","ref":"refs/heads/schedule-optimization","pushedAt":"2023-03-13T19:34:05.433Z","pushType":"push","commitsCount":2,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Add notebook for bounded runs illustration","shortMessageHtmlLink":"Add notebook for bounded runs illustration"}},{"before":"27410c2384bb573857602195befca7cc6942b24c","after":"1da2ded75fe0b7aa088000b00963b2e60327c42f","ref":"refs/heads/gh-pages","pushedAt":"2023-03-07T17:39:40.469Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on b432dab","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Ratfink/ControlTimingSafety.jl/commit/b432dab8ce02567b2133279d401cadd80488ae42/hovercard\" href=\"https://github.com/Ratfink/ControlTimingSafety.jl/commit/b432dab8ce02567b2133279d401cadd80488ae42\"><tt>b432dab</tt></a>"}},{"before":"a082edc5442c0f45c1add7646c0b36d77226d4ce","after":"b432dab8ce02567b2133279d401cadd80488ae42","ref":"refs/heads/main","pushedAt":"2023-03-07T17:32:17.646Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Merge pull request #21 from shengjiex98/sampler-weakly-hard\n\nUse the abstract type sampler for all constraints","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1609301903\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Ratfink/ControlTimingSafety.jl/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Ratfink/ControlTimingSafety.jl/pull/21/hovercard\" href=\"https://github.com/Ratfink/ControlTimingSafety.jl/pull/21\">#21</a> from shengjiex98/sampler-weakly-hard"}},{"before":"8df4f23af2ec7db0d4175c7b1c6d4cd695be4f25","after":"17b8465f903a45e9c3f8bf78c14e49fc81b552fd","ref":"refs/heads/schedule-optimization","pushedAt":"2023-03-07T14:50:24.545Z","pushType":"push","commitsCount":3,"pusher":{"login":"Ratfink","name":"Clara Hobbs","path":"/Ratfink","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/320472?s=80&v=4"},"commit":{"message":"Merge branch 'main' into schedule-optimization","shortMessageHtmlLink":"Merge branch 'main' into schedule-optimization"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEODb9sQA","startCursor":null,"endCursor":null}},"title":"Activity · Ratfink/ControlTimingSafety.jl"}