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
294 Commits 7 Branches 0 Tags
f0af663cd07b5618301e8b4f1352dc1fdc24cabf
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Yury Gribov c07dac3fee Support powerpc64le (gh-35). 2024-03-19 22:22:01 +03:00
Yury Gribov afa2f72b34 Fixed invalid CFI directive. 2024-03-18 20:58:39 +03:00
Yury Gribov a50b9711c1 Draft support for PPC64 (gh-35). 2024-03-17 13:47:10 +03:00
Yury Gribov d1ec67d7cf Minor updates. 2024-02-17 12:59:15 +03:00
Yury Gribov 65355e32a7 Added draft doc on CMake integration. 2024-02-17 12:52:01 +03:00
Yury Gribov a6afbf2997 Move rarely used sections of documentation to dedicated files. 2024-02-17 12:42:40 +03:00
Yury Gribov 0ddaa715d2 Fixed ARM error. 2023-10-04 20:17:06 +03:00
Yury Gribov 1679ff0fcf Do not request executable stack in generated asm (gh-34). 2023-10-04 20:10:17 +03:00
Yury Gribov 5fb84c2a75 Fixed issue with trailing newline in c++filt output (gh-31). 2023-07-13 08:41:20 +03:00
Yury Gribov 340e5d32a8 Added missing docstring. 2023-05-31 22:14:19 +03:00
Yury Gribov 88234a263f Use SONAME to instead of library name to dlopen (gh-27). 2023-05-31 22:11:49 +03:00
Yury Gribov 773ad9ca0e Call abort instead of exit in case of failure (gh-28). 
Calling exit is unsafe because resolution error may cause subsequent
resolution errors in destructors. This will cause recursive invocation
of exit which is UB.
 2023-05-31 10:49:46 +03:00
Yury Gribov e92b68aa7f Remove spurious file. 2023-05-31 08:58:48 +03:00
Yury Gribov 31a08ea306 Updated copyrights. 2023-05-31 08:58:37 +03:00
Yury Gribov a2709ff27a Use python from PATH (gh-29). 2023-05-31 08:55:13 +03:00
Yury Gribov 028b4a8df2 Simplify code that moves upper part of imm. 2023-05-25 05:46:11 +03:00
Yury Gribov accbfcf39a Run apt-get update. 2023-05-24 23:47:36 +03:00
Yury Gribov d65697f337 Support large number of trampolines for AArch64 (gh-26). 2023-05-04 21:23:11 +03:00
Yury Gribov 69a90e33e9 Minor readme updates. 2023-04-07 22:41:30 +03:00
Yury Gribov ffd6af86bd Handle large offsets on MIPS as well (gh-25). 2023-04-06 06:48:12 +03:00
Yury Gribov 94e9b50972 Fix Node warnings. 2023-04-05 22:24:29 +03:00
Yury Gribov 2b71408107 Removed ubuntu-18.04 as it does not seem to be available. 2023-04-05 22:04:41 +03:00
Yury Gribov 8ad8bbc1ee Handle out-of-bounds offsets on ARM (gh-25). 2023-04-05 22:00:35 +03:00
Yuri Gribov 11f7b4c117 Try to fix ARM hardfp tests. 2022-12-04 15:56:03 +03:00
Yuri Gribov 4faa35a855 Try to please modern Pylint. 2022-12-03 17:41:50 +03:00
Yuri Gribov 10018de375 Fix CI fails. 2022-12-03 17:28:09 +03:00
Yuri Gribov e6b4cd9db2 Added TODO. 2022-12-03 10:35:57 +03:00
Yuri Gribov 1c65670f2f Describe --dlsym-callback in docs. 2022-09-22 08:00:27 +03:00
Yuri Gribov 1bfabad542 Mention MIPS in docs. 2022-09-19 19:56:19 +03:00
Yuri Gribov 1440d08b9b Fix Pylint warning. 2022-09-19 19:24:30 +03:00
Yuri Gribov 38136b6de5 Minor updates of MIPS code. 2022-09-19 19:16:21 +03:00
Yuri Gribov 60c6446f0c Removed spurious file. 2022-09-19 19:13:12 +03:00
Yuri Gribov 06a366f838 Print error message from libdl in case of error. 2022-09-18 14:49:40 +03:00
Yuri Gribov 84219d7d10 Add support for 32-bit MIPS (gh-22). 2022-09-18 11:36:23 +03:00
Yuri Gribov cd6113ff35 Fixed bug in CFI info on x86. 2022-08-12 11:07:02 +03:00
Yuri Gribov 82aa399eb9 Add CFI directives to account for return address (gh-21). 2022-08-11 22:34:20 +03:00