admin/yugr-Implib
1
0
Fork 0
mirror of https://github.com/yugr/Implib.so synced 2026-06-08 18:33:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
330 Commits 7 Branches 0 Tags
4eab9f58090f6f53e78533ce53e65c4125600872
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Yury Gribov 4eab9f5809 Fix formatting. 2025-02-26 00:11:32 +03:00
Yury Gribov 502bce6f94 Slightly more standard-compliant DEF parser. 2025-02-26 00:11:32 +03:00
Yury Gribov 09c3e44e9e Enable new test in CI. 2025-02-26 00:11:32 +03:00
Yury Gribov ea518ce1fa Please linter. 2025-02-26 00:11:32 +03:00
Yury Gribov 447d712619 Support limited form of DEF files for specifying library inteface (gh-38). 2025-02-26 00:11:32 +03:00
Yury Gribov a70768a9cf Do not test pushes to non-master branches. 2025-02-26 00:11:32 +03:00
Yury Gribov e06b8eb608 Test generated code against moar warnings. 2025-02-26 00:11:32 +03:00
Yury Gribov 91095d7c52 Emit dlclose for extraneous dlopens early. 2025-02-07 21:22:52 +03:00
Yury Gribov 7cb34ca532 Fix warnings under -Wconversion. 2025-02-02 11:44:31 +03:00
Yury Gribov 24221a7222 Mention BSD. 2025-01-27 10:11:40 +03:00
Yury Gribov 162bdb4d0e Do not link extraneous libs in Musl case. 2025-01-27 08:20:32 +03:00
Yury Gribov f5f773815b Clarify FIXME. 2025-01-26 15:33:33 +03:00
Yury Gribov 76f04c687b Clarify benchmark intent. 2025-01-26 15:19:42 +03:00
Yury Gribov 1b67a6eddb Mention exact overhead in README. 2025-01-26 15:17:28 +03:00
Yury Gribov 7004d5b595 Add tests with musl libc. 2025-01-26 15:14:52 +03:00
Yury Gribov 8b635359ed Add some comments. 2025-01-26 14:54:08 +03:00
Yury Gribov 22cae509a7 Fix typo. 2025-01-26 12:11:35 +03:00
Yury Gribov ccbca9b5cd Fix coverage run. 2025-01-26 12:07:10 +03:00
Yury Gribov 183923000c Update benchmark. 2025-01-26 11:31:13 +03:00
Yury Gribov 9b12cb7010 Added simple benchmark. 2025-01-26 11:08:35 +03:00
Yury Gribov 916fe17f67 Assert that shim table is initialized. 2025-01-26 10:46:13 +03:00
Yury Gribov 0d8e97bf14 Clarify requirements for dlopen callback. 2025-01-26 10:05:01 +03:00
Yury Gribov 4c9c41fe26 Call dlclose enough times. 2025-01-26 09:50:48 +03:00
Yury Gribov be4eab39a3 Update script comments. 2025-01-25 10:55:21 +03:00
Yury Gribov a07f939e9d Added note on potential but very unlikely deadlock. 2025-01-25 10:17:19 +03:00
Yury Gribov 4f6a055f72 Added todo. 2025-01-25 09:47:54 +03:00
Yury Gribov adb60eafb7 Mention lack of modules in Promela. 2025-01-25 09:47:02 +03:00
Yury Gribov ba5a586fe9 Simplify some EXCEPT directives. 2025-01-25 09:46:02 +03:00
Yury Gribov 8cd1b35ba1 Minor spec fixes. 2025-01-25 05:54:38 +03:00
Yury Gribov 006c9d7ac1 Print result in verification script. 2025-01-24 12:37:34 +03:00
Yury Gribov 5f533b4b55 Remove redundant semis. 2025-01-24 12:36:38 +03:00
Yury Gribov 0cdcf023c9 Learned how to use dedicated mtypes. 2025-01-24 12:30:50 +03:00
Yury Gribov 4235ef0330 Use new for-loops in model. 2025-01-24 12:23:13 +03:00
Yury Gribov a990595ff0 Added comment in spec. 2025-01-24 11:12:27 +03:00
Yury Gribov 96879fd0a2 Rename variable. 2025-01-24 11:12:27 +03:00
Yury Gribov 2b5d299b7c More automated verification driver. 2025-01-24 11:12:27 +03:00
Yury Gribov f0af663cd0 Minor Promela updates. 2025-01-24 11:12:27 +03:00
Yury Gribov ad6a00dfd1 Added todo. 2025-01-24 11:12:27 +03:00
Yury Gribov e08d19166b Added complaints about Promela. 2025-01-24 11:12:27 +03:00
Yury Gribov 6b9e17be61 Get rid of widths in Promela model. 2025-01-24 11:12:27 +03:00
Yury Gribov 388275accd Added Promela initialization model. 2025-01-24 11:12:27 +03:00
Yury Gribov 40ed720be0 Minor fixes in TLA spec. 2025-01-24 11:12:27 +03:00
Yury Gribov 0f5fc968ff Update spec README. 2025-01-24 11:12:27 +03:00
Yury Gribov 7218f80ef5 Minor spec fix. 2025-01-24 11:12:27 +03:00
Yury Gribov b7acfa4cb7 Minor fixes in tests. 2025-01-24 11:12:27 +03:00
Yury Gribov ea992cb0ae Added simple TLA+ model of Implib.so initialization code. 2025-01-24 11:12:27 +03:00
Yury Gribov 98a7819fd2 Remove redundant barrier. 2025-01-24 11:12:27 +03:00
Yury Gribov 0f95e6b9b5 Updated todo. 2025-01-24 11:12:27 +03:00
Yury Gribov 6c53f2c224 Fix Tsan checks. 2025-01-24 11:12:27 +03:00
Yury Gribov 2dcd486309 Fix Tsan checks. 2025-01-24 11:12:27 +03:00
Yury Gribov 93d62401c5 Added another threading test with deep recursion in library ctor. 2025-01-24 11:12:27 +03:00
Yury Gribov f99925c373 Fixed Tsan test and fix harmless data race. 2025-01-24 11:12:27 +03:00
Yury Gribov ebaae93b21 Added script for fuzz testing via unthread library. 2025-01-24 11:12:27 +03:00
Yury Gribov 2bcad76af6 Fixed test comments 2025-01-24 11:12:27 +03:00
Yury Gribov 8dc7fcbadd Fix race condition between address resolution and library global ctor. 2025-01-24 11:12:27 +03:00
Yury Gribov a75ed9b6e1 Add explicit void in prototypes. 2025-01-24 11:12:27 +03:00
Yury Gribov 9f738f220a Fix memory ordering. 2025-01-24 11:12:27 +03:00
Yury Gribov d9ac8b76eb Updated comment. 2025-01-24 11:12:27 +03:00
Yury Gribov d55bd74634 Print result in threads test. 2025-01-24 11:12:27 +03:00
Yury Gribov a9c7770787 Enable on 32-bit MIPS. 2025-01-24 11:12:27 +03:00
Yury Gribov 634a8380ea Various test improvements. 2025-01-24 11:12:27 +03:00
Yury Gribov 3d4d608c5e Disable thread test on mipsel (can not repro fail locally). 2025-01-24 11:12:27 +03:00
Yury Gribov cf813dc60e Remove volatile. 2025-01-24 11:12:27 +03:00
Yury Gribov 0d02dc2c8d Update README. 2025-01-24 11:12:27 +03:00
Yury Gribov 7d5644fece FreeBSD fixes. 2025-01-24 11:12:27 +03:00
Yury Gribov 5c4ff7fd31 Thread-safe initialization. 2025-01-24 11:12:27 +03:00
Yury Gribov c6ec69e3f5 Remove todo. 2024-12-31 13:25:05 +03:00
Yury Gribov 5df02e37c7 More fixes. 2024-12-31 13:20:34 +03:00
Yury Gribov 73e16df985 Fixed preparation for FreeBSD. 2024-12-31 13:16:46 +03:00
Yury Gribov 6792ee5501 Fixed workflow file. 2024-12-31 13:11:03 +03:00
Yury Gribov 8abb15c86e Enable tests on FreeBSD. 2024-12-29 05:46:18 +03:00
Yury Gribov f9ff166845 Remove irrelevant claim. 2024-05-26 14:40:25 +03:00
Yury Gribov 565cd738f2 Mention that BSDs mostly work. 2024-04-16 00:16:00 +03:00
Yury Gribov dbac8c998c Enable most tests on FreeBSD. 2024-04-16 00:09:22 +03:00
Yury Gribov 051c584779 Fix cross-compiler names. 2024-04-14 19:32:31 +03:00
Yury Gribov c685e8616f Various fixes to enable most tests on BSD. 2024-04-14 19:30:24 +03:00
Yury Gribov 48a2d1413d Fixed CFI directives for MIPS FP regs. 2024-04-11 19:34:34 +03:00
Yury Gribov be4ceb6df7 Minor test fix. 2024-04-11 19:32:25 +03:00
Yury Gribov 305ee2824e Minor test update. 2024-04-10 23:39:34 +03:00
Yury Gribov 11a0ae532a Improve FP argument passing test and fix MIPS register save code. 2024-04-10 23:35:00 +03:00
Yury Gribov 50593e9142 Improve stack arguments test. 2024-04-10 23:05:07 +03:00
Yury Gribov 8eee2d3397 Added note about MIPS vector regs. 2024-04-10 23:00:10 +03:00
Yury Gribov d4c670f02f Simplify test. 2024-04-10 22:58:27 +03:00
Yury Gribov 1fd1f215a4 Fixed detection of AVX512 platform. 2024-04-10 22:42:15 +03:00
Yury Gribov ab200827a8 Use correct macro to detect ZMM regs. 2024-04-09 21:51:35 +03:00
Yury Gribov 2e9cc632a7 Do not preserve MMX registers. 2024-04-09 21:50:20 +03:00
Yury Gribov 6562c9f84a Use vector bitsize for readability. 2024-04-09 21:48:47 +03:00
Yury Gribov 71909a39b4 Fixed vector initializers. 2024-04-09 21:38:08 +03:00
Yury Gribov db9a344271 Added test of vector arguments. 2024-04-08 23:34:05 +03:00
Yury Gribov 53f7393294 Move linker wrapper to dedicated file. 2024-04-07 14:37:29 +03:00
Yury Gribov b4c8ef2fa4 Forgot to mention RV64 in help message. 2024-03-29 20:33:55 +03:00
Yury Gribov 5a3742d7f2 Also test passing FP arguments on stack. 2024-03-29 20:32:25 +03:00
Yury Gribov fc3b1499b1 Support riscv64. 2024-03-29 20:10:49 +03:00
Yury Gribov 6167855051 Partially work around bug with passing arguments on stack for powerpc64-linux-gnu. 2024-03-27 19:52:19 +03:00
Yury Gribov 2cce6cab8f Added TODO for PPC64 v1. 2024-03-20 22:41:12 +03:00
Yury Gribov 9271ee5c7c Added dummy traceback tables for PPC. 2024-03-20 22:39:38 +03:00
Yury Gribov ce9558f905 Fix stack-based arguments for mips64. 2024-03-20 22:31:24 +03:00
Yury Gribov 48779bb6a5 Fix stack-based arguments for ppc64le. 2024-03-20 22:15:27 +03:00
Yury Gribov 887426c879 Added test for arguments on stack. 2024-03-20 21:05:06 +03:00
Yury Gribov 811e162cac Fix Pylint. 2024-03-19 22:25:40 +03:00