{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":34260221,"defaultBranch":"master","name":"verificarlo","ownerLogin":"verificarlo","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-04-20T12:52:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12033642?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715369751.0","currentOid":""},"activityList":{"items":[{"before":"d48eca83518eedd1bb88d3bea1e87ad3c94be6a4","after":"677f2f3a9c7fa4225eb38e827bafbf61c06405c7","ref":"refs/heads/master","pushedAt":"2024-05-10T19:33:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yohanchatelain","name":"Yohan Chatelain","path":"/yohanchatelain","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7467329?s=80&v=4"},"commit":{"message":"Update CHANGELOG (#344)","shortMessageHtmlLink":"Update CHANGELOG (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2289820889\" data-permission-text=\"Title is private\" data-url=\"https://github.com/verificarlo/verificarlo/issues/344\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/verificarlo/verificarlo/pull/344/hovercard\" href=\"https://github.com/verificarlo/verificarlo/pull/344\">#344</a>)"}},{"before":"2c8d5c90612a4140d12e5ce81afb2300b0c4a93b","after":"d48eca83518eedd1bb88d3bea1e87ad3c94be6a4","ref":"refs/heads/master","pushedAt":"2024-05-10T13:49:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yohanchatelain","name":"Yohan Chatelain","path":"/yohanchatelain","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7467329?s=80&v=4"},"commit":{"message":"Release v2.0.0\n\n* Introduction of New Interflop API:\r\n  - Designs for interchangeable backends to enhance flexibility and\r\n    modularity.\r\n  - Adds interflop-stdlib, encompassing:\r\n    * The core interflop API.\r\n    * Wrappers around standard libc functions.\r\n    * A suite of common libraries including FMA, RNG, and a logger.\r\n    * Commonly used headers across different modules.\r\n\r\n* Backend Initialization Enhancements:\r\n  - Introduces a new backend initialization API to decouple the\r\n    allocation of data structures from the initialization process. This\r\n    enhancement allows for various mechanisms to configure the backend:\r\n    * interflop_pre_init: Ensures necessary libc functions are available\r\n      and allocates the backend's context.\r\n    * interflop_cli: Reads backend options from the command line and\r\n      sets the backend accordingly.\r\n    * interflop_configure: Configures the backend based on a predefined\r\n      structure.\r\n    * interflop_init: Performs the initialization of the backend.\r\n\r\n* Improvements in Backends:\r\n  - Eliminates static variables used for managing backend options,\r\n    replacing them with a dynamic storage mechanism within the backend's\r\n    context.\r\n  - Introduces FMA and cast instrumentation capabilities in backends,\r\n    which can be enabled through the `--inst-fma` and `--inst-cast`\r\n    options provided by verificarlo.\r\n  - Standardizes backend naming to 'interflop-backend-*'.\r\n  - Automates the generation of SUBDIRS in Makefile.am based on\r\n    ax_interflop_backends.\r\n  - Removes dependencies on prng and Verrou from fma for license\r\n    compatibility reasons, switching to a builtin fma implementation.\r\n  - Adds logger_debug function to log debug messages and introduces\r\n    VFC_BACKENDS_LOGGER_LEVEL environment variable to control the\r\n    verbosity of the logger.\r\n\r\n* Python Script and Testing Enhancements:\r\n  - Overhauls Python script management by adopting pyproject.toml to\r\n    handle dependencies and installation procedures, removing the\r\n    Bigfloat dependency.\r\n  - Enhances test execution efficiency by implementing parallelization,\r\n    adds detailed timing measurements which can be activated with\r\n    `PROFILE_TIME=1 ./test.sh`.\r\n  - Introduces new testing strategies including skipable tests and\r\n    marking certain tests as expected to fail (XFAIL) due to issues with\r\n    certain library compatibilities.\r\n  - Marks test_static as XFAIL due to failures in static mode with\r\n    specific backends and library versions.\r\n\r\n* Dependency and Compiler Environment Updates:\r\n  - Upgrades the minimum GCC version requirement from 6.0 to 7.0 due to\r\n    segmentation faults observed with gcc-6.\r\n  - Adds a dependency on glibc 2.28 to address the absence of\r\n    <threads.h> in glibc 2.27 and earlier versions.\r\n  - Updates the supported LLVM version to llvm-16 and ensures Python\r\n    packages are compatible with python3.11 and newer versions.\r\n  - Adds checks in configure.ac for the support of the -march=native\r\n    flag and libquadmath, which are essential for the FMA library and\r\n    ARM64 compatibility.\r\n\r\n* VPREC Backend Specific Enhancements:\r\n  - Improves the VPREC backend to implement round-to-nearest\r\n    ties-to-even for single value rounding.\r\n  - Uses C implementation test against MPFR instead of relying on the\r\n    Bigfloat Python package and introduces retest.sh script to retest\r\n    failed tests.\r\n  - Refactors interflop_vprec_function_instrumentation.c to fix\r\n    identified bugs and enhance functionality.\r\n\r\n* Infrastructure and Documentation Updates:\r\n  - Consolidates Dockerfiles into a single file and updates the Docker\r\n    CI configuration to test across several LLVM versions.\r\n  - Updates the documentation to reflect all the new changes and\r\n    functionalities.\r\n\r\n* Release Preparation:\r\n  - Finalizes preparations for the v2.0.0 release, including updates of\r\n    license headers, README, and the release notes.","shortMessageHtmlLink":"Release v2.0.0"}},{"before":"8bc54eaa1d2cb1f713b7cc366c142ae7d3a3f4e8","after":"2c8d5c90612a4140d12e5ce81afb2300b0c4a93b","ref":"refs/heads/master","pushedAt":"2023-08-30T10:55:40.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"pablooliveira","name":"Pablo de Oliveira Castro","path":"/pablooliveira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/499257?s=80&v=4"},"commit":{"message":"Prepare v1.0.0 release","shortMessageHtmlLink":"Prepare v1.0.0 release"}},{"before":"a214de4d1d4fb153f2ee568742e73015b3298aaf","after":"8bc54eaa1d2cb1f713b7cc366c142ae7d3a3f4e8","ref":"refs/heads/master","pushedAt":"2023-08-29T12:14:50.000Z","pushType":"pr_merge","commitsCount":13,"pusher":{"login":"pablooliveira","name":"Pablo de Oliveira Castro","path":"/pablooliveira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/499257?s=80&v=4"},"commit":{"message":"Add note in documentation and changelog regarding the aarch64 port","shortMessageHtmlLink":"Add note in documentation and changelog regarding the aarch64 port"}},{"before":"f78e55347f286ffa3ce00a7b360bc03e0fb6070a","after":"a214de4d1d4fb153f2ee568742e73015b3298aaf","ref":"refs/heads/master","pushedAt":"2023-04-17T14:48:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pablooliveira","name":"Pablo de Oliveira Castro","path":"/pablooliveira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/499257?s=80&v=4"},"commit":{"message":"Update tests/test_ieee_backend/test.sh\n\nCo-authored-by: Pablo de Oliveira Castro <pablo@sifflez.org>","shortMessageHtmlLink":"Update tests/test_ieee_backend/test.sh"}},{"before":"a214de4d1d4fb153f2ee568742e73015b3298aaf","after":"f78e55347f286ffa3ce00a7b360bc03e0fb6070a","ref":"refs/heads/master","pushedAt":"2023-04-17T14:44:48.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"pablooliveira","name":"Pablo de Oliveira Castro","path":"/pablooliveira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/499257?s=80&v=4"},"commit":{"message":"Fix test_bitmask_backend\n\nUse FP128 shim to avoid issues between platforms","shortMessageHtmlLink":"Fix test_bitmask_backend"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERuC8dQA","startCursor":null,"endCursor":null}},"title":"Activity · verificarlo/verificarlo"}