800 Commits

Author	SHA1	Message	Date
Mitchell Rosen	aa2107982f	⅄ trunk → 22-10-18-backticky-parser	2024-02-20 11:10:58 -05:00
Mitchell Rosen	3044255060	sytax work	2024-02-01 02:39:48 -05:00
Mitchell Rosen	07078e9989	UnsafeNameSegment -> NameSegment	2024-01-31 11:15:00 -05:00
Mitchell Rosen	7f93853228	add instance IsString NameSegment	2024-01-31 11:08:47 -05:00
Mitchell Rosen	9299a199ab	remove NameSegment.reverseSegments'	2024-01-31 10:25:17 -05:00
Mitchell Rosen	ab361b6168	delete NameSegment.segments', implement Var.universallyQuantifyIfFree without it	2024-01-31 10:14:32 -05:00
Mitchell Rosen	80b528d1b0	add export list to Unison.NameSegment	2024-01-30 11:08:52 -05:00
Mitchell Rosen	acce2ea1df	⅄ trunk → 22-10-18-backticky-parser	2024-01-30 08:02:55 -05:00
Travis Staton	93be8966c6	add deleteBranchRemoteMapping query	2024-01-29 15:00:26 -05:00
Mitchell Rosen	8871927c6e	more path, name, and name segment work (doesn't build yet)	2024-01-24 11:01:22 -05:00
mergify[bot]	e7df7ceaeb	Merge pull request #3460 from unisonweb/cp/typechecked-auto-fmt ... LSP Format support	2024-01-22 19:04:24 +00:00
Mitchell Rosen	51b650ba12	unify name and path parsers	2024-01-18 22:15:54 -05:00
Chris Penner	8b011cd3da	Merge remote-tracking branch 'origin/trunk' into cp/typechecked-auto-fmt	2024-01-16 14:24:19 -08:00
mergify[bot]	47b383c608	Merge pull request #4381 from unisonweb/cp/pull-hash-validation-types ... Add decl verification	2024-01-15 19:17:16 +00:00
Chris Penner	0ddb12830c	Merge remote-tracking branch 'origin/trunk' into cp/typechecked-auto-fmt	2024-01-12 17:34:45 -08:00
Chris Penner	8aace56a47	Merge remote-tracking branch 'origin/trunk' into cp/pull-hash-validation-types	2024-01-10 15:21:17 -08:00
Chris Penner	e8a222c320	Merge remote-tracking branch 'origin/trunk' into pg/causals	2024-01-10 15:18:22 -08:00
Chris Penner	16515c0393	Merge remote-tracking branch 'origin/trunk' into pg/sync	2024-01-10 15:02:20 -08:00
Mitchell Rosen	b7d43cf40f	remove a bunch of metadata-related code	2024-01-03 20:44:55 -05:00
Chris Penner	609a1affd3	Expose helpers for faster sync on Share	2024-01-02 17:38:22 -08:00
Chris Penner	b4b4f80b64	Merge remote-tracking branch 'origin/trunk' into pg/sync	2023-12-12 09:12:18 -08:00
Chris Penner	6b847b75e7	Add show instance for debugging	2023-11-29 17:02:19 -08:00
Arya Irani	8373e2b447	don't use deepTermMetadata for test	2023-11-25 13:32:30 -05:00
Chris Penner	5005526d39	Merge branch 'cp/pull-hash-validation-types' into pg/sync	2023-11-13 15:18:26 -08:00
Chris Penner	e51cc411d2	Patch Hashing WIP	2023-11-13 14:56:40 -08:00
Chris Penner	201865e503	Merge remote-tracking branch 'origin/trunk' into cp/pull-hash-validation-patch	2023-11-13 14:18:36 -08:00
Chris Penner	d4baadce78	Add hash validation for decls	2023-11-09 14:14:05 -08:00
Chris Penner	c816703379	Merge remote-tracking branch 'origin/trunk' into pg/sync	2023-11-09 09:57:24 -08:00
Arya Irani	9a6cbc13cc	buildBigUnisonFile wip	2023-11-06 13:29:00 -05:00
Chris Penner	85593e7807	Expose temp entity decoder	2023-11-03 13:52:13 -07:00
Arya Irani	475b098728	talking and pairing and pairing and talking	2023-11-03 15:49:06 -04:00
Chris Penner	fc1dd98cad	Add witch.From instances for Hash types	2023-10-31 14:14:21 -07:00
Chris Penner	0e9ce315a0	Expose patch Serialization primitives	2023-10-27 17:38:25 -07:00
Chris Penner	d0198dc3e9	Cleanup	2023-10-27 12:45:43 -07:00
Chris Penner	d7009b9ec0	Add putLocalBranch for use in Share	2023-10-27 12:35:35 -07:00
Chris Penner	b234688ca0	Generalize object localization for Share	2023-10-27 12:35:11 -07:00
Chris Penner	18261f8368	More exports for share serialization	2023-10-25 19:47:36 -07:00
Chris Penner	d1b35470f2	Merge remote-tracking branch 'origin/trunk' into pg/sync	2023-10-25 16:15:00 -07:00
Chris Penner	d5cda98307	More useful traversals	2023-10-25 16:13:43 -07:00
Chris Penner	f9f99c6a58	Add local id traversals	2023-10-24 15:14:33 -07:00
Chris Penner	af0541bf93	Traversals for easier hashing in Share	2023-10-17 13:39:46 -07:00
Chris Penner	d9c8c7db4c	Add quadmapM to Branch	2023-10-16 14:45:59 -07:00
Chris Penner	e7516dc01c	Expose helpers for getting/saving eval results	2023-10-05 15:25:22 -07:00
Mitchell Rosen	fc1b13eafd	add note	2023-10-05 15:37:42 -04:00
Mitchell Rosen	74d645aafd	add expectDeclNumConstructors	2023-10-05 11:59:04 -04:00
Chris Penner	8d1e250654	Merge remote-tracking branch 'origin/trunk' into pg/causals	2023-10-03 12:11:34 -07:00
Chris Penner	ae560b4d26	Export serialization logic for Share	2023-10-03 12:11:17 -07:00
Chris Penner	1bc523bef5	Merge pull request #4329 from unisonweb/cp/validate-definition-hashes-2 ... Add Term Hash Validation	2023-10-02 10:55:39 -07:00
Chris Penner	25e2d7e7c3	Export putTermAndType for Share	2023-09-29 10:46:43 -07:00
Mitchell Rosen	1cffaa6809	rename decls to types	2023-09-28 09:37:25 -04:00