{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":124566507,"defaultBranch":"master","name":"clpBNR","ownerLogin":"ridgeworks","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-03-09T16:36:12.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7230657?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1718891037.0","currentOid":""},"activityList":{"items":[{"before":"1617e8e7b90f7d0b42290ff028b473c3ba069c47","after":"53a8eebbdf2b0d17ebb94663d97411c0821aa415","ref":"refs/heads/master","pushedAt":"2024-06-20T14:41:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"v0.11.8 (requires SWIP 9.1.22 or better)\n- patch for pack.pl (flag name) and ReadMe (version #)","shortMessageHtmlLink":"v0.11.8 (requires SWIP 9.1.22 or better)"}},{"before":"0397edc7bfba8172427cee9a36cd71512ba568a7","after":"1617e8e7b90f7d0b42290ff028b473c3ba069c47","ref":"refs/heads/master","pushedAt":"2024-06-20T13:46:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"v0.11.8 (requires SWIP 9.1.22 or better)\n- apply term_html:portray fix to user:portray (future proofing)\n- clpBNR_toolkit: restore `small` check in `mid_split/1`\n- clpBNR_toolkit: optimize constraint setup for linear optimization (using simplex)\n- considerable refinement of global_optimum_/4 code, should be more reliable and usually faster\n- doc/Guide, update required SWIP to 9.1.22\n- doc/Guide, fix a couple of broken links\n- slight darkening of Guide's default text (see discussion issue #28)\n- clpBNR_quickstart.swinb, added tutorial links","shortMessageHtmlLink":"v0.11.8 (requires SWIP 9.1.22 or better)"}},{"before":"d458bd2f6fe8c770a971a0636c9c2fe77f61f7a8","after":"0397edc7bfba8172427cee9a36cd71512ba568a7","ref":"refs/heads/master","pushedAt":"2024-04-29T20:14:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"v0.11.7b (requires SWIP 9.1.22 or better)\n- fix to term_html:portray to avoid unwanted binding of argument","shortMessageHtmlLink":"v0.11.7b (requires SWIP 9.1.22 or better)"}},{"before":"84218d0252dd486e5a884cb77bbba9cc027c5279","after":"d458bd2f6fe8c770a971a0636c9c2fe77f61f7a8","ref":"refs/heads/master","pushedAt":"2024-04-11T16:42:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"Update QuickStart to link \"Real Arithmetic\" notebook.","shortMessageHtmlLink":"Update QuickStart to link \"Real Arithmetic\" notebook."}},{"before":"f2d0f4d03f9e59cc68f845e3aa308d2a2b255bce","after":"84218d0252dd486e5a884cb77bbba9cc027c5279","ref":"refs/heads/master","pushedAt":"2024-04-06T19:54:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"v0.11.7a (requires SWIP 9.1.22 or better)\n- fix (undoes 0.11.7) for excessive solve execution time\n- additional fix for answer processing other attributed variables didn't honor verbose flag when other vars present","shortMessageHtmlLink":"v0.11.7a (requires SWIP 9.1.22 or better)"}},{"before":"505996e60b66ed441ca6976dcdccc34e025b5d68","after":"f2d0f4d03f9e59cc68f845e3aa308d2a2b255bce","ref":"refs/heads/master","pushedAt":"2024-04-06T13:56:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"v0.11.7a (requires SWIP 9.1.22 or better)\n- fix (undoes 0.11.7) for excessive solve execution time","shortMessageHtmlLink":"v0.11.7a (requires SWIP 9.1.22 or better)"}},{"before":"5946df66f9bceb910183c2a2d84bcaff2b3a633a","after":"505996e60b66ed441ca6976dcdccc34e025b5d68","ref":"refs/heads/master","pushedAt":"2024-04-01T16:09:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"Update for 0.11.7","shortMessageHtmlLink":"Update for 0.11.7"}},{"before":"e8f43e3ce727b8faaf98d2f70f426fdc6c9cefff","after":"5946df66f9bceb910183c2a2d84bcaff2b3a633a","ref":"refs/heads/master","pushedAt":"2024-04-01T16:01:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master'\n\n# Conflicts:\n#\tprolog/clpBNR/ia_utilities.pl\n#\tswish/index.json","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master'"}},{"before":"29669cf00a04efa4b3067165913a27f7aac61afd","after":"e8f43e3ce727b8faaf98d2f70f426fdc6c9cefff","ref":"refs/heads/master","pushedAt":"2024-03-25T14:24:55.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"Merge pull request #26 from JanWielemaker/patch-1\n\nFIXED: Avoid infinite recursion if a query returns an attributed vari…","shortMessageHtmlLink":"Merge pull request #26 from JanWielemaker/patch-1"}},{"before":"af072c9c5bceba8e6023101db1c3a7ab461beabc","after":"29669cf00a04efa4b3067165913a27f7aac61afd","ref":"refs/heads/master","pushedAt":"2024-03-14T15:51:57.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"Merge pull request #25 from JanWielemaker/examples\n\nAdded index.json to avoid examples in the main menu","shortMessageHtmlLink":"Merge pull request #25 from JanWielemaker/examples"}},{"before":"8f7033b2176d09deebf5decd8c2f6de5baf5714f","after":"af072c9c5bceba8e6023101db1c3a7ab461beabc","ref":"refs/heads/master","pushedAt":"2024-03-13T20:54:50.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master'"}},{"before":"20462ba99f4865c3daae352832bd1fb7e9eed689","after":"8f7033b2176d09deebf5decd8c2f6de5baf5714f","ref":"refs/heads/master","pushedAt":"2024-03-10T15:44:13.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"Merge pull request #24 from JanWielemaker/pr\n\nTwo more issues","shortMessageHtmlLink":"Merge pull request #24 from JanWielemaker/pr"}},{"before":"7065160fb6b831d66d6dc1e4450ddafef672aabe","after":"20462ba99f4865c3daae352832bd1fb7e9eed689","ref":"refs/heads/master","pushedAt":"2024-03-08T16:00:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"v0.11.6 (requires SWIP 9.1.22 or better)\n- on input, only fuzz imprecise floating point constants (clpBNR:preciseBnd)\n- fix bug in `interval_degree/2` due to unsanctioned use of `system:'$skip_list'`\n- fix bug in `build_(::(L,H),_..)`, for var `Vartype`\n- restrict `nb_setbounds/2` second argument to be a list of two numbers (avoids error)\n- performance improvement to clpBNR_toolkit:constrain_ints_ (degraded in 11.5, see Stigler diet eg.)\n- update version requirements info in README-\"Getting Started\"\n- improve and clarify User Guide/Global Optimization esp. around solve/splitsolve\n- minor clarifications in solve/splitsolve reference doc regarding interval selection for splitting\n- conditionally compile out `check_hooks_safety` to avoid `check` noise.\n- modify `expand_answer/2` to fail if no clpBNR annotations required\n- add pldoc for all exported predicates\n- create `swish` directory for archiving notebooks for SWISH with first item (QuickStart)","shortMessageHtmlLink":"v0.11.6 (requires SWIP 9.1.22 or better)"}},{"before":"c03f9a11c186f1d66647151842e9da3ed5bbd2eb","after":"7065160fb6b831d66d6dc1e4450ddafef672aabe","ref":"refs/heads/master","pushedAt":"2024-01-26T15:40:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"v0.11.5 (requires SWIP 9.1.22 or better)\n- replace custom check on required SWIP release with `library(prolog_versions))`\n- remove global `[-discontiguous, -singleton]`, singleton checking disabled only for builtin primitives and `pd_f/3`\n- conditionally compile SWISH support (uses temporary flag `clpBNR_swish`)\n- remove dependency on first var heuristic (and global var) by deleting Nodes when Verbose=false\n- non-verbose only applies to answers (not copy mode, e.g., graphical debugger or print_term)\n- add support for integer infinities\n- refactor solve and splitsolve (code efficiencies)\n- remove redundant fail message in trace output\n- replace trace_clpBNR message predicate with debug_clpBNR\n- bug fix to multiply primitive to compensate for incorrect rounding mode for negative args (AOC23_D24)\n- bug fix in answer output for nested intervals\n- bug fix in trace wrapper; missing fail in fail case\n- bug fix to manage arithmetic and debug optimization separately (true and false respectively)\n- bug fix to avoid spurious debug message from build_term_ A**B\n- exported arithmetic function enhancement (requires 9.1.22)\n- minor optimization in linkNodeList_/3 (single clause so no CP)\n- minor optimization in splitinterval_ (real) now that meta call unnecessary (see 0.11.4)\n- minor optimization to callers of multCase and odivCase (remove unnecessary implicit cuts)\n- cleanup `::/2` and `int_decl/3` code\n- have range use `::/2` so module init check not necessary\n- bug fix in clpBNR_toolkit, linear optimization, library(simplex) requires explicit bounds constraints\n- export cf_contractor for external use, incl. small optimization (`clpBNR_toolkit`)\n- bugfix taylor_merged_contractor to handle some Horner form, other small cleanups\n- update copyright dates\n- fix link to VanEmden paper in doc (metacontractors)","shortMessageHtmlLink":"v0.11.5 (requires SWIP 9.1.22 or better)"}},{"before":"52a71375c45c738c3c15c3b4379d94164ce814cd","after":"c03f9a11c186f1d66647151842e9da3ed5bbd2eb","ref":"refs/heads/master","pushedAt":"2023-12-18T20:18:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"v0.11.4\n- forgot to update pack version","shortMessageHtmlLink":"v0.11.4"}},{"before":"5130d54c6943e198495b88e0373446c5b50ec049","after":"52a71375c45c738c3c15c3b4379d94164ce814cd","ref":"refs/heads/master","pushedAt":"2023-12-18T20:14:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"v0.11.4\n- declare sandbox hooks multifile and remove its use_module directive\n- replace trace implementation based on debug hooks with one using module `prolog_wrap`\n- remove conditional goal expansion of `non_empty/2` (`goal_expansion` a noop if unsupported)\n- eliminate need for `safe_meta` declarations on solver choices by removing meta calls\n- `chk_primitive` now uses `current_predicate/2` due to somewhat idiosyncratic nature of `predicate_property/2`\n- remove definition of `{}/0`, use `{[]}` for null constraint\n- redo answer generation to support SWISH (annotated bindings rather than separate global)\n- add html portray hook for ellipsis format in answers (remove `...` postfix op)\n- support debug topics in SWISH\n- ensure watch(_,trace) is marked unsafe\n- replace debugging(clpBNR,true) with debugging(clpBNR) (SWISH compatibility issue)\n- minor User Guide cleanups","shortMessageHtmlLink":"v0.11.4"}},{"before":"8a041b7dacfc6aa09a22c4d8958934a0d8defbc5","after":"5130d54c6943e198495b88e0373446c5b50ec049","ref":"refs/heads/master","pushedAt":"2023-12-01T21:50:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"v0.11.3\n- add sandbox declarations to enable safe execution on pengines (sandboxing)\n- add safe_meta declaration for clpBNR_toolkit:iterate/3\n- move most initialization (e.g., flags, stack size) into \"first use\" (thread) initialization\n- make `attribute_goals/1` safe by adding `list_dcg_`.\n- bugfix for missing `bindings` variable when using graphical debugger","shortMessageHtmlLink":"v0.11.3"}},{"before":"c30bd15d4bc26c7cea51b1f07b9eff6faec3872f","after":"8a041b7dacfc6aa09a22c4d8958934a0d8defbc5","ref":"refs/heads/master","pushedAt":"2023-09-27T21:13:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"v0.11.2\n- rework conditional compile on SWIP version for added robustness\n- support for using `::/2` in query mode on existing interval\n- add `interval_degree/2` predicate to API for custom solvers\n- fix bug in `attribute_goals`, non-verbose mode, to output intervals nested in terms\n- fix bug in `in` primitive for interval Z\n- improve performance of `min` and `max` primitives\n- minor optimizations/improvements","shortMessageHtmlLink":"v0.11.2"}},{"before":"7f92c9c9855e34b94b6a98454d9d69ca4db9689e","after":"c30bd15d4bc26c7cea51b1f07b9eff6faec3872f","ref":"refs/heads/master","pushedAt":"2023-05-30T20:54:04.491Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"0.11.1 plus fix for message supression on older SWIP's.","shortMessageHtmlLink":"0.11.1 plus fix for message supression on older SWIP's."}},{"before":"4942ee3b5ee27e11fcacbb58d7fa3938d98ac2ba","after":"7f92c9c9855e34b94b6a98454d9d69ca4db9689e","ref":"refs/heads/master","pushedAt":"2023-05-30T20:26:47.182Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"Temporarily suspend supression of error messages for incompatible versions of SWIP","shortMessageHtmlLink":"Temporarily suspend supression of error messages for incompatible ver…"}},{"before":"3f1d7edf5b12a1ae7d51c95606465477497e55f0","after":"4942ee3b5ee27e11fcacbb58d7fa3938d98ac2ba","ref":"refs/heads/master","pushedAt":"2023-05-30T17:46:27.360Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"v0.11.1\n- add empty module declaration for SWIP prior to 9.1.5 to avoid domain exception\n- rework `attribute_goals//1` to display constraints in graphical debugger\n- small optimization in `le` and `lt` IA primitives\n- add scheduling section to User Guide","shortMessageHtmlLink":"v0.11.1"}},{"before":"dc65f42dd36833ce65d9491b280b573f46d46e9f","after":"3f1d7edf5b12a1ae7d51c95606465477497e55f0","ref":"refs/heads/master","pushedAt":"2023-04-01T14:37:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"v0.11.0\n- convert to using new correct comparison functions in SWIP v.9.1.5 (now minimum requirement)\n- added API to support user defined IA primitives (including doc)\n- more performance tuning and code cleanups (including reorganization to enhance indexing)","shortMessageHtmlLink":"v0.11.0"}},{"before":"2909fdac5581176005d5db3bbe62bc18399e7f95","after":"dc65f42dd36833ce65d9491b280b573f46d46e9f","ref":"refs/heads/master","pushedAt":"2023-04-01T14:33:00.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ridgeworks","name":null,"path":"/ridgeworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7230657?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master'"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEaq3OdAA","startCursor":null,"endCursor":null}},"title":"Activity · ridgeworks/clpBNR"}