{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":237523651,"defaultBranch":"main","name":"bsc","ownerLogin":"B-Lang-org","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-01-31T22:01:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/60400362?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1709940587.0","currentOid":""},"activityList":{"items":[{"before":"388a61e03a6e8acd3413ccb61203cba9a8cd8284","after":"c481d7f5c708628993a2d6e71ec50f72cbdef14c","ref":"refs/heads/main","pushedAt":"2024-04-09T21:21:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Add braces to some if-stmts in generated Bluesim C++\n\nto avoid warnings about ambiguous 'else'","shortMessageHtmlLink":"Add braces to some if-stmts in generated Bluesim C++"}},{"before":"91a4e20a45f2a542027b8581da78f1c0058f3bde","after":"388a61e03a6e8acd3413ccb61203cba9a8cd8284","ref":"refs/heads/main","pushedAt":"2024-04-07T08:38:23.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Testsuite: Add \"which_mach\" and use in div-by-zero tests\n\nThe divmod tests fail on arm64, because the tests are expecting SIGFPE\nerror to be raised, but ARM does not.  This may need to be addressed in\nthe code generation for Bluesim, but in the meantime, update the test\nto expect no error when the MACHTYPE is arm64.\n\nA new \"which_mach\" procedure in the testsuite allows querying MACHTYPE.\n\nFound an old test that was calling \"uname -m\" to get the machtype, and\ntest for x86_64.  This could be replaced with a call to \"which_mach\",\nbut the use was to workaround a bug in iverilog 0.8.3, which is older\nthan we need to support, so instead the code is just removed.","shortMessageHtmlLink":"Testsuite: Add \"which_mach\" and use in div-by-zero tests"}},{"before":"3e8425d81c1f2d54ab9dd8dd91820eee91fe33dd","after":"91a4e20a45f2a542027b8581da78f1c0058f3bde","ref":"refs/heads/main","pushedAt":"2024-04-06T20:09:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"GitHub CI: Update GHC latest and HLS versions","shortMessageHtmlLink":"GitHub CI: Update GHC latest and HLS versions"}},{"before":"a4a73e84fdbec151ceaef288ca8e177fc229361f","after":"3e8425d81c1f2d54ab9dd8dd91820eee91fe33dd","ref":"refs/heads/main","pushedAt":"2024-04-06T04:18:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Libraries Guide: Fix type of continuousAssert\n\nAlso fix the type in the Literate Haskell comments in the Assert\npackage itself, even though they are not used to generate the\ndocument now.","shortMessageHtmlLink":"Libraries Guide: Fix type of continuousAssert"}},{"before":"4d953407772265b435fbb94757b030916c280091","after":"a4a73e84fdbec151ceaef288ca8e177fc229361f","ref":"refs/heads/main","pushedAt":"2024-04-06T04:18:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"GitHub CI: Add 60 min to the timeout for macOS jobs\n\nto account for additional install time with \"brew update\" on macOS 11,\nwhich takes longer because it is deprecated for binary install and has\nto install from source.","shortMessageHtmlLink":"GitHub CI: Add 60 min to the timeout for macOS jobs"}},{"before":"ae2a2fc6cd169f7162362fd1345af81d53c63bfb","after":"4d953407772265b435fbb94757b030916c280091","ref":"refs/heads/main","pushedAt":"2024-03-22T19:58:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kenta2","name":null,"path":"/kenta2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/692544?s=80&v=4"},"commit":{"message":"update link and tag to latest release","shortMessageHtmlLink":"update link and tag to latest release"}},{"before":"dfc75681e90d09510b1e8ae916b507d24cacfab7","after":"ae2a2fc6cd169f7162362fd1345af81d53c63bfb","ref":"refs/heads/main","pushedAt":"2024-03-08T23:23:37.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Add release notes for 2024.01","shortMessageHtmlLink":"Add release notes for 2024.01"}},{"before":"dfc75681e90d09510b1e8ae916b507d24cacfab7","after":null,"ref":"refs/tags/2024.01","pushedAt":"2024-03-08T23:17:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kenta2","name":null,"path":"/kenta2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/692544?s=80&v=4"}},{"before":"2694b42cd1316fb72ddd5518b67877cf13da14ba","after":"dfc75681e90d09510b1e8ae916b507d24cacfab7","ref":"refs/heads/main","pushedAt":"2024-03-04T01:41:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Update test for Bluespec Inc bug 1490\n\nThe heap overflow in GHC 9.8 (actually starting with 9.6) is correct.\nEarlier GHC 9.4 can be seen to use the same amount of memory, but is\nnot correctly handling the RTS -M flag.  If possible, the exp file\nshould be updated to more directly test what the concern is -- whether\nthat's a trace of the BSC elaboration or GHC's reporting of the live\nbytes (which is smaller than the actual heap usage, due to\nfragmentation) or something else.","shortMessageHtmlLink":"Update test for Bluespec Inc bug 1490"}},{"before":"e8aeb85605636f596d7575b5e910429226e36cde","after":"2694b42cd1316fb72ddd5518b67877cf13da14ba","ref":"refs/heads/main","pushedAt":"2024-03-03T09:21:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Typecheck: Do more substitution on reduced preds\n\nAdd a test case that fails to typecheck without the substitution.\nIt's unclear if this is the most efficient fix -- for example, if the\nsubstitution is just covering for an issue earlier where the\npredicates are created -- but this doesn't seem to increase the run\ntime of the testsuite, so it's probably ok.","shortMessageHtmlLink":"Typecheck: Do more substitution on reduced preds"}},{"before":"d79e6e805d4653e3b2a82248cd4e2b89327b2e2e","after":"e8aeb85605636f596d7575b5e910429226e36cde","ref":"refs/heads/main","pushedAt":"2024-02-25T21:09:04.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"GitHub CI: Cleanup the Toooba test jobs\n\nA workaround for elf_to_hex on Ubuntu is no longer needed","shortMessageHtmlLink":"GitHub CI: Cleanup the Toooba test jobs"}},{"before":"d6b6cebaf162f161b3ac16846379cfa0c6d96003","after":"d79e6e805d4653e3b2a82248cd4e2b89327b2e2e","ref":"refs/heads/main","pushedAt":"2024-02-24T21:33:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Fix Bluetcl use of GHC macros, for older GHC\n\nThe __GLASGOW_HASKELL_FULL_VERSION__ CPP macro was introduced in 9.0,\nso for earlier versions, we need to construct it from other macros\nthat have existed since at least 7.10.","shortMessageHtmlLink":"Fix Bluetcl use of GHC macros, for older GHC"}},{"before":"15463f5094b419b210224d3abda05e271087411b","after":"d6b6cebaf162f161b3ac16846379cfa0c6d96003","ref":"refs/heads/main","pushedAt":"2024-02-19T21:44:34.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"GitHub CI: Shorten the timeout for jobs","shortMessageHtmlLink":"GitHub CI: Shorten the timeout for jobs"}},{"before":"1c27a41ea5d6fbcd0a27c207a117512df37a0c1c","after":"15463f5094b419b210224d3abda05e271087411b","ref":"refs/heads/main","pushedAt":"2024-02-17T21:20:31.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Update example of how data constructors are translated","shortMessageHtmlLink":"Update example of how data constructors are translated"}},{"before":"2b83a789bc3c4ad334eb1ac70cce0551c46eb9b1","after":"1c27a41ea5d6fbcd0a27c207a117512df37a0c1c","ref":"refs/heads/main","pushedAt":"2024-02-07T08:57:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"GitHub CI: Update action versions\n\nThe checkout and cache versions are updated to newer versions (v4)\nthat use Node 20, because Node 16 is being phased out.\nThe upload- and download-artifact actions are updated to newer\nversions (v4) that have significant performance improvements.","shortMessageHtmlLink":"GitHub CI: Update action versions"}},{"before":"e4361d9177f19733ce8eeafd27737e10bd7c58a1","after":"2b83a789bc3c4ad334eb1ac70cce0551c46eb9b1","ref":"refs/heads/main","pushedAt":"2024-02-06T21:25:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Generics: Derive sum type instances with a balanced binary tree of Eithers\n\nAdd test case from GitHub Discussion 414","shortMessageHtmlLink":"Generics: Derive sum type instances with a balanced binary tree of Ei…"}},{"before":"3683cf35d3f6f05528f87db5085ba985b7c6f7d0","after":"e4361d9177f19733ce8eeafd27737e10bd7c58a1","ref":"refs/heads/main","pushedAt":"2024-01-17T20:17:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Make macOS CI more robust to changes in the SystemC library\n\nThe GitHub VMs for macOS 12 and 13 are now installing SystemC compiled\nwith a newer C++ standard than C++11.  This causes the testsuite to\nfail to link, because we have hardcoded the flag '-std=c++11'.\nIn fact, the macOS 12 VM seems to sometimes install a library using\nC++11 and sometimes using C++17.  To account for this, identify the\nflag to use by looking at the symbols in the library.","shortMessageHtmlLink":"Make macOS CI more robust to changes in the SystemC library"}},{"before":"b59eb115da611896bad9ea5051d2f7f0742b8500","after":"3683cf35d3f6f05528f87db5085ba985b7c6f7d0","ref":"refs/heads/main","pushedAt":"2024-01-17T04:07:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"GitHub CI: Include SystemC output in the archive on failure","shortMessageHtmlLink":"GitHub CI: Include SystemC output in the archive on failure"}},{"before":"f00d205867eefe09c60e11b4df155bb87041799a","after":"b59eb115da611896bad9ea5051d2f7f0742b8500","ref":"refs/heads/main","pushedAt":"2024-01-16T22:11:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Add GHC version to Bluetcl, for use in testsuite\n\nThe Bluetcl 'version' command now has a 'ghc' subcommand that will\nprint the version of GHC that the Bluespec tools were compiled with.\nThe subcommand 'bsc' was also added, which has the same behavior as\ncalling 'version' with no arguments: prints the Bluespec tools version.\nThe auotmated printing of help messages needed to be updated to work\nfor commands with optional subcommands like this.\n\nThe testsuite now has a variable 'ghc_version' which can be consulted.\nThe tests for bug 1490 are updated to use this, because BSC compiled\nwith GHC 9.8.1 has regressions that need to be handled differently.\n\nThe regexp for assigning 'bsc_version' in the testsuite was broken and\nwas assigning it multiple lines of text (which caused confusion when\nprinted in the log).  Instead of fixing the regexp, the getting of the\nversion is changed to use Bluetcl, to print just the version info.","shortMessageHtmlLink":"Add GHC version to Bluetcl, for use in testsuite"}},{"before":"cf4dcee5b22498e5ad3fe08096c9450c91e0ff4f","after":"f00d205867eefe09c60e11b4df155bb87041799a","ref":"refs/heads/main","pushedAt":"2023-12-30T00:18:00.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Bump GHC version to 9.4.7, fix HLS at 2.5.0.0\n\nBecause we weren't specifying the HLS version for ghcup to install,\nbut were specifying the GHC version, the GitHub CI suddenly started\nfailing when a new HLS version became the default and which didn't\nsupport the GHC version we were using because a newer patch version\nbecame available.  To avoid that, we fix the HLS version, so that we\ncan update the GHC and HLS versions together, on our schedule.","shortMessageHtmlLink":"Bump GHC version to 9.4.7, fix HLS at 2.5.0.0"}},{"before":"d06bdc52e46d631c0fe1e736c98955ad6efd71a9","after":"cf4dcee5b22498e5ad3fe08096c9450c91e0ff4f","ref":"refs/heads/main","pushedAt":"2023-12-26T06:25:32.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mieszko","name":null,"path":"/mieszko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95147?s=80&v=4"},"commit":{"message":"Merge pull request #655 from mieszko/uppercase-arg-names\n\nallow any unqualified classic identifier in interface `arg_names`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2055937809\" data-permission-text=\"Title is private\" data-url=\"https://github.com/B-Lang-org/bsc/issues/655\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/B-Lang-org/bsc/pull/655/hovercard\" href=\"https://github.com/B-Lang-org/bsc/pull/655\">#655</a> from mieszko/uppercase-arg-names"}},{"before":"54d32da77e5f857f6589af3fcb86bc2194cb4628","after":"d06bdc52e46d631c0fe1e736c98955ad6efd71a9","ref":"refs/heads/main","pushedAt":"2023-12-25T02:40:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Extend the buffer used for rendering signal names\n\nThe compilers are smart enough to see that this might be a problem but\nnot to know that the range of the value is limited.\n\nBluesim/bs_prim_mod_reg.h: In member function 'unsigned int MOD_mkValidVectorTest_Dut::dump_VCD_defs(unsigned int)':\nBluesim/bs_prim_mod_reg.h:1007:31: warning: '%u' directive output may be truncated writing between 1 and 10 bytes into a region of size 2 [-Wformat-truncation=]\n 1007 |       snprintf(buf, 8, \"Q_OUT_%u\", i);\n      |                               ^~\nIn member function 'unsigned int MOD_CReg<T>::dump_VCD_defs(unsigned int) [with T = unsigned char]',\n    inlined from 'unsigned int MOD_mkValidVectorTest_Dut::dump_VCD_defs(unsigned int)' at bazel-out/k8-opt/bin/rtl/lib/test/mkValidVectorTest_Dut.cxx:193:39:\nBluesim/bs_prim_mod_reg.h:1007:24: note: directive argument in the range [0, 4294967294]\n 1007 |       snprintf(buf, 8, \"Q_OUT_%u\", i);\n      |                        ^~~~~~~~~~\nBluesim/bs_prim_mod_reg.h:1007:15: note: 'snprintf' output between 8 and 17 bytes into a destination of size 8\n 1007 |       snprintf(buf, 8, \"Q_OUT_%u\", i);\n      |       ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~","shortMessageHtmlLink":"Extend the buffer used for rendering signal names"}},{"before":"96080b570d03fe11f36b15d4ce962f340ceac2aa","after":"54d32da77e5f857f6589af3fcb86bc2194cb4628","ref":"refs/heads/main","pushedAt":"2023-12-24T02:42:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"GitHub CI: Handle macOS VMs that don't have ghcup\n\nThe actions/runner-images repo has removed Haskell tools from macOS 13+","shortMessageHtmlLink":"GitHub CI: Handle macOS VMs that don't have ghcup"}},{"before":"4680b41ea7778f3971c71f097d54ee09dc30fde3","after":"96080b570d03fe11f36b15d4ce962f340ceac2aa","ref":"refs/heads/main","pushedAt":"2023-12-21T20:25:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Fix BSV parsing of naked expressions\n\nin statement and case-expression contexts (Issue 646)","shortMessageHtmlLink":"Fix BSV parsing of naked expressions"}},{"before":"63b2cc2ee21c22294eea90c6fa7f2b6cc904e2f1","after":"4680b41ea7778f3971c71f097d54ee09dc30fde3","ref":"refs/heads/main","pushedAt":"2023-12-21T10:36:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"GitHub CI: Turn off fail-fast for all matrix jobs","shortMessageHtmlLink":"GitHub CI: Turn off fail-fast for all matrix jobs"}},{"before":"bbbaadb8f34d49fed071e89778df56e608148931","after":"63b2cc2ee21c22294eea90c6fa7f2b6cc904e2f1","ref":"refs/heads/main","pushedAt":"2023-11-04T22:46:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"README.md: add package information about gentoo (#640)\n\nand Repology search engine link\r\n\r\nTo install \"sci-electronics/bluespec\":\r\n    sudo eselect repository enable guru\r\n    sudo emerge sci-electronics/bluespec\r\nTo view all installed bsc version:\r\n    eselect bluespec list\r\nTo switch between bsc versions:\r\n    sudo eselect bluespec set bsc-2023.07","shortMessageHtmlLink":"README.md: add package information about gentoo (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1975438659\" data-permission-text=\"Title is private\" data-url=\"https://github.com/B-Lang-org/bsc/issues/640\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/B-Lang-org/bsc/pull/640/hovercard\" href=\"https://github.com/B-Lang-org/bsc/pull/640\">#640</a>)"}},{"before":"84f81244a6a6f99efce88b7c6327ab209d0107dd","after":"bbbaadb8f34d49fed071e89778df56e608148931","ref":"refs/heads/main","pushedAt":"2023-11-02T21:29:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Fix type: s/typdef/typedef/","shortMessageHtmlLink":"Fix type: s/typdef/typedef/"}},{"before":"10e1952c388e639e12087d89fc2e4c01d32dffde","after":"84f81244a6a6f99efce88b7c6327ab209d0107dd","ref":"refs/heads/main","pushedAt":"2023-10-31T05:04:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Update the URL for Icarus Verilog\n\nThe iverilog website has been replaced with a GitHub Pages site,\ngenerated from documentation in the iverilog GitHub repo.\nSee issue 886 in steveicarus/iverilog","shortMessageHtmlLink":"Update the URL for Icarus Verilog"}},{"before":"48cb1278732cdae9585327ccee016cc9d4eb3332","after":"10e1952c388e639e12087d89fc2e4c01d32dffde","ref":"refs/heads/main","pushedAt":"2023-10-24T21:03:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Update testsuite after proviso changes in FixedPoint\n\nPrevious commits added Min provisos to the FixedPoint library;\ntests that make polymorphic use of FixedPoint also need these provisos","shortMessageHtmlLink":"Update testsuite after proviso changes in FixedPoint"}},{"before":"9a4e8ffc7d83031ef6277d2be8c30564e412d3c5","after":"48cb1278732cdae9585327ccee016cc9d4eb3332","ref":"refs/heads/main","pushedAt":"2023-10-24T02:38:14.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"quark17","name":"Julie Schwartz","path":"/quark17","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7946070?s=80&v=4"},"commit":{"message":"Improve provisos on FixedPoint function epsilon\n\nThe epsilon function doesn't make sense for FixedPoint#(1,0), so\nadd provisos to forbid it","shortMessageHtmlLink":"Improve provisos on FixedPoint function epsilon"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAELG-qOAA","startCursor":null,"endCursor":null}},"title":"Activity · B-Lang-org/bsc"}