{"items":[{"id":"bc6fad0e-7165-4c64-b3c1-e0825f5363a4","type":"push","org":"zhengqunkoo","repo":"hipsleek","title":"Update installation instructions for Mona in README","summary":"Updated the compilation instructions in the README to reflect changes in the Mona installation process. The repository now uses 'mona-1.4-modif.tar.gz' and a streamlined './install.sh' script instead of the old configure and make steps. This simplifies the setup process for new users.","url":"https://nomit.dev/zhengqunkoo/hipsleek/status/ae198b2a1982cfb983847f20aaea128c08428bcb727ebcf89dc67a104bce9946","author":"ngjiewu","contributors":["ngjiewu"],"updated_at":"2020-07-14T06:03:42+00:00"},{"id":"0a211052-6cce-48f4-801a-012a519d7435","type":"push","org":"zhengqunkoo","repo":"hipsleek","title":"Updated installation instructions for Mona dependency","summary":"Updated the README instructions for compiling Mona to reflect current versioning and installation practices. Switched from a custom script to standard configure and make commands for better compatibility. This should streamline the setup process for new users significantly.","url":"https://nomit.dev/zhengqunkoo/hipsleek/status/79047d151c29e4c9f0b43cbded9664c86af697c8e3a2ac117604da0c89887c50","author":"ngjiewu","contributors":["ngjiewu"],"updated_at":"2020-07-14T06:01:17+00:00"},{"id":"208a3069-d796-4ee7-9050-49faae88a3eb","type":"push","org":"zhengqunkoo","repo":"hipsleek","title":"Added the original and modified MONA 1.4 source tarballs to preserve upstream inputs for future work.","summary":"This commit adds two archive artifacts, `mona-1.4-orig.tar.gz` and `mona-1.4-modif.tar.gz`, which appear to capture the upstream MONA 1.4 source and a locally modified variant. While there’s no code diff to inspect directly here, checking these into the repo likely supports reproducible patching, comparison, or packaging work around MONA. The practical effect is that the project now has the source inputs on hand for downstream build or integration tasks.","url":"https://nomit.dev/zhengqunkoo/hipsleek/status/ac33441fc0b2796c82a846d6bdcc1f1ab894b474ade8bad2c9142c3f9eb2d161","author":"ngjiewu","contributors":["ngjiewu"],"updated_at":"2020-07-14T06:00:04+00:00"},{"id":"b28fba65-aa21-41f0-944e-dd0d6dc1d0e4","type":"push","org":"zhengqunkoo","repo":"hipsleek","title":"Partially reverted an earlier solver change to avoid unintended side effects by gating pretty-action computation behind a new global flag.","summary":"This commit backs out part of a previous solver behavior change that always ran pretty-action computation during heap entailment, which could trigger unwanted side effects even when pretty printing was not requested. It introduces a new global `pretty_print` flag, wires it to a `--pprint` CLI option, and makes the solver choose `compute_pretty_actions` only when that flag is enabled, otherwise falling back to the normal action path. The result is safer default execution with pretty-printing preserved as an explicit opt-in.","url":"https://nomit.dev/zhengqunkoo/hipsleek/status/807e2290cb68756224456dd774d6e810fd64a0ae0c306de67604641338ea8a7e","author":"","contributors":[],"updated_at":"2020-07-14T05:44:56+00:00"},{"id":"ea8a2b12-0ecf-43fa-a46d-d13f03cbc0b8","type":"push","org":"zhengqunkoo","repo":"hipsleek","title":"Rename the parser’s “entailment” terminology to “formula” in remove-aliases.py to align the script’s grammar and processing language.","summary":"This change is a terminology cleanup in `remove-aliases.py`: the grammar rule, recursive parser references, comments, and working variables now consistently use `formula` instead of `entailment`. The behavior of the alias-removal pipeline does not appear to change, but the code is easier to follow and better matches the broader concept the script is actually parsing. Practical effect: no functional difference, just clearer parser semantics for future maintenance.","url":"https://nomit.dev/zhengqunkoo/hipsleek/status/9a3033ebaf5326320b3511c27af0b67b43d060968074ccad043e824871ffbeab","author":"","contributors":[],"updated_at":"2020-07-14T05:14:05+00:00"}],"pagination":{"offset":0,"limit":5,"has_more":true}}