Evgeny Poberezkin
a796215de2
move extensions to code
2020-05-09 13:24:08 +01:00
Evgeny Poberezkin
17aabcde04
gitignore
2020-05-09 12:41:04 +01:00
Evgeny Poberezkin
7ee44a6d41
connection states in haskell protocol definition
2020-05-09 12:38:07 +01:00
Evgeny Poberezkin
b16b5c5948
remove participants "list"
2020-05-08 17:40:48 +01:00
Evgeny Poberezkin
bbb763655e
participants list (to be removed)
2020-05-08 17:36:04 +01:00
Evgeny Poberezkin
4a3e76cea1
change operator
2020-05-08 13:35:01 +01:00
Evgeny Poberezkin
b64a2e615d
add type-verified command actor (from)
2020-05-08 13:33:54 +01:00
Evgeny Poberezkin
222051fc5d
make message count second in tuple
2020-05-08 13:20:49 +01:00
Evgeny Poberezkin
23d07cc350
add connection message count to command type
2020-05-08 13:15:41 +01:00
Evgeny Poberezkin
77fb8b9ce0
scenario using deterministic command resulting state
2020-05-08 11:30:06 +01:00
Evgeny Poberezkin
df0552ef6b
move to subfolder
2020-05-08 10:17:20 +01:00
Evgeny Poberezkin
5689cd9064
change used connection state proofs
2020-05-08 10:12:51 +01:00
Evgeny Poberezkin
947d7676a2
fix types
2020-05-08 10:03:47 +01:00
Evgeny Poberezkin
bcd58117a2
connection states for all participants stored in one type (r <==> b <==| s)
2020-05-08 09:58:27 +01:00
Evgeny Poberezkin
a6d963035e
protocol command type - establishing connection
2020-05-07 21:24:18 +01:00
Evgeny Poberezkin
ece63ea894
protocol command type [WIP]
2020-05-07 18:45:19 +01:00
Evgeny Poberezkin
22e14c821c
correction
2020-05-07 18:05:05 +01:00
Evgeny Poberezkin
e7550f026c
improve connection data structures
2020-05-07 17:58:42 +01:00
Evgeny Poberezkin
f4c4dde30f
unify connection states
2020-05-07 17:19:17 +01:00
Evgeny Poberezkin
de706b9d23
connection states and data (in idris)
2020-05-07 13:43:09 +01:00
Evgeny Poberezkin
5643c6e270
lint
2020-04-10 18:33:50 +01:00
Evgeny Poberezkin
3f7be07d53
classy-prelude
2020-04-10 18:32:36 +01:00
Evgeny Poberezkin
ddfda96523
type names
2020-03-21 19:15:59 +00:00
Evgeny Poberezkin
c34ba79f0b
executable name
2020-03-21 18:27:20 +00:00
Evgeny Poberezkin
b8991a4fbf
src folder
2020-03-21 18:19:57 +00:00
Evgeny Poberezkin
a6700c1633
definitions
2020-03-21 18:16:25 +00:00
Evgeny Poberezkin
bee8366e51
expose modules
2020-03-21 18:08:24 +00:00
Evgeny Poberezkin
cb39727088
simplex messaging api types and docs generation ( #32 )
...
* simplex messaging api types and docs generation
* api endpoints annotations
* endpoint titles
* refactor
2020-03-21 18:00:25 +00:00
Efim Poberezkin
22f2e318af
apply minor corrections ( #26 )
...
* docs: websocket API, changed failed REST response codes, #23
* apply minor corrections
Co-authored-by: Evgeny Poberezkin <2769109+epoberezkin@users.noreply.github.com>
2020-02-01 16:21:12 +04:00
Evgeny Poberezkin
2fa21836ba
docs: websocket API, changed failed REST response codes, #23 ( #25 )
2020-02-01 10:23:12 +00:00
Evgeny Poberezkin
3e07161121
Remove connection ID and alternative flow ( #22 )
...
* docs: remove connection ID from simplex-messaging.md, #8
* docs: remove alternative flow in simplex-messaging, #20
* docs: update simplex diagrams to remove connection ID
* docs: remove connection ID from graph-chat
* docs: update duplex connection diagram to remove connection ID, closes #8
2020-01-26 21:34:14 +00:00
Evgeny Poberezkin
cc04a5cc6e
Simplify API, remove connection ID, add single message API ( #19 )
...
* docs: simplify API, remove connection ID, add single message API, closes #12
* dos: correct protocol implementation spec
* fix typo
Co-authored-by: Efim Poberezkin <efim.poberezkin@gmail.com>
2020-01-26 21:30:27 +00:00
Evgeny Poberezkin
5074d5baaa
docs: AGPL v3 license, closes #17 ( #21 )
2020-01-26 10:37:10 +00:00
Evgeny Poberezkin
9b5ac493d5
docs: comparison with P2P, closes #14 ( #18 )
2020-01-25 12:54:13 +00:00
Efim Poberezkin
a78dd33848
Rename edge-messaging to simplex messaging ( #15 )
...
* rename edge-messaging protocol related files
* rename edge-messaging protocol to simplex messaging protocol
* adjust wordings for simplex connections
2020-01-25 13:19:34 +04:00
Evgeny Poberezkin
983f9af714
Connection URIs ( #11 )
...
* simplex connection: why RU and SU should be different, closes #5
* remove api allowing connection URIs change
2020-01-22 19:09:07 +04:00
Gajus Kuizinas
51198cca17
docs: minor spelling errors ( #13 )
2020-01-22 14:03:40 +00:00
Evgeny Poberezkin
bc460f0e31
Split to edge-messaging and graph-chat ( #1 )
...
* docs: graph-messaging protocol [WIP]
* docs: creating and using graph-messaging connection
* docs: subtitle
* docs: [WIP] graph-chat protocol
* docs: graph-chat establishing duplex connection
* apply minor typo fixes and wording adjustments to protocols docs
* rename file graph-messaging -> edge-messaging
* update test graph-messaging -> edge-messaging
* correction re CID
* duplex connection correction
* rename folder graph-messaging -> edge-messaging
* add duplex connection
* update edge-messaging to match graph-chat
* update symbols in graph-chat
* sequence diagram: creating duplex connection
* fix indentation
* edge-messaging: REST API, crypto, IDs, URIs
* REST API endpoints summary
* Rest -> REST
* REST API additional requirements
* adjust wordings and fix typos (#2 )
* update readme (#4 )
* update readme
* send message story and diagram
* edge-messaging: alternative flow of creating connection
* remove old diagrams
* apply minor fixes
* correct readme
Co-authored-by: Efim Poberezkin <efim.poberezkin@gmail.com>
* graph-chat: added duplex connection types
* graph-chat: comment on user profile visibility
* clarify duplex diagram
Co-authored-by: Efim Poberezkin <efim.poberezkin@gmail.com>
2020-01-21 21:01:48 +00:00
Evgeny Poberezkin
8f01a0d841
docs: readme
2020-01-06 06:46:49 +00:00
Evgeny Poberezkin
bda1b72a4e
docs: other
2019-12-24 20:03:11 +00:00
Evgeny Poberezkin
05df86bd92
docs: updated
2019-12-23 23:34:51 +00:00
Evgeny Poberezkin
078bc91930
docs: simplex connection
2019-12-23 23:18:17 +00:00
Evgeny Poberezkin
54b3d15dc9
docs: updated readme
2019-12-22 10:27:57 +00:00
Evgeny Poberezkin
4da5ae01b5
docs: update message diagram to account for user-server auth and encryption
2019-12-21 22:34:58 +00:00
Evgeny Poberezkin
902c2007dc
docs: update connection diagram to include user-server authentication and encryption
2019-12-21 22:20:56 +00:00
Evgeny Poberezkin
85998d9e8e
docs: update connection diagram
2019-12-21 15:13:03 +00:00
Evgeny Poberezkin
fea92fa2fe
docs: adding connection diagram
2019-12-21 15:04:51 +00:00
Evgeny Poberezkin
ac58b56ac6
docs: update sending message diagram
2019-12-21 14:31:42 +00:00
Evgeny Poberezkin
08a933e22c
docs: update sending message diagram
2019-12-21 14:21:01 +00:00
Evgeny Poberezkin
c7a95710eb
docs: update sending message diagram
2019-12-21 14:11:51 +00:00
