{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":103059740,"defaultBranch":"master","name":"lambdapi","ownerLogin":"Deducteam","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-09-10T20:32:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/32068788?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1709739252.0","currentOid":""},"activityList":{"items":[{"before":"a884b8177c8557273b4e672bbda3327b190f40b8","after":"0b91a5db002c3e7d5a863e6617064a37dfd96836","ref":"refs/heads/master","pushedAt":"2024-05-07T19:25:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Show the Goal panel if it has lost focus (#1081)\n\n* vscode: send answer with None goals when exception occurs\r\n\r\n* Goals panel focus : change comment in lp_lsp\r\n\r\n* vscode : do nothing when goals are null, get focus back for goals panel before showing logs and goals","shortMessageHtmlLink":"Show the Goal panel if it has lost focus (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2248052801\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1081\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1081/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1081\">#1081</a>)"}},{"before":"04e52b25821ce0576f941012820f36a86e0119e4","after":"a884b8177c8557273b4e672bbda3327b190f40b8","ref":"refs/heads/master","pushedAt":"2024-05-07T16:53:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"fix parsing error : return commands even when the end of the file contains parsing error (#1086)\n\n* fix parsing error : return commands even when the end of the file contains parsing error\r\n\r\n* fix parsing error : add parsing error at the end of logs instead of the beginning\r\n\r\n* move green cursor to the end of the current command instead of the begin of the line to display logs related to missing tokens at the end of the file\r\n\r\n* fix position of green cursor when navigating proofs in the presence of opening bracket\r\n\r\n* fix green cursor position when using ctrl + enter navigation\r\n\r\n* Only consider logs that are attached to commands whose starting positions are beyond the cursor\r\n\r\n* fix position of green cursor with check until cursor command to be more accurate","shortMessageHtmlLink":"fix parsing error : return commands even when the end of the file con…"}},{"before":"d793f96fb0da9c38a61e37991fe1de876dc8682f","after":"04e52b25821ce0576f941012820f36a86e0119e4","ref":"refs/heads/master","pushedAt":"2024-05-03T16:33:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Check libraries when Lambdapi code changes (#1107)\n\n* create a script to clone libraries and check them and call it from pipeline\r\n\r\n* feat/check libraries : file renaming\r\n\r\n* feat/check libs : check dk files and lambdapi-stdlib\r\n\r\n* rename checkLibraries to test_libs, show time and simplify test_lib script\r\n\r\n* check libraries some renaming and redirection of lambdapi check output\r\n\r\n* checkLibs : extract foldername from repo uri\r\n\r\n* fix and rename test script + include make test_libs in make tests\r\n\r\n* simplify runtests.sh\r\n\r\n* ci: test_lib is already included in tests\r\n\r\n* move cloned repositories to /tmp\r\n\r\n* tests : rename variable in test_lib.sh, put back redirection to outwith simplification and check if repo has already been cloned to prevent clone from failing\r\n\r\n* tests: In runtests.sh, put back redirection to out with simplification\r\n\r\n* test_lib.sh: use only one find\r\n\r\n---------\r\n\r\nCo-authored-by: Frédéric Blanqui <frederic.blanqui@inria.fr>","shortMessageHtmlLink":"Check libraries when Lambdapi code changes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2272582861\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1107\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1107/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1107\">#1107</a>)"}},{"before":"df6f7bcf8956ce850550070fafcc706bc7c1506d","after":"d793f96fb0da9c38a61e37991fe1de876dc8682f","ref":"refs/heads/master","pushedAt":"2024-05-02T15:51:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"remove .ocamlformat files (#1109)","shortMessageHtmlLink":"remove .ocamlformat files (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2275824909\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1109\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1109/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1109\">#1109</a>)"}},{"before":"0a22cf901c2bb02767a2b68cc628c0d6a704a184","after":"df6f7bcf8956ce850550070fafcc706bc7c1506d","ref":"refs/heads/master","pushedAt":"2024-04-30T20:56:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"rename some test files (#1106)","shortMessageHtmlLink":"rename some test files (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2272358521\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1106\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1106/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1106\">#1106</a>)"}},{"before":"2db5c590f7390e344c699dffe60b104186bff76d","after":"0a22cf901c2bb02767a2b68cc628c0d6a704a184","ref":"refs/heads/master","pushedAt":"2024-04-30T12:45:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"fix #1092 (#1105)","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #1092.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2260673267\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1092\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Deducteam/lambdapi/issues/1092/hovercard\" href=\"https://github.com/Deducteam/lambdapi/issues/1092\">#1092</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2271345126\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1105\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1105/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1105\">#1105</a>)"}},{"before":"965fdaea7733665d4c83dbf14d7ccda506928cb0","after":"2db5c590f7390e344c699dffe60b104186bff76d","ref":"refs/heads/master","pushedAt":"2024-04-30T12:45:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"fix #1103 (#1104)","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #1103.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2268894345\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1103\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Deducteam/lambdapi/issues/1103/hovercard\" href=\"https://github.com/Deducteam/lambdapi/issues/1103\">#1103</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2271304392\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1104\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1104/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1104\">#1104</a>)"}},{"before":"2f54828745dc8442a7e9f499aa76651d91dd227c","after":"965fdaea7733665d4c83dbf14d7ccda506928cb0","ref":"refs/heads/master","pushedAt":"2024-04-26T09:17:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"add flag print_meta_args (#1100)\n\nfix #1096","shortMessageHtmlLink":"add flag print_meta_args (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2265321036\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1100\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1100/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1100\">#1100</a>)"}},{"before":"5f606fa5e8a269181dfd231df867bd596950cbec","after":"2f54828745dc8442a7e9f499aa76651d91dd227c","ref":"refs/heads/master","pushedAt":"2024-04-26T08:58:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"fix issue #1097 - meta numbering reset (#1099)","shortMessageHtmlLink":"fix issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2261472753\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1097\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Deducteam/lambdapi/issues/1097/hovercard\" href=\"https://github.com/Deducteam/lambdapi/issues/1097\">#1097</a> - meta numbering reset (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2265259365\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1099\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1099/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1099\">#1099</a>)"}},{"before":"a4bc3a492ff542be2989b545362cd98ed38412e1","after":"5f606fa5e8a269181dfd231df867bd596950cbec","ref":"refs/heads/master","pushedAt":"2024-04-25T13:33:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Fix #554 (#1095)\n\nBump sedlex to 3.2 which fixes its issue #96\r\nhttps://github.com/ocaml-community/sedlex/issues/96","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #554.\">Fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"802622837\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/554\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Deducteam/lambdapi/issues/554/hovercard\" href=\"https://github.com/Deducteam/lambdapi/issues/554\">#554</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2261391583\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1095\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1095/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1095\">#1095</a>)"}},{"before":"50fce21c23c855793bb5fcf666474f5adda6d31f","after":"a4bc3a492ff542be2989b545362cd98ed38412e1","ref":"refs/heads/master","pushedAt":"2024-04-25T09:41:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Set properly standard emacs package (#1090)\n\n* Set properly standard emacs package\r\n\r\n* Remove Cask file and dune integration\r\n\r\n* Slightly instructions in makefile\r\n\r\n* Shortened installation section\r\n\r\n* Downgrade minimal eglot to 1.6, fix pkg\r\n\r\nThe lambdapi-pkg must contain a single form\r\n\r\n* Review emacs requirements\r\n\r\neldoc-documentation-compose requires emacs 28.1\r\n\r\n* Be coherent on the name of the package\r\n\r\nThe package name is lambdapi-mode\r\n\r\n* More thorough testing\r\n\r\nCopy the lambdapi binary to the test environment\r\n\r\n* Allow to parameterise the path to lambdapi\r\n\r\n---------\r\n\r\nCo-authored-by: Gabriel Hondet <koizel@tilde.club>","shortMessageHtmlLink":"Set properly standard emacs package (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2259034644\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1090\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1090/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1090\">#1090</a>)"}},{"before":"09025929094d27ac2d401269d8bbd677e06e2dd2","after":"50fce21c23c855793bb5fcf666474f5adda6d31f","ref":"refs/heads/master","pushedAt":"2024-04-24T14:44:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"fix typo in user manual","shortMessageHtmlLink":"fix typo in user manual"}},{"before":"bc7e377199a7f4797b7eeb62e980de16d3696b5d","after":"09025929094d27ac2d401269d8bbd677e06e2dd2","ref":"refs/heads/master","pushedAt":"2024-04-24T13:44:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Parse integers and negative floats for notations (#1093)\n\n* Parse integers and negative floats for notations\r\n\r\n* Update manual\r\n\r\n* Fix lexing\r\n\r\nUse non overlapping syntactical classes\r\n\r\n* Don't test raw_dk on iss706.lp (notation)\r\n\r\n* Update Makefile.bnf to include neg_nat\r\n\r\n---------\r\n\r\nCo-authored-by: Frédéric Blanqui <frederic.blanqui@inria.fr>","shortMessageHtmlLink":"Parse integers and negative floats for notations (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2260913424\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1093\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1093/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1093\">#1093</a>)"}},{"before":"cc2e8bafa21219d6f21fe9f22edf6e4124dd2639","after":"bc7e377199a7f4797b7eeb62e980de16d3696b5d","ref":"refs/heads/master","pushedAt":"2024-04-24T13:18:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"update CONTRIBUTING.md (#1094)","shortMessageHtmlLink":"update CONTRIBUTING.md (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2260924655\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1094\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1094/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1094\">#1094</a>)"}},{"before":"51263d64bf870141b2091815e841c9043edee5cb","after":"cc2e8bafa21219d6f21fe9f22edf6e4124dd2639","ref":"refs/heads/master","pushedAt":"2024-04-23T17:19:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"coq export: do not fail, only warn when a command is not translated + update doc (#1091)\n\nupdate doc: with -o stt_coq, parameters with no type are assumed to be of type Set","shortMessageHtmlLink":"coq export: do not fail, only warn when a command is not translated +…"}},{"before":"49fb1e3b1e7bdc8569387bc4945e641e55026200","after":"51263d64bf870141b2091815e841c9043edee5cb","ref":"refs/heads/master","pushedAt":"2024-04-23T10:14:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Fix issue #1001 (#1087)\n\nWith the invaluable help of Michael Faerber\r\n\r\nCo-authored-by: Gabriel Hondet <koizel@tilde.club>\r\nCo-authored-by: Frédéric Blanqui <frederic.blanqui@inria.fr>","shortMessageHtmlLink":"Fix issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1820713122\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1001\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Deducteam/lambdapi/issues/1001/hovercard\" href=\"https://github.com/Deducteam/lambdapi/issues/1001\">#1001</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2257142779\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1087\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1087/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1087\">#1087</a>)"}},{"before":"ecde8fd4f8a6d008aef199d6c357d0a978d79294","after":"49fb1e3b1e7bdc8569387bc4945e641e55026200","ref":"refs/heads/master","pushedAt":"2024-04-23T10:01:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"rawdk export: fix type of AC symbols (#1089)","shortMessageHtmlLink":"rawdk export: fix type of AC symbols (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2258367938\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1089\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1089/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1089\">#1089</a>)"}},{"before":"37c5b9cdc167a327f33f0a5b015012c0065a7c56","after":"ecde8fd4f8a6d008aef199d6c357d0a978d79294","ref":"refs/heads/master","pushedAt":"2024-04-22T20:59:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"fix rawdk export of AC symbols (#1088)","shortMessageHtmlLink":"fix rawdk export of AC symbols (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2257425989\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1088\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1088/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1088\">#1088</a>)"}},{"before":"c0ee174bcffd1487973e5c1f5ccf592f8794148b","after":"37c5b9cdc167a327f33f0a5b015012c0065a7c56","ref":"refs/heads/master","pushedAt":"2024-04-18T15:55:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"remove ocaml warning about unix (#1085)\n\nfix #1084","shortMessageHtmlLink":"remove ocaml warning about unix (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2251010455\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1085\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1085/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1085\">#1085</a>)"}},{"before":"bd9a2d8bb037967788ac9cb3e23b3f0269f7de60","after":"c0ee174bcffd1487973e5c1f5ccf592f8794148b","ref":"refs/heads/master","pushedAt":"2024-04-18T14:28:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"update editors/vscode/INSTALL.md","shortMessageHtmlLink":"update editors/vscode/INSTALL.md"}},{"before":"d19df78aa929f930fcd345a352458cb2b66edf1b","after":"bd9a2d8bb037967788ac9cb3e23b3f0269f7de60","ref":"refs/heads/master","pushedAt":"2024-04-12T15:04:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Fix colors in terminal (#1080)\n\n* change color of queries answers in terminal to black instead of red\r\n\r\n* fix color of text in command line Lambdapi when Console.out is used\r\n\r\n* fix/colors : update CHANGES.md","shortMessageHtmlLink":"Fix colors in terminal (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2240254785\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1080\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1080/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1080\">#1080</a>)"}},{"before":"59faaab1537a20b23a7bf18d69cde782348f744b","after":"d19df78aa929f930fcd345a352458cb2b66edf1b","ref":"refs/heads/master","pushedAt":"2024-04-12T13:41:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Fix location of symbol in logs when the object is not found within a tactic (#1078)\n\n* Show the location in terminal when the unknown object exception is catched by the scope_term function\r\n\r\n* add square brackets to location message when object is not found\r\n\r\n* fix symbol location within tactic : move the location printing in the Lsp server side\r\n\r\n* get ride of console.out which is used for debugging and add position to message instead. add pos proof error and command error too","shortMessageHtmlLink":"Fix location of symbol in logs when the object is not found within a …"}},{"before":"01921e04b8a5addd2d6ac6bce11aa23af98ea8a5","after":"59faaab1537a20b23a7bf18d69cde782348f744b","ref":"refs/heads/master","pushedAt":"2024-04-12T09:01:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alidra","name":null,"path":"/Alidra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40537601?s=80&v=4"},"commit":{"message":"feat/vscode: publish vscode extension if a new version is detected (#1076)\n\n* feat/vscode: publish vscode extension if a new version is detected\r\n\r\n* feat/vscode: update the release instructions in the editors/vscode/RELEASE.md file","shortMessageHtmlLink":"feat/vscode: publish vscode extension if a new version is detected (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2228456998\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1076\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1076/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1076\">#…</a>"}},{"before":"f9689acda53fbf4700364506ac1746c42b957877","after":"01921e04b8a5addd2d6ac6bce11aa23af98ea8a5","ref":"refs/heads/master","pushedAt":"2024-04-10T05:49:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"coq export: use Printf instead of Format (#1079)","shortMessageHtmlLink":"coq export: use Printf instead of Format (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2234147124\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1079\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1079/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1079\">#1079</a>)"}},{"before":"ef44a7c93f48f6798fd345001aeae4da3f6c547d","after":"f9689acda53fbf4700364506ac1746c42b957877","ref":"refs/heads/master","pushedAt":"2024-04-05T08:47:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Fix/logs when missing pkg (#1075)\n\n* fix #1069\r\n* fix/logs : catch exception in new_doc when lambdapi.pkg is missing. Change lp_doc.t\r\n* modify lp_lsp to handle Fatal error\r\n* update CHANGES.md","shortMessageHtmlLink":"Fix/logs when missing pkg (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2226584164\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1075\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1075/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1075\">#1075</a>)"}},{"before":"9eab1daddc94e9687fc3edba5094a447ca61a44a","after":"ef44a7c93f48f6798fd345001aeae4da3f6c547d","ref":"refs/heads/master","pushedAt":"2024-03-30T11:42:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"fix issue#638 : show log message when symbol is defined (#1070)\n\n* fix issue#638 : show log message when symbol is defined\r\n\r\n* code refactoring of function get_proof_data\r\n\r\n* code refactoring of function get_proof_data\r\n\r\n* add code to print logs in get_proof_data\r\n\r\n* merge with master\r\n\r\n* restore console print messages in pdata_finalizer\r\n\r\n* fix logs by collecting them after calling pdata_serializer in lp_doc.ml\r\n\r\n---------\r\n\r\nCo-authored-by: Frédéric Blanqui <fblanqui@users.noreply.github.com>","shortMessageHtmlLink":"fix issue#638 : show log message when symbol is defined (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2212861236\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1070\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1070/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1070\">#1070</a>)"}},{"before":"e30b9790784ee97dec66ac5a4420084700107b27","after":"9eab1daddc94e9687fc3edba5094a447ca61a44a","ref":"refs/heads/master","pushedAt":"2024-03-29T12:41:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"make sanity_check pass (#1072)","shortMessageHtmlLink":"make sanity_check pass (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2215235289\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1072\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1072/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1072\">#1072</a>)"}},{"before":"abe073d5b149d0472c281175c6c77796b9a1c580","after":"e30b9790784ee97dec66ac5a4420084700107b27","ref":"refs/heads/master","pushedAt":"2024-03-29T10:56:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"reverts the configuration of eglot-move-to-column-function introduced in 0883cce9 (#977)\n\nCo-authored-by: Rehan MALAK <rehan.malak@intrinsic-id.com>","shortMessageHtmlLink":"reverts the configuration of eglot-move-to-column-function introduced…"}},{"before":"0822848c546bb10b7f8776f50b93ed6db6ef60c6","after":"abe073d5b149d0472c281175c6c77796b9a1c580","ref":"refs/heads/master","pushedAt":"2024-03-19T17:17:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alidra","name":null,"path":"/Alidra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40537601?s=80&v=4"},"commit":{"message":"Reopen the goals panel if closed when navigating proofs (#1068)\n\n* vscode : first refactoring using browser.ts\r\n\r\n* vsce refactoring : adding clientFactory\r\n\r\n* code reformating of vscode/src/client.ts\r\n\r\n* vscode client.ts refactoring : moving handlers into activate function\r\n\r\n* vscode client.ts refactoring : geting ride of the context parameter in handlers functions\r\n\r\n* vscode client.ts refactoring : doing same with getNextProof\r\n\r\n* vscode: code refactoring, use of browser.ts and config.ts\r\n\r\n* vscode: code refactoring, moving everything to start instead of restart\r\n\r\n* code refactoring moving register commands outside activateLsp method\r\n\r\n* fix/ReopenGoalsPan : add on didDispose to webview\r\n\r\n* fix/ReopenGoalsPan: add code to reopen panel when navigation proofs\r\n\r\n* fix/ReopenGoalsPan: release focus after Goals panel creation\r\n\r\n* refactor : get ride of debug messages\r\n\r\n* vscode : added comments to code\r\n\r\n* fix/ReopenGoalsPan: remove redundant check on info panel\r\n\r\n* fix/ReopenGoalsPan: update CHANGE.md","shortMessageHtmlLink":"Reopen the goals panel if closed when navigating proofs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2192883093\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/lambdapi/issues/1068\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/lambdapi/pull/1068/hovercard\" href=\"https://github.com/Deducteam/lambdapi/pull/1068\">#1068</a>)"}},{"before":"cf607ecc8a46217b7b016bec0297b0c0d306e857","after":null,"ref":"refs/heads/dependabot/github_actions/actions/upload-artifact-4","pushedAt":"2024-03-06T15:34:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQ-7lTwA","startCursor":null,"endCursor":null}},"title":"Activity · Deducteam/lambdapi"}