Log - automerge-model-checker - Model checking Automerge and applications

	automerge-model-checker Model checking Automerge and applications
	git clone https://git.jeffas.net/automerge-model-checker.git
	Log \| Files \| Refs \| README \| LICENSE

Time	Commit message	Author	Files	+	-	ID
2023-04-08 09:02:55 +0100	Update plotting	Andrew Jeffery	1	+3	-18	9037b92fde7951e18c3949d45514b875c1c6160d
2023-04-07 19:52:06 +0100	Update tests	Andrew Jeffery	1	+6	-6	ea3e2751e4281336065feedb1ac0f3384cc39701
2023-04-07 19:47:59 +0100	3 servers	Andrew Jeffery	1	+15	-15	6d24b7870374ef85c85bd918e9d28711c25fa9ea
2023-04-07 19:36:55 +0100	Move delete logic into app	Andrew Jeffery	3	+16	-14	6474d13c1d663393188f6f45fd2b4da1818b867a
2023-04-07 16:56:13 +0000	Reset to 2 servers	Andrew Jeffery	1	+12	-12	fd470b8a547279c74b6cebae41b24826aa7b3ff4
2023-04-07 14:55:13 +0000	Update server counts in bench	Andrew Jeffery	1	+7	-7	d9a11e6e9324e3dc6834f28925ed7de0953122a7
2023-04-05 17:39:36 +0100	Merge pull request #19 from jeffa5/batch-synchronisation	Andrew Jeffery	5	+57	-45	785e65f74d8db8bb002e8512e04bb3b5a0b5cca1
2023-04-04 16:38:13 +0000	Increase timeout	Andrew Jeffery	1	+1	-1	ecd19f2c6de050623afd897bbac2fb3662e54832
2023-04-04 14:47:06 +0000	Run dfs for successful models	Andrew Jeffery	1	+5	-5	42099d3ba45c706ea3019219b51233aed44b2c65
2023-04-04 14:32:34 +0100	Update install-nix-action to v20 in docs workflow	Andrew Jeffery	1	+1	-1	be75426fd3cf9f57c806ab4322412580a0fb6ebc
2023-04-04 14:31:59 +0100	Update install-nix-action to v20	Andrew Jeffery	1	+1	-1	40d1818f14c5bedf3a80b390f92e91568eec434a
2023-04-04 14:28:27 +0100	Use 3 servers for working models	Andrew Jeffery	1	+5	-5	611a66081f5beea31beb9d012b37b2128e6c1c57
2023-03-06 13:43:34 +0000	Add module doc for test	Andrew Jeffery	1	+2	-0	2a10ab615cb661e5d698b5083cf608d01935e8a1
2023-03-06 13:42:10 +0000	Update readme	Andrew Jeffery	1	+1	-1	91185bf23aa5092ed3e8749dc99a49f295e11ccb
2023-02-23 13:43:02 +0000	Remove unused import	Andrew Jeffery	1	+0	-1	c37deb51a365fe49564ae0c242cba2265ebc189f
2023-02-23 13:15:44 +0000	Compare materialized documents	Andrew Jeffery	1	+2	-3	41fce15ab7a9056b2800b31cca9d20741bfe694a
2023-02-22 18:39:52 +0000	Use flat configs	Andrew Jeffery	1	+123	-141	37548f7277084ef16b2141575c659c806ec99161
2023-02-22 18:39:47 +0000	Increase timeout	Andrew Jeffery	1	+1	-1	07a5837b8775dd80ab1ed2dc88dc1d4a01331f3f
2023-02-22 18:39:39 +0000	Update plot	Andrew Jeffery	1	+3	-3	6997e52a311e7daee03f7a0bebac895991e70279
2023-02-22 13:57:40 +0000	Update headline results	Andrew Jeffery	1	+12	-11	5ee9ace387178dd15d05c40065df416c1b5b81ab
2023-02-22 11:31:26 +0000	Search automerge iteratively so we can plot results	Andrew Jeffery	1	+1	-1	53b498da0e9aa1f9d546d95bf30c4a134f0a2715
2023-02-22 11:23:20 +0000	Cleanup comment	Andrew Jeffery	1	+0	-1	4c6ccce3d0ce235e81bee4fc47b3419f2993d0fa
2023-02-22 11:17:56 +0000	Only add default properties for automerge checking	Andrew Jeffery	1	+10	-10	596c6e0b32c6bc78c5790ac5ce72d6260f77093e
2023-02-22 11:17:36 +0000	Don't add more whitespace in reporter	Andrew Jeffery	1	+1	-1	0f0bb541570ff54ed0ac453bda771a81903fbba0
2023-02-22 11:07:36 +0000	Print out headline results	Andrew Jeffery	1	+25	-3	30397f7d3c8556afae788e94203e1270e3a64bab
2023-02-22 09:41:12 +0000	Fix warn log	Andrew Jeffery	1	+1	-1	8ed270d0e4faac8bccdcfd1965660a2460c190ea
2023-02-22 09:41:00 +0000	Save data to csv file	Andrew Jeffery	1	+3	-0	a5e561a7c437351bfa9deb9bd2895890521b694d
2023-02-20 18:10:41 +0000	Catch timeout exception	Andrew Jeffery	1	+9	-6	cf82af6f937bd42835244171918529df655a3b37
2023-02-20 17:25:51 +0000	Reduce timeout to 10 minutes	Andrew Jeffery	1	+1	-1	39e068c537d37cfb7ea96d0492768ccb49556b38
2023-02-20 17:25:22 +0000	Run with timeout of 30 minutes	Andrew Jeffery	1	+2	-0	6a5160e62e0bf46dbf0a22f6e055c3ce6612a58b
2023-02-20 12:34:02 +0000	Add check flags	Andrew Jeffery	1	+12	-10	2d16043fbbfb54d3d36bd4c4963b5f48c75d80d9
2023-02-20 11:21:38 +0000	Update bench to pass in updates	Andrew Jeffery	1	+10	-4	df336946cbc5d54fd5f89782db33374a00e7da51
2023-02-20 11:17:51 +0000	Make all operations configurable	Andrew Jeffery	1	+49	-24	501a253d3d4d1c858de0fca9fe1dd555877ed827
2023-02-20 11:10:17 +0000	Don't enable splice by default	Andrew Jeffery	1	+16	-7	9ff2bf871d3d35ef6f3077d65a9a00900f5f1565
2023-02-20 10:59:33 +0000	Add search type to bench	Andrew Jeffery	1	+13	-2	2a02952f616f043ce35afb769da25433b117b18c
2023-02-20 10:48:08 +0000	Refactor applications to be lib-first	Andrew Jeffery	9	+1491	-1486	a6b0f47311a3b114d66d6306d4da98d7aade8eee
2023-02-20 10:34:56 +0000	Clippy fix	Andrew Jeffery	2	+6	-6	fa272dc338b4a735b4a52cf23390b2cb6829dac0
2023-02-20 10:33:19 +0000	Revert adding degree	Andrew Jeffery	2	+4	-15	19ed0f3d01252230ac1579a4f5265f5efbc12858
2023-02-14 14:16:12 +0000	Fix repeat in amc-automerge	Andrew Jeffery	2	+44	-43	31224e4b259fcddaec9f51a383467e248ee42614
2023-02-13 21:38:02 +0000	Update stateright to report average in and out degree	Andrew Jeffery	2	+11	-8	2470e9ec4f4382a5563f7d8e5278c68185a7ff67
2023-02-13 16:28:59 +0000	Capitalise AMC	Andrew Jeffery	1	+4	-4	55d0b132d6d52c597bef9c7628342ac369c0b967
2023-02-13 16:27:33 +0000	Add in and out degree reporting	Andrew Jeffery	2	+12	-4	aa376b0557a22605c16811ba2ff61d421b58a1e8
2023-02-10 17:44:35 +0000	Add loguru logging to bench	Andrew Jeffery	2	+4	-3	83e82ffb619c10666330613df15370ef6277d631
2023-02-10 17:28:12 +0000	Don't tee output	Andrew Jeffery	1	+1	-1	3800a836b44ea4f32fa074ef15fb3e201c3e2be9
2023-02-10 17:27:14 +0000	Don't clear results dir	Andrew Jeffery	1	+5	-3	6686ffa40575f538b0fa29704f2a1df3ab1a4a8d
2023-02-10 17:16:11 +0000	Just check string values in automerge	Andrew Jeffery	1	+6	-6	7f8cc2482ceba69e53136865bb264f819540520f
2023-02-10 13:26:56 +0000	Make bench an app	Andrew Jeffery	1	+4	-0	b3e69c3fbe426b2a1690ca67c4060f94069e1bbc
2023-02-10 13:26:49 +0000	Stringify props	Andrew Jeffery	1	+2	-2	d1717b5ba47af9039c778573ba0ad1538a8c2ec4
2023-02-10 13:26:35 +0000	Ignore errors removing results dir	Andrew Jeffery	1	+1	-1	04eef8590780b1086cda46311199778d1724706e
2023-02-10 13:21:12 +0000	Add keys and indices for object types	Andrew Jeffery	1	+11	-2	2336d76869c778f481e54ae87814f057eb65dcfb
...	296 more commits remaining, fetch the repository	...	...	...	...	...