github.com/simplex-chat/simplex-chat commits | Ecosyste.ms: OpenCollective

add comment

7dce45ea2a8ba271881b2bfc103eb3c6609da121 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

move extensions to code

a796215de242d0650ba505b0f64ada794667f62d authored over 4 years ago by Evgeny Poberezkin <[email protected]>

gitignore

17aabcde048ac17280d661d8158ba4590ee2b11f authored over 4 years ago by Evgeny Poberezkin <[email protected]>

connection states in haskell protocol definition

7ee44a6d4126e445ed2772e0bf6d05dd8c3fd41b authored over 4 years ago by Evgeny Poberezkin <[email protected]>

remove participants "list"

b16b5c59482bba403b2535d5364a4552206220d5 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

participants list (to be removed)

bbb763655e49f458a4a15e782ac403f7ba894dde authored over 4 years ago by Evgeny Poberezkin <[email protected]>

change operator

4a3e76cea1897a172c134fd4fd550065dd0f3c86 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

add type-verified command actor (from)

b64a2e615d29f6c79198065590e73aa040c664c9 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

make message count second in tuple

222051fc5dd068db4e67869363d2892a9d3c4422 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

add connection message count to command type

23d07cc3500840cc547504f17e6ae5c46ac7b7df authored over 4 years ago by Evgeny Poberezkin <[email protected]>

scenario using deterministic command resulting state

77fb8b9ce025a56f092b0399e8f74a7d7104060b authored over 4 years ago by Evgeny Poberezkin <[email protected]>

move to subfolder

df0552ef6bb8805bf68e61a17d4b035b1d89bd69 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

change used connection state proofs

5689cd9064d3bbcb0bb51c7a82e4c4f780e90913 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

fix types

947d7676a23382a94d58554c3e3e49e92f085b56 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

connection states for all participants stored in one type (r <==> b <==| s)

bcd58117a2461ae868cb6eb3693c79d1d6399c4a authored over 4 years ago by Evgeny Poberezkin <[email protected]>

protocol command type - establishing connection

a6d963035e7dfeb2b4e8f8c8aa662772dc22cdf8 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

protocol command type [WIP]

ece63ea89438248905421683492f4e18ba10c075 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

correction

22e14c821c69d7f6882cc4294d72e98ee5d9b931 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

improve connection data structures

e7550f026c06543cfd14e3da25b46770ca0f52c8 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

unify connection states

f4c4dde30f12c520c900fec9cf3ac22dcc665423 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

connection states and data (in idris)

de706b9d2370568814f548eaae2a5e74516648ff authored over 4 years ago by Evgeny Poberezkin <[email protected]>

lint

5643c6e27076b7444d5f4766be7efb43a7859e12 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

classy-prelude

3f7be07d538273b8811cdf6c9521833181b54524 authored over 4 years ago by Evgeny Poberezkin <[email protected]>

type names

ddfda96523dc1d017d128d1f7bbc01cb2f021632 authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

executable name

c34ba79f0b6e9ff6871bbdf9396a857f3d98c899 authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

src folder

b8991a4fbfb243f04bbf7052a8a17e18a035d8a2 authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

definitions

a6700c1633462a2408de496fa1f860cbed884c0b authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

expose modules

bee8366e51c1219f9278679c4b633583f4ac0984 authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

