Commit Graph

9935 Commits

Author SHA1 Message Date
Arya Irani
c8cd5c4ce5 added value hash to api type 2022-04-12 18:16:17 -05:00
Chris Penner
929c365bb2
Merge pull request #3040 from unisonweb/cp/share-api-package
Move the Share server into its own package.
2022-04-12 15:21:22 -06:00
Mitchell Rosen
9715b1149f fill out most of entityToTempEntity 2022-04-12 16:32:56 -04:00
Mitchell Rosen
dc26b0bb56 begin implementing entityToTempEntity 2022-04-12 16:22:04 -04:00
Mitchell Rosen
70ff3105bb cleanup/refactoring 2022-04-12 16:12:46 -04:00
Mitchell Rosen
a2565618c2 use Base32Hex in unison-share-api 2022-04-12 15:54:48 -04:00
Mitchell Rosen
a06e6352d0 extract unison-util-base32hex package 2022-04-12 15:51:03 -04:00
Mitchell Rosen
3b62fa7774 serialize in insertTempEntity 2022-04-12 15:41:42 -04:00
Mitchell Rosen
cd11a9a076 finish tempToSyncTermComponent 2022-04-12 15:28:23 -04:00
Mitchell Rosen
5d7df3a7ff get code compiling, bit of work on temp->main term 2022-04-12 15:24:52 -04:00
Arya Irani
7eadba793a tempToSyncTermComponent 2022-04-12 13:56:55 -05:00
Arya Irani
28463439f4 maybe done with download? 2022-04-12 13:35:58 -05:00
Arya Irani
396ebc485e partially broken stuff 2022-04-12 13:14:46 -05:00
Mitchell Rosen
50ae4af63c commit in runWriteTransaction 2022-04-12 13:15:38 -04:00
Arya Irani
e698acf0e8 Sync.{makeTempEntity,tempEntityType} 2022-04-12 07:40:42 -05:00
Arya Irani
eab5010cf9 Serialization.getTemp{Namespace,Causal}Format 2022-04-11 21:44:32 -05:00
Arya Irani
dea52a34e2 Serialization.getTemp{Term,Decl,Patch}Format 2022-04-11 20:58:41 -05:00
Arya Irani
d239ba8beb Serialization.putTempEntity 2022-04-11 17:02:26 -05:00
Mitchell Rosen
53beb4ab3b ⅄ trunk → 21-12-04-use-unison-sqlite 2022-04-11 14:50:09 -04:00
Mitchell Rosen
1aef8505f6 get migrations type-checking 2022-04-11 12:43:41 -04:00
Chris Penner
b224bb09c7 Move the Share server into its own package. 2022-04-11 09:57:58 -06:00
Arya Irani
8f63d5d1c3 added namespace TempEntity 2022-04-11 09:55:14 -05:00
Mitchell Rosen
3abdda60e3 ⅄ trunk → arya/ooo-sync 2022-04-11 10:12:11 -04:00
Mitchell Rosen
65ee941b0e migration work 2022-04-08 22:28:50 -04:00
Mitchell Rosen
278ed8b232 get code compiling and do a wee bit of work on TempEntity 2022-04-08 17:40:13 -04:00
Arya Irani
19f917beea broken TempEntityFormat stuff 2022-04-08 16:03:18 -05:00
Mitchell Rosen
49d4f295a9
Merge pull request #3032 from unisonweb/cp/syncm-concrete
Sync HTTP client
2022-04-08 15:50:30 -04:00
Mitchell Rosen
e2b6dd36d8 work on migrating migrations 2022-04-07 23:41:31 -04:00
Mitchell Rosen
dce743aa61 fix the undefineds in SqliteCodebase.hs 2022-04-07 22:47:34 -04:00
Mitchell Rosen
bcf5d15e0b simplify processBranches 2022-04-07 22:40:23 -04:00
Mitchell Rosen
186b76530a refactor syncInternal to use transaction tech 2022-04-07 22:19:10 -04:00
Mitchell Rosen
af9be6743c generalize 2022-04-07 21:50:33 -04:00
Mitchell Rosen
4c66cc7bc4 more runTransaction variants 2022-04-07 19:32:47 -04:00
Mitchell Rosen
ff89287e90 add runWriteTransaction 2022-04-07 19:11:44 -04:00
Arya Irani
85770e12f4 more work on ooo-sync downloading entities 2022-04-07 16:51:34 -05:00
Mitchell Rosen
fd839e4fa4 work on ooo-sync downloading entities 2022-04-07 13:57:35 -04:00
Chris Penner
e3168ee30b
Use stack test suites (#2656)
* Give tests independent names and use stack test suites

* Update parser-typechecker tests in ci

* Update testing instructions and check.sh
2022-04-07 10:16:13 -06:00
Cody Allen
a15c047ab0
Merge pull request #3033 from Sgeo/patch-1
Fix move.namespace documentation
2022-04-07 03:10:14 -07:00
mergify[bot]
cd6961c3dc
Merge pull request #3003 from unisonweb/topic/contained-ns
Switch parsing and `find` to by default use only names in the current namespace
2022-04-07 07:09:24 +00:00
Sgeo
1d2432c77b
Fix move.namespace documentation 2022-04-07 02:25:50 -04:00
Paul Chiusano
ce37178aa4 refresh a transcript 2022-04-07 00:53:34 -05:00
Paul Chiusano
b8a688aac4 tweak output messages + refresh transcripts 2022-04-07 00:48:53 -05:00
Paul Chiusano
2a47fdfa09 lib segment ranking 2022-04-07 00:42:59 -05:00
Mitchell Rosen
4b9608b66f more work towards transactional layer underneath codebase abstraction 2022-04-07 00:20:17 -04:00
Paul Chiusano
f9898f0b4d names and names.global commands 2022-04-06 21:50:47 -05:00
Mitchell Rosen
37c55418a3 make lca just use the one connection 2022-04-06 22:19:24 -04:00
Chris Penner
3aca147a82 Implement sync http client 2022-04-06 15:48:59 -06:00
Mitchell Rosen
8c248b29be add comments to temp entities tables 2022-04-06 17:46:02 -04:00
Mitchell Rosen
bebc3f17f0 add some comments to sync code 2022-04-06 17:28:32 -04:00
Paul Chiusano
bf71fd477a transcript refresh 2022-04-06 16:20:44 -05:00