13 Commits

Author	SHA1	Message	Date
alpaylan	12fee4df37	remove the regex dependency as functionality is possible without it	2024-12-26 15:20:19 -05:00
alpaylan	003ad6cc64	allow failure assertions in the simulator, add creating the same table two times to the list of checked properties as a failure property example	2024-12-26 15:10:03 -05:00
Pere Diaz Bou	aed14117c9	core: transaction support	2024-12-24 18:04:30 +01:00
Pekka Enberg	13f229020e	simulator: Use "mod.rs" for module top-level files ... Let's use "mod.rs" for the module top-level file as we do in the rest of the Limbo codebase for consistency.	2024-12-21 09:50:23 +02:00
alpaylan	8f8b97d54b	add the missing rowresult variant	2024-12-20 12:27:54 -05:00
alpaylan	d2723b777b	update table create probability, print interactions as info logs	2024-12-20 12:18:03 -05:00
alpaylan	b355568023	use ticks as the main simulator driver, handle disconnects correctly, add multi-connection setup	2024-12-19 23:40:04 -05:00
alpaylan	cb20ca7e40	fix formatting	2024-12-18 17:10:18 -05:00
alpaylan	39b5dbed55	change gen.range based queries into frequency and one_of calls	2024-12-18 17:09:44 -05:00
alpaylan	66e7a4edec	fix formatting	2024-12-17 18:30:55 -05:00
alpaylan	7d4d803a13	implement interaction plans	2024-12-17 18:24:39 -05:00
alpaylan	53ecedaceb	fix formatting	2024-12-16 10:49:56 -05:00
alpaylan	be18c6e8f0	break simulator into parts, add readme	2024-12-16 10:49:05 -05:00