Commit Graph

  • bdec751725 Instance template (#33) Evgeny Poberezkin 2020-05-14 21:30:37 +01:00
  • aa2ac80cf9 simplify predicate template Evgeny Poberezkin 2020-05-13 11:47:24 +01:00
  • a9565a5754 predicate template to add Auto instances Evgeny Poberezkin 2020-05-12 19:27:08 +01:00
  • 223931bc93 Subscribe recipient command stub Evgeny Poberezkin 2020-05-11 20:51:08 +01:00
  • 6eb75a5bdb type classes to ensure consistency of implementation types with command types Evgeny Poberezkin 2020-05-11 20:45:17 +01:00
  • f07f99c94f instance PrfCommand for CreateConn command [WIP - not working yet] Evgeny Poberezkin 2020-05-11 08:27:34 +01:00
  • f52ce87a89 type classes to ensure consistency of implementation types with the protocol Evgeny Poberezkin 2020-05-10 20:51:03 +01:00
  • eb5e99710f change scenario syntax Evgeny Poberezkin 2020-05-10 14:16:37 +01:00
  • 08274c9b52 track connection message count in type, remove ticks from promoted constructors Evgeny Poberezkin 2020-05-10 12:13:24 +01:00
  • fbafaa8ac5 add recipient/broker subscription state to protocol command type Evgeny Poberezkin 2020-05-10 11:10:34 +01:00
  • f3f39e760a refine definition of Subscribe to prevent subscription in None and Disabled states Evgeny Poberezkin 2020-05-10 09:50:09 +01:00
  • 7520c681da establishConnection protocol flow Evgeny Poberezkin 2020-05-09 23:23:18 +01:00
  • f9e75aebeb protocol commands Evgeny Poberezkin 2020-05-09 21:30:39 +01:00
  • 53055dcae6 Show and Eq instances Evgeny Poberezkin 2020-05-09 14:15:04 +01:00
  • 3923de9b49 change data familiy to type family Evgeny Poberezkin 2020-05-09 13:40:32 +01:00
  • 7dce45ea2a add comment Evgeny Poberezkin 2020-05-09 13:28:05 +01:00
  • a796215de2 move extensions to code Evgeny Poberezkin 2020-05-09 13:24:08 +01:00
  • 17aabcde04 gitignore Evgeny Poberezkin 2020-05-09 12:41:04 +01:00
  • 7ee44a6d41 connection states in haskell protocol definition Evgeny Poberezkin 2020-05-09 12:38:07 +01:00
  • b16b5c5948 remove participants "list" Evgeny Poberezkin 2020-05-08 17:40:48 +01:00
  • bbb763655e participants list (to be removed) Evgeny Poberezkin 2020-05-08 17:36:04 +01:00
  • 4a3e76cea1 change operator Evgeny Poberezkin 2020-05-08 13:35:01 +01:00
  • b64a2e615d add type-verified command actor (from) Evgeny Poberezkin 2020-05-08 13:33:54 +01:00
  • 222051fc5d make message count second in tuple Evgeny Poberezkin 2020-05-08 13:20:49 +01:00
  • 23d07cc350 add connection message count to command type Evgeny Poberezkin 2020-05-08 13:15:41 +01:00
  • 77fb8b9ce0 scenario using deterministic command resulting state Evgeny Poberezkin 2020-05-08 11:30:06 +01:00
  • df0552ef6b move to subfolder Evgeny Poberezkin 2020-05-08 10:17:20 +01:00
  • 5689cd9064 change used connection state proofs Evgeny Poberezkin 2020-05-08 10:12:51 +01:00
  • 947d7676a2 fix types Evgeny Poberezkin 2020-05-08 10:03:47 +01:00
  • bcd58117a2 connection states for all participants stored in one type (r <==> b <==| s) Evgeny Poberezkin 2020-05-08 09:58:27 +01:00
  • a6d963035e protocol command type - establishing connection Evgeny Poberezkin 2020-05-07 21:24:18 +01:00
  • ece63ea894 protocol command type [WIP] Evgeny Poberezkin 2020-05-07 18:45:19 +01:00
  • 22e14c821c correction Evgeny Poberezkin 2020-05-07 18:05:05 +01:00
  • e7550f026c improve connection data structures Evgeny Poberezkin 2020-05-07 17:58:42 +01:00
  • f4c4dde30f unify connection states Evgeny Poberezkin 2020-05-07 17:19:17 +01:00
  • de706b9d23 connection states and data (in idris) Evgeny Poberezkin 2020-05-07 13:43:09 +01:00
  • 5643c6e270 lint Evgeny Poberezkin 2020-04-10 18:33:50 +01:00
  • 3f7be07d53 classy-prelude Evgeny Poberezkin 2020-04-10 18:32:36 +01:00
  • ddfda96523 type names Evgeny Poberezkin 2020-03-21 19:15:59 +00:00
  • c34ba79f0b executable name Evgeny Poberezkin 2020-03-21 18:27:20 +00:00
  • b8991a4fbf src folder Evgeny Poberezkin 2020-03-21 18:19:57 +00:00
  • a6700c1633 definitions Evgeny Poberezkin 2020-03-21 18:16:25 +00:00
  • bee8366e51 expose modules Evgeny Poberezkin 2020-03-21 18:08:24 +00:00
  • cb39727088 simplex messaging api types and docs generation (#32) Evgeny Poberezkin 2020-03-21 18:00:25 +00:00
  • 22f2e318af apply minor corrections (#26) Efim Poberezkin 2020-02-01 16:21:13 +04:00
  • 2fa21836ba docs: websocket API, changed failed REST response codes, #23 (#25) Evgeny Poberezkin 2020-02-01 10:23:12 +00:00
  • 3e07161121 Remove connection ID and alternative flow (#22) Evgeny Poberezkin 2020-01-26 21:34:14 +00:00
  • cc04a5cc6e Simplify API, remove connection ID, add single message API (#19) Evgeny Poberezkin 2020-01-26 21:30:27 +00:00
  • 5074d5baaa docs: AGPL v3 license, closes #17 (#21) Evgeny Poberezkin 2020-01-26 10:37:10 +00:00
  • 9b5ac493d5 docs: comparison with P2P, closes #14 (#18) Evgeny Poberezkin 2020-01-25 12:54:13 +00:00
  • a78dd33848 Rename edge-messaging to simplex messaging (#15) Efim Poberezkin 2020-01-25 13:19:34 +04:00
  • 983f9af714 Connection URIs (#11) Evgeny Poberezkin 2020-01-22 15:09:07 +00:00
  • 51198cca17 docs: minor spelling errors (#13) Gajus Kuizinas 2020-01-22 23:03:40 +09:00
  • bc460f0e31 Split to edge-messaging and graph-chat (#1) Evgeny Poberezkin 2020-01-21 21:01:48 +00:00
  • 8f01a0d841 docs: readme Evgeny Poberezkin 2020-01-06 06:46:49 +00:00
  • bda1b72a4e docs: other Evgeny Poberezkin 2019-12-24 20:03:11 +00:00
  • 05df86bd92 docs: updated Evgeny Poberezkin 2019-12-23 23:34:51 +00:00
  • 078bc91930 docs: simplex connection Evgeny Poberezkin 2019-12-23 23:18:17 +00:00
  • 54b3d15dc9 docs: updated readme Evgeny Poberezkin 2019-12-22 10:27:57 +00:00
  • 4da5ae01b5 docs: update message diagram to account for user-server auth and encryption Evgeny Poberezkin 2019-12-21 22:34:58 +00:00
  • 902c2007dc docs: update connection diagram to include user-server authentication and encryption Evgeny Poberezkin 2019-12-21 22:20:02 +00:00
  • 85998d9e8e docs: update connection diagram Evgeny Poberezkin 2019-12-21 15:13:03 +00:00
  • fea92fa2fe docs: adding connection diagram Evgeny Poberezkin 2019-12-21 15:04:51 +00:00
  • ac58b56ac6 docs: update sending message diagram Evgeny Poberezkin 2019-12-21 14:31:42 +00:00
  • 08a933e22c docs: update sending message diagram Evgeny Poberezkin 2019-12-21 14:21:01 +00:00
  • c7a95710eb docs: update sending message diagram Evgeny Poberezkin 2019-12-21 14:11:51 +00:00
  • d24053aba3 docs: sending message diagram Evgeny Poberezkin 2019-12-21 14:08:57 +00:00
  • daab409837 docs: readme Evgeny Poberezkin 2019-12-21 13:06:18 +00:00
  • 04fa1708b1 Initial commit Evgeny Poberezkin 2019-12-21 09:50:10 +00:00