341 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Yury Gribov	30e547b2e8	Added performance test.	2026-05-18 23:51:24 +03:00
Yury Gribov	0d5585a08b	Reformat another Python script.	2026-05-13 21:45:12 +03:00
Yury Gribov	000470ab28	Hopefully fix pylint.	2026-05-13 21:41:30 +03:00
Yury Gribov	d8c61619c5	Reformat Python scripts.	2026-05-13 21:34:01 +03:00
Yury Gribov	3591dc9535	Minor shell fix.	2026-04-26 20:15:40 +03:00
Yury Gribov	ae294daac0	Remove tests for old Python.	2026-02-14 09:20:23 +03:00
Yury Gribov	ff088539af	BSD does not support -D in readelf.	2026-02-14 09:18:51 +03:00
Yury Gribov	82f22a05db	Do not try to intercept libsys on BSD.	2026-02-14 09:12:34 +03:00
Yury Gribov	2761d0fe40	Disable old Ubuntu which no longer has runners in GH.	2026-02-14 09:12:12 +03:00
Yury Gribov	565dd5e80a	Minor fix.	2026-02-14 08:53:56 +03:00
Yury Gribov	ecf7bb51a9	Create output directory if it does not exist.	2025-04-04 07:18:39 +03:00
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