unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-11 17:16:30 +03:00
Code Issues Projects Releases Wiki Activity
9,801 Commits 432 Branches 97 Tags 482 MiB
30e8c8b4a4
Commit Graph

365 Commits

Author SHA1 Message Date
Mitchell Rosen
30e8c8b4a4 fill out pull 2022-04-12 21:49:33 -04:00
Mitchell Rosen
f6c6aa784f actually call downloadEntities 2022-04-12 21:31:01 -04:00
Mitchell Rosen
abd67c6c13 move some code around and add docs 2022-04-12 21:27:10 -04:00
Mitchell Rosen
ca41818517 uploadEntities 2022-04-12 20:46:38 -04:00
Mitchell Rosen
62a1a60a81 use the real http update path 2022-04-12 20:43:36 -04:00
Arya Irani
c8cd5c4ce5 added value hash to api type 2022-04-12 18:16:17 -05: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
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
Mitchell Rosen
3abdda60e3 ⅄ trunk → arya/ooo-sync 2022-04-11 10:12:11 -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
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
Sgeo
1d2432c77b
Fix move.namespace documentation 2022-04-07 02:25:50 -04: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
Paul Chiusano
f9898f0b4d names and names.global commands 2022-04-06 21:50:47 -05:00
Chris Penner
3aca147a82 Implement sync http client 2022-04-06 15:48:59 -06:00
Mitchell Rosen
bebc3f17f0 add some comments to sync code 2022-04-06 17:28:32 -04:00
Mitchell Rosen
913216c4f5 more ooo-sync work 2022-04-06 14:33:40 -04:00
Arya Irani
c2111daed2 filling in a couple of things 2022-04-06 09:08:42 -05:00
Paul Chiusano
b35035d73c Merge remote-tracking branch 'origin/trunk' into topic/contained-ns 2022-04-05 16:21:30 -05:00
Mitchell Rosen
359b587144 more ooo sync work 2022-04-05 17:01:02 -04:00
Mitchell Rosen
3f66cf9a6f do some work on ooo-sync 2022-04-04 18:10:38 -04:00
Chris Penner
d728a7aaee Add MonadUnliftIO to unison-prelude 2022-04-01 10:59:56 -06:00
Paul Chiusano
31f0f236fa Merge remote-tracking branch 'origin/trunk' into topic/contained-ns 2022-03-31 09:59:03 -05:00
Paul Chiusano
1cfce57501
Merge pull request #3013 from unisonweb/cp/fix-transcript-errs 
Correctly handle errors which occur during transcripts
 2022-03-31 09:58:49 -05:00
Paul Chiusano
5068d6d898 Merge remote-tracking branch 'origin/trunk' into topic/contained-ns 2022-03-31 08:41:02 -05:00
Chris Penner
18c15b881d Hide builtins.merge, builtins.mergeio 2022-03-30 17:18:08 -06:00
Chris Penner
aa69d40f60 Assert that transcripts in /errors/ should fail. 2022-03-30 16:29:13 -06:00
Chris Penner
4a0c5367a7 Correctly print errors which occur during transcripts 
Also set exit code 1 when transcripts fail.
 2022-03-30 16:17:57 -06:00
Chris Penner
f1a7bc210c
Authenticate UCM with Codebase Servers. (#3000) 
* The auth.login command is hidden until it's officially supported.
 2022-03-30 13:19:48 -06:00
Paul Chiusano
d520fd3736 Merge remote-tracking branch 'origin/trunk' into topic/contained-ns 
# Conflicts:
#	unison-cli/src/Unison/CommandLine/InputPatterns.hs
 2022-03-30 10:44:56 -05:00
Chris Penner
2106ed69ea
Merge pull request #2996 from unisonweb/cp/input-reader 
Add ReaderT to Action and wrap Action in its own monad
 2022-03-29 13:29:54 -06:00
Paul Chiusano
4a5a56c48c Sort dependents output by name, not by hash! And put name in first column, rather than hash. 2022-03-28 12:39:15 -05:00
Paul Chiusano
34c4f46757 dependents command now correctly shows local dependents 
didn't bother with dependents.global
 2022-03-28 12:08:52 -05:00
Paul Chiusano
9cb116a80b Add find.global command. Tweak output messages to suggest it on no results. 2022-03-27 16:59:40 -05:00