simplex messaging api types and docs generation (#32)

* simplex messaging api types and docs generation

* api endpoints annotations

* endpoint t...

cb39727088f545771d22d07c85bb27432140eb73 authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

apply minor corrections (#26)

* docs: websocket API, changed failed REST response codes, #23

* apply minor corrections

C...

22f2e318af60c9253bb545aa28f458d5850a78d6 authored almost 5 years ago by Efim Poberezkin <[email protected]>

docs: websocket API, changed failed REST response codes, #23 (#25)

2fa21836ba63672a685fee0b344407af51814a1e authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

Remove connection ID and alternative flow (#22)

* docs: remove connection ID from simplex-messaging.md, #8

* docs: remove alternative flow in...

3e071611211ec3e0b0512cf8336315981bbfd14e authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

Simplify API, remove connection ID, add single message API (#19)

* docs: simplify API, remove connection ID, add single message API, closes #12

* dos: correct...

cc04a5cc6e7a21d388885c4aa08cdb3be62cd545 authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

docs: AGPL v3 license, closes #17 (#21)

5074d5baaab5cb8e5cae738caa57dd617f08d0ed authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

docs: comparison with P2P, closes #14 (#18)

9b5ac493d5337191e9bf37dc09cfa4a7a38203b8 authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

Rename edge-messaging to simplex messaging (#15)

* rename edge-messaging protocol related files

* rename edge-messaging protocol to simplex me...

a78dd33848b10deec77cb335f0e8dc600c7a9778 authored almost 5 years ago by Efim Poberezkin <[email protected]>

Connection URIs (#11)

* simplex connection: why RU and SU should be different, closes #5

* remove api allowing conn...

983f9af7143713459de4216e27bc83557d5d6a76 authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

docs: minor spelling errors (#13)

51198cca17771449180e74e509812ee2e65833b2 authored almost 5 years ago by Gajus Kuizinas <[email protected]>

Split to edge-messaging and graph-chat (#1)

* docs: graph-messaging protocol [WIP]

* docs: creating and using graph-messaging connection
...

bc460f0e31a2eb630872d28ee4fb71cf3f0a21f7 authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

docs: readme

8f01a0d8410fc0800152d6f8f8d1ae5e247be851 authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

docs: other

bda1b72a4eee74378383aa1050ee036d25fbcd3c authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

docs: updated

05df86bd928748c126edc76b3fbf3dd54269265e authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

docs: simplex connection

078bc91930648e919434a0a5fddbf1c2722ce0e7 authored almost 5 years ago by Evgeny Poberezkin <[email protected]>

docs: updated readme

54b3d15dc9eb2eb71347017091eab1d371d749f5 authored about 5 years ago by Evgeny Poberezkin <[email protected]>

docs: update message diagram to account for user-server auth and encryption

4da5ae01b5f7bf7f9d0a23b3babe0cef1417a60f authored about 5 years ago by Evgeny Poberezkin <[email protected]>

docs: update connection diagram to include user-server authentication and encryption

902c2007dc8db79e9f156d810a79be467731ac6b authored about 5 years ago by Evgeny Poberezkin <[email protected]>

docs: update connection diagram

85998d9e8e0cf2b3261c9095d29a243c51ed5343 authored about 5 years ago by Evgeny Poberezkin <[email protected]>

docs: adding connection diagram

fea92fa2fe3d32f66cb518c8df088f0f9b0d007c authored about 5 years ago by Evgeny Poberezkin <[email protected]>

docs: update sending message diagram

ac58b56ac6cbf24caa79d907d5e1d47b0acadc8d authored about 5 years ago by Evgeny Poberezkin <[email protected]>

docs: update sending message diagram

08a933e22c2f4e4ec5c850ba23913c7d2b92e6e5 authored about 5 years ago by Evgeny Poberezkin <[email protected]>

docs: update sending message diagram

c7a95710eb885d44171c8701ae5fb11b0834dd04 authored about 5 years ago by Evgeny Poberezkin <[email protected]>

docs: sending message diagram

d24053aba3c87efe33b075b1671f09f54e932241 authored about 5 years ago by Evgeny Poberezkin <[email protected]>

docs: readme

daab409837e3e382508a92ee7eb513f0807661c9 authored about 5 years ago by Evgeny Poberezkin <[email protected]>

Initial commit

04fa1708b1bb8d03b4dd93788ea3e63003bb6dcd authored about 5 years ago by Evgeny Poberezkin <[email protected]>