stateright

A model checker for implementing distributed systems.
git clone https://git.jeffas.net/stateright.git

TimeCommit messageAuthorFiles+-ID
2024-03-02 17:54:06 -0800Jonathan Nadal1+5-8135dca80474d347443086d925257f122caf730f8
2024-03-02 17:46:06 -0800Jonathan Nadal1+14-3141cd3a8e8e9e460ed4f0c0d87559d90281dc174
2024-03-02 17:33:57 -0800Jonathan Nadal4+30-2875ce20ce16c15cc35dccd63f2d5a106229aeddd4
2024-03-02 17:33:08 -0800Jonathan Nadal7+11-11f4181b42e102cdd61ca3abcb9ad31dbf2c669acf
2024-03-03 01:23:02 +0100Liangrun Da3+63-29cbc268c2715672446ce19f5a3a473789c4544b46
2024-03-02 22:16:29 +0000Andrew Jeffery6+91-6a60b09e5fff18558191ea4f29cfcd8597784fda3
2024-03-02 22:00:42 +0000Andrew Jeffery7+132-132d41acae3c1efe57c17e57f8aa31c0c07bd08f43
2023-10-16 16:33:52 +0200D. Reusche1+206-088f1676733ff9e7882fac249b3ff462cb0a3c499
2023-09-05 11:56:21 +0100Andrew Jeffery3+60-0e680bc68d337b75c9506f8eb42e3e02164ed62a1
2023-09-05 11:29:22 +0100Andrew Jeffery4+51-51e186c33b683a1de250414c5cf79d0cf7267e6eb0
2023-09-05 11:24:19 +0100Andrew Jeffery1+1-1bf511f28982307ad1604eee59d09a3cf7030573f
2023-09-05 11:23:39 +0100Andrew Jeffery3+6-97d3f8d664bbe5eb193e4f5d871f8b875ce4141b6
2023-08-27 14:01:08 -0700Jonathan Nadal2+20-1ea5478ea73c1504f8641a33b70eee4f343561f68
2023-08-27 13:38:15 -0700Jonathan Nadal6+22-193e30eaadd17b6c688065b1dd1f9ab13a751d885e
2023-08-27 13:37:33 -0700Jonathan Nadal3+16-191a11b771c9531ec17b35641166821d9474ae673c
2023-08-27 21:29:45 +0100Andrew Jeffery5+219-238a24534a8a4dd398b09568d14fa39dffeaa3f14f5
2023-08-27 11:44:52 -0700Jonathan Nadal1+36-3291f98efe77d57888355d61e6a583d4ba952c6738
2023-08-07 09:50:37 +0100Andrew Jeffery2+7-101466b3ca650a53c6910107ae95500e9664c8ad50
2023-08-06 20:11:49 +0100Andrew Jeffery2+4-46b63dadef9b15bfb674e459fead3c75d812cac70
2023-08-06 02:08:21 +0100Andrew Jeffery6+103-9727e3d89a321b6abd5e44fa49e30528c150da68da
2023-08-06 01:55:18 +0100Andrew Jeffery2+10-634b2f16e1195a017028c61820f419b96bcb9cbdc
2023-08-06 01:53:34 +0100Andrew Jeffery7+96-15cf990525b25aa12b8a8df9617a0a8ccc835274af
2023-08-06 00:34:19 +0100Andrew Jeffery2+448-0950c38d7567b0fd346ece89c31f782cd98441070
2023-05-31 15:31:42 +0800remzi1+8-10cc28ce4099d1b4310e125b6306a55c8df4d81b33
2023-05-28 14:38:03 -0700Jonathan Nadal1+23-2254f037c290e216847eee8a204ef55a731d4959ef
2023-05-28 13:18:03 -0700Jonathan Nadal2+32-169a08768afd3012a5415efbe596a472f5b6cbb53
2023-05-07 20:03:01 -0700Jonathan Nadal1+72-1ac25f3a17dc451217f7896f217f256c91929c20d
2023-04-23 12:39:24 +0200andreastedile4+83-010b34cb9c7086b52e0e9122db608fce551768d68
2023-04-03 18:53:20 +0200andreastedile1+20-0497edb9ede63c99b040164d17019d9c2c57f8299
2023-03-27 14:04:30 -0400David Rusu1+1-1c21a0f546a76d4c18f60aecd66cd34616b715717
2023-03-27 13:59:53 -0400David Rusu2+2-002f5bfa81dd82bab8e2aec540a45fff3053a9bf4
2023-03-27 13:46:34 -0400David Rusu12+42-4837a647849cc373e8763f88fcd9e3db6992289581
2023-03-27 13:00:42 -0400David Rusu9+39-27285fc4d818551b01279beee73a0b10a07aa51b36
2023-03-26 21:06:07 -0700Jonathan Nadal36+3034-193632c6cdd2e8f21aa56d74dbed534593371345133a
2023-03-26 20:52:04 -0700Jonathan Nadal11+47-182aba449301779519e527138fe72d8a48826e1210
2023-03-26 15:20:01 -0700Jonathan Nadal1+1-290fc8101a0d1e24fa75007ed55a753f33dba8f712
2023-03-20 16:22:05 -0400David Rusu1+16-20245069e200b18623238bf7dc2c9e4724e8e95e63
2023-02-07 12:46:35 +0000Andrew Jeffery2+8-2052fb3d61130ce74cd8577b1476134b243b1381f
2023-02-01 19:54:22 +0000Andrew Jeffery1+16-1501cdcf7f1376a69e1f28ff53babf58ba5ba01c05
2023-02-01 19:51:02 +0000Andrew Jeffery4+14-2402ff9142a6acecef13f7dd13bcd27d8f9cca5f6e
2023-02-01 19:36:52 +0000Andrew Jeffery1+61-2949dc93a99ef45a50fa383a81eb0da66b37f75f9
2023-02-01 19:35:04 +0000Andrew Jeffery4+18-0530ba5e380b62de84ed739ca2bc59e214ff1291e
2023-02-01 13:47:27 +0000Andrew Jeffery2+5-544db7f541def455fa111572bd3afc4ca8fc675a4
2023-02-09 08:06:56 +0000Andrew Jeffery1+1-188b99098f59f4c3689f068001fe9cfde3590f3f8
2023-01-30 19:56:50 +0000Andrew Jeffery2+11-3c9a8f52bee1911984ac00e733aa50b1dbd115e0e
2023-01-30 19:56:07 +0000Andrew Jeffery1+69-4783279a1a25081e94bd91ee1d332db3772a826e81
2023-01-29 18:03:40 +0000Andrew Jeffery1+2-127e983405fd0bcbe833a124b03ec99de84e821a1
2023-01-29 17:36:50 +0000Andrew Jeffery3+11-6cb64a7c29b4b68e6b52323a210bf5af769958754
2023-01-29 17:31:50 +0000Andrew Jeffery1+2-3bd584ea17ae4528ed9ef467f933cd8d9bb38b01d
2023-01-29 16:59:25 +0000Andrew Jeffery2+2-1dc637b79f63b14e9c1f28a27227aacd04bf61ef9
...377 more commits remaining, fetch the repository...............