Commit Graph

Select branches

Hide Pull Requests

dbg

export-file/1

gh-21

gh-22

master

threads/1

tla/1

#1

#10

#16

#17

#19

#2

#23

#31

#37

#39

#41

#6

Mono Color

• 30e547b2e8 Added performance test. master Yury Gribov 2026-05-18 23:51:24 +03:00
• 0d5585a08b Reformat another Python script. Yury Gribov 2026-05-13 21:45:10 +03:00
• 000470ab28 Hopefully fix pylint. Yury Gribov 2026-05-13 21:41:30 +03:00
• d8c61619c5 Reformat Python scripts. Yury Gribov 2026-05-13 21:34:01 +03:00
• 3591dc9535 Minor shell fix. Yury Gribov 2026-04-26 20:15:40 +03:00
• ae294daac0 Remove tests for old Python. Yury Gribov 2026-02-14 09:20:23 +03:00
• ff088539af BSD does not support -D in readelf. Yury Gribov 2026-02-14 09:18:51 +03:00
• 82f22a05db Do not try to intercept libsys on BSD. Yury Gribov 2026-02-14 09:12:34 +03:00
• 2761d0fe40 Disable old Ubuntu which no longer has runners in GH. Yury Gribov 2026-02-14 09:12:10 +03:00
• 565dd5e80a Minor fix. Yury Gribov 2026-02-14 08:53:56 +03:00
• ecf7bb51a9 Create output directory if it does not exist. Yury Gribov 2025-04-04 07:18:28 +03:00
• 4eab9f5809 Fix formatting. Yury Gribov 2025-02-25 23:23:43 +03:00
• 502bce6f94 Slightly more standard-compliant DEF parser. Yury Gribov 2025-02-25 23:21:29 +03:00
• 09c3e44e9e Enable new test in CI. Yury Gribov 2025-02-25 22:46:00 +03:00
• ea518ce1fa Please linter. Yury Gribov 2025-02-25 22:42:14 +03:00
• 447d712619 Support limited form of DEF files for specifying library inteface (gh-38). Yury Gribov 2025-02-25 22:26:55 +03:00
• a70768a9cf Do not test pushes to non-master branches. Yury Gribov 2025-02-25 22:37:42 +03:00
• e06b8eb608 Test generated code against moar warnings. Yury Gribov 2025-02-25 22:23:12 +03:00
• b6f5478959 Fix formatting. export-file/1 Yury Gribov 2025-02-25 23:23:43 +03:00
• 548fdb68e5 Slightly more standard-compliant DEF parser. Yury Gribov 2025-02-25 23:21:29 +03:00
• a0cb4cc0f3 Enable new test in CI. Yury Gribov 2025-02-25 22:46:00 +03:00
• 15b9292a31 Please linter. Yury Gribov 2025-02-25 22:42:14 +03:00
• eb00dc724b Support limited form of DEF files for specifying library inteface (gh-38). Yury Gribov 2025-02-25 22:26:55 +03:00
• 0f9eeacb9e Do not test pushes to non-master branches. Yury Gribov 2025-02-25 22:37:42 +03:00
• 0cf861ddf9 Test generated code against moar warnings. Yury Gribov 2025-02-25 22:23:12 +03:00
• 91095d7c52 Emit dlclose for extraneous dlopens early. Yury Gribov 2025-02-07 21:22:52 +03:00
• 7cb34ca532 Fix warnings under -Wconversion. Yury Gribov 2025-02-02 11:40:39 +03:00
• 24221a7222 Mention BSD. Yury Gribov 2025-01-27 10:11:32 +03:00
• 162bdb4d0e Do not link extraneous libs in Musl case. Yury Gribov 2025-01-27 08:20:32 +03:00
• f5f773815b Clarify FIXME. Yury Gribov 2025-01-26 15:33:33 +03:00
• 76f04c687b Clarify benchmark intent. Yury Gribov 2025-01-26 15:19:42 +03:00
• 1b67a6eddb Mention exact overhead in README. Yury Gribov 2025-01-26 15:17:28 +03:00
• 7004d5b595 Add tests with musl libc. Yury Gribov 2025-01-26 15:14:52 +03:00
• 8b635359ed Add some comments. Yury Gribov 2025-01-26 14:54:08 +03:00
• 22cae509a7 Fix typo. Yury Gribov 2025-01-26 12:11:35 +03:00
• ccbca9b5cd Fix coverage run. Yury Gribov 2025-01-26 12:07:10 +03:00
• 183923000c Update benchmark. Yury Gribov 2025-01-26 11:31:13 +03:00
• 9b12cb7010 Added simple benchmark. Yury Gribov 2025-01-26 11:08:35 +03:00
• 916fe17f67 Assert that shim table is initialized. Yury Gribov 2025-01-26 10:46:13 +03:00
• 0d8e97bf14 Clarify requirements for dlopen callback. Yury Gribov 2025-01-26 10:05:01 +03:00
• 4c9c41fe26 Call dlclose enough times. Yury Gribov 2025-01-26 09:50:48 +03:00
• be4eab39a3 Update script comments. Yury Gribov 2025-01-25 10:55:21 +03:00
• a07f939e9d Added note on potential but very unlikely deadlock. Yury Gribov 2025-01-25 10:17:19 +03:00
• 4f6a055f72 Added todo. Yury Gribov 2025-01-25 09:47:54 +03:00
• adb60eafb7 Mention lack of modules in Promela. Yury Gribov 2025-01-25 09:47:02 +03:00
• ba5a586fe9 Simplify some EXCEPT directives. Yury Gribov 2025-01-25 09:46:02 +03:00
• 8cd1b35ba1 Minor spec fixes. Yury Gribov 2025-01-25 05:54:38 +03:00
• 006c9d7ac1 Print result in verification script. Yury Gribov 2025-01-24 12:37:10 +03:00
• 5f533b4b55 Remove redundant semis. Yury Gribov 2025-01-24 12:36:38 +03:00
• 0cdcf023c9 Learned how to use dedicated mtypes. Yury Gribov 2025-01-24 12:30:50 +03:00
• 4235ef0330 Use new for-loops in model. Yury Gribov 2025-01-24 12:23:13 +03:00
• a990595ff0 Added comment in spec. Yury Gribov 2025-01-24 10:58:47 +03:00
• 96879fd0a2 Rename variable. Yury Gribov 2025-01-24 10:53:47 +03:00
• 2b5d299b7c More automated verification driver. Yury Gribov 2025-01-24 10:49:11 +03:00
• f0af663cd0 Minor Promela updates. Yury Gribov 2025-01-24 10:42:44 +03:00
• ad6a00dfd1 Added todo. Yury Gribov 2025-01-24 10:26:22 +03:00
• e08d19166b Added complaints about Promela. Yury Gribov 2025-01-24 10:07:56 +03:00
• 6b9e17be61 Get rid of widths in Promela model. Yury Gribov 2025-01-23 16:52:12 +03:00
• 388275accd Added Promela initialization model. Yury Gribov 2025-01-23 14:42:00 +03:00
• 40ed720be0 Minor fixes in TLA spec. Yury Gribov 2025-01-23 14:41:00 +03:00
• 0f5fc968ff Update spec README. Yury Gribov 2025-01-23 12:56:29 +03:00
• 7218f80ef5 Minor spec fix. Yury Gribov 2025-01-23 12:34:48 +03:00
• b7acfa4cb7 Minor fixes in tests. Yury Gribov 2025-01-22 17:40:01 +03:00
• ea992cb0ae Added simple TLA+ model of Implib.so initialization code. Yury Gribov 2025-01-22 10:58:22 +03:00
• 98a7819fd2 Remove redundant barrier. Yury Gribov 2025-01-22 10:33:15 +03:00
• 0f95e6b9b5 Updated todo. Yury Gribov 2025-01-21 18:50:18 +03:00
• 6c53f2c224 Fix Tsan checks. Yury Gribov 2025-01-20 19:18:33 +03:00
• 2dcd486309 Fix Tsan checks. Yury Gribov 2025-01-20 19:05:23 +03:00
• 93d62401c5 Added another threading test with deep recursion in library ctor. Yury Gribov 2025-01-20 18:50:26 +03:00
• f99925c373 Fixed Tsan test and fix harmless data race. Yury Gribov 2025-01-20 18:49:28 +03:00
• ebaae93b21 Added script for fuzz testing via unthread library. Yury Gribov 2025-01-20 08:43:22 +03:00
• 2bcad76af6 Fixed test comments Yury Gribov 2025-01-20 08:43:09 +03:00
• 8dc7fcbadd Fix race condition between address resolution and library global ctor. Yury Gribov 2025-01-20 06:41:32 +03:00
• a75ed9b6e1 Add explicit void in prototypes. Yury Gribov 2025-01-20 05:00:24 +03:00
• 9f738f220a Fix memory ordering. Yury Gribov 2025-01-19 20:52:58 +03:00
• d9ac8b76eb Updated comment. Yury Gribov 2025-01-19 12:06:42 +03:00
• d55bd74634 Print result in threads test. Yury Gribov 2025-01-19 11:50:16 +03:00
• a9c7770787 Enable on 32-bit MIPS. Yury Gribov 2025-01-19 11:48:52 +03:00
• 634a8380ea Various test improvements. Yury Gribov 2025-01-19 08:04:44 +03:00
• 3d4d608c5e Disable thread test on mipsel (can not repro fail locally). Yury Gribov 2025-01-18 22:03:09 +03:00
• cf813dc60e Remove volatile. Yury Gribov 2025-01-18 21:43:20 +03:00
• 0d02dc2c8d Update README. Yury Gribov 2025-01-18 20:25:10 +03:00
• 7d5644fece FreeBSD fixes. Yury Gribov 2025-01-18 18:33:09 +03:00
• 5c4ff7fd31 Thread-safe initialization. Yury Gribov 2025-01-18 16:41:22 +03:00
• fc15374dd7 Added comment in spec. threads/1 Yury Gribov 2025-01-24 10:58:47 +03:00
• 65cb1c6e6b Rename variable. Yury Gribov 2025-01-24 10:53:47 +03:00
• eab849c446 More automated verification driver. Yury Gribov 2025-01-24 10:49:11 +03:00
• 39ec5178d1 Minor Promela updates. Yury Gribov 2025-01-24 10:42:44 +03:00
• f0ff27a02a Added todo. Yury Gribov 2025-01-24 10:26:22 +03:00
• a44d6bb8f3 Added complaints about Promela. Yury Gribov 2025-01-24 10:07:56 +03:00
• 48432083a9 Get rid of widths in Promela model. Yury Gribov 2025-01-23 16:52:12 +03:00
• a234adb45e Added Promela initialization model. Yury Gribov 2025-01-23 14:42:00 +03:00
• 78938c7d2b Minor fixes in TLA spec. Yury Gribov 2025-01-23 14:41:00 +03:00
• 8fcffdfdc5 Update spec README. Yury Gribov 2025-01-23 12:56:29 +03:00
• 34ac3fd3c5 Minor spec fix. Yury Gribov 2025-01-23 12:34:48 +03:00
• 3cff3c2892 Minor fixes in tests. Yury Gribov 2025-01-22 17:40:01 +03:00
• 58aebdbc74 Added simple TLA+ model of Implib.so initialization code. Yury Gribov 2025-01-22 10:58:22 +03:00
• 98a007a222 Model library construction. tla/1 Yury Gribov 2025-01-22 12:03:54 +03:00
• 4c510cea4d Support call stacks in model. Yury Gribov 2025-01-22 11:30:51 +03:00
• 2e125d421c Added simple TLA+ model of Implib.so initialization code. Yury Gribov 2025-01-22 10:58:22 +03:00