Arya Irani
|
9f2645ddc1
|
yaml: predicate requires British spelling
|
2024-03-08 16:42:42 -05:00 |
|
Arya Irani
|
bf3a99f3a9
|
yaml: maybe fix stack caching condition again?
|
2024-03-08 16:28:00 -05:00 |
|
Arya Irani
|
5034bf4cb8
|
change default ucr location to $0/runtime/unison-runtime[.exe]
|
2024-03-08 15:46:59 -05:00 |
|
Arya Irani
|
e8e610d0a8
|
do we need base.output.md ?
|
2024-03-08 14:50:42 -05:00 |
|
Arya Irani
|
021677d670
|
yaml: update stack caching
|
2024-03-08 14:50:30 -05:00 |
|
Arya Irani
|
b7530a56ac
|
remove compile.native.{fetch,genlibs} commands
existing ucm commands can be used instead, i.e. `gen-racket-libs.md`
|
2024-03-08 13:11:49 -05:00 |
|
Arya Irani
|
8df8744d1b
|
Merge branch 'topic/native-compiler' of github.com:unisonweb/unison into topic/native-compiler
|
2024-03-08 13:01:34 -05:00 |
|
Arya Irani
|
db3e48f6b8
|
yaml: clarify that you shouldn't have to invalidate build caches
|
2024-03-08 13:01:24 -05:00 |
|
Arya Irani
|
236d895f95
|
Update ci.md
|
2024-03-08 11:58:09 -05:00 |
|
Arya Irani
|
b0e8c768fe
|
Update ci.md
|
2024-03-08 11:56:57 -05:00 |
|
Arya Irani
|
98eb284b33
|
Update ci.md
|
2024-03-08 11:53:50 -05:00 |
|
Arya Irani
|
4dc10233ee
|
CI docs
|
2024-03-08 11:52:02 -05:00 |
|
Arya Irani
|
e026d1336c
|
yaml: cache key vars for invalidation
|
2024-03-07 00:11:26 -05:00 |
|
Arya Irani
|
20a0e734a6
|
yaml: call generateSchemeBoot directly from @unison/internal
|
2024-03-07 00:00:50 -05:00 |
|
Arya Irani
|
4a08bedee4
|
yaml: these were supposed to be part of a previous commit
|
2024-03-06 23:54:19 -05:00 |
|
Arya Irani
|
47c1826453
|
yaml: bikeshed variable names and hope nothing broke
|
2024-03-06 23:48:16 -05:00 |
|
Arya Irani
|
62eab49cfc
|
yaml: fix test results caching?
tests results are cached with the ucm binaries
|
2024-03-06 23:40:01 -05:00 |
|
Arya Irani
|
4e22249b4f
|
yaml: temporarily print what's in the stack cache, better
|
2024-03-06 23:30:58 -05:00 |
|
Arya Irani
|
eb33604c45
|
yaml: forgot a plugin name
|
2024-03-06 23:16:44 -05:00 |
|
Arya Irani
|
8926e19e79
|
yaml: add test caching and change a bunch of caching stuff
and hope for the best
|
2024-03-06 23:13:43 -05:00 |
|
Arya Irani
|
28dd96b6f5
|
yaml: temporarily print what's in the cached system stack dir
|
2024-03-06 23:13:05 -05:00 |
|
Arya Irani
|
3433362949
|
disable windows jit integration tests until #4705
|
2024-03-06 22:52:58 -05:00 |
|
Arya Irani
|
197ce9a605
|
Update ci.yaml with jit version 0.0.11
|
2024-03-06 16:13:34 -05:00 |
|
Dan Doel
|
aa537848c6
|
Bump gen-racket-libs version for @unison/internal
|
2024-03-04 11:52:19 -05:00 |
|
Dan Doel
|
3048be647e
|
Merge remote-tracking branch 'origin/trunk' into topic/native-compiler
|
2024-03-01 17:19:54 -05:00 |
|
Dan Doel
|
24379d3c88
|
Tweak fromUtf8 error message; add IOFailure type in scheme
Requires bumping the jit implementation version info
|
2024-03-01 16:40:30 -05:00 |
|
Dan Doel
|
46ad01e31f
|
Fix racket float to text formatting a bit to match Haskell
|
2024-03-01 12:54:51 -05:00 |
|
Arya Irani
|
646fc0deac
|
Merge pull request #4720 from unisonweb/24-02-26-upgrade-tweak
tweak: make upgrade not touch things that exist in new dep
|
2024-03-01 08:04:01 -05:00 |
|
Dan Doel
|
5cf73d1c6c
|
Fix char class stuff (more) properly
|
2024-02-29 20:53:04 -05:00 |
|
mergify[bot]
|
d20e9b1fe5
|
Merge pull request #4739 from unisonweb/aryairani-patch-4
Update release-steps.md
|
2024-02-29 18:22:43 +00:00 |
|
Arya Irani
|
12c55b1dea
|
Update release-steps.md
|
2024-02-29 12:15:24 -05:00 |
|
Dan Doel
|
d72f692478
|
Add a version flag to unison-runtime and rework slightly
|
2024-02-28 21:22:36 -05:00 |
|
Dan Doel
|
dfd482b3c6
|
Racket pattern fixes
|
2024-02-28 21:19:54 -05:00 |
|
Dan Doel
|
805c9f1c87
|
Scope.bytearrayOf and missing imports from prior commit
|
2024-02-28 21:15:54 -05:00 |
|
Dan Doel
|
a261aa0751
|
Implement modular arithmetic for Int/Nat
|
2024-02-28 21:15:13 -05:00 |
|
Dan Doel
|
b4d5da177d
|
Define some helper functions for modular arithmetic
These attempt to put slow operations behind a branch, so that arithmetic
on small enough numbers can remain efficient.
|
2024-02-28 21:08:09 -05:00 |
|
Dan Doel
|
6c69ae6453
|
Add additional universal compare cases in racket
|
2024-02-28 21:07:28 -05:00 |
|
Dan Doel
|
91e4311651
|
Racket chunked seq fixes for base tests
|
2024-02-28 21:06:49 -05:00 |
|
Mitchell Rosen
|
da8510e8fa
|
simpler definition of keepOldLocal{Terms,Types}NotInNew
|
2024-02-27 14:57:51 -05:00 |
|
Mitchell Rosen
|
add5422500
|
fix bug in inNewNamespace
|
2024-02-27 13:25:17 -05:00 |
|
mergify[bot]
|
404a9f9598
|
Merge pull request #4721 from unisonweb/cp/fetch-in-release-script
Ensure we tag latest trunk for releases
|
2024-02-27 18:18:49 +00:00 |
|
Chris Penner
|
e5b78ed0d2
|
Use origin/trunk as release target
|
2024-02-27 09:56:32 -08:00 |
|
Arya Irani
|
9412098adb
|
commend
|
2024-02-27 12:54:34 -05:00 |
|
Arya Irani
|
f608a7a905
|
update github-actions-help
|
2024-02-27 12:54:10 -05:00 |
|
Chris Penner
|
2daf42e981
|
Ensure we tag latest trunk for releases
|
2024-02-27 09:50:41 -08:00 |
|
Mitchell Rosen
|
a90c394000
|
⅄ trunk → 24-02-26-upgrade-tweak
|
2024-02-27 12:37:47 -05:00 |
|
Mitchell Rosen
|
8dbec31f40
|
add new guard in upgrade to not give names to old things in new dep
|
2024-02-27 12:32:18 -05:00 |
|
Chris Penner
|
b6d22a9a4b
|
Merge pull request #4716 from unisonweb/cp/entity-validation-csv
Enable Hash Validation in UCM
|
2024-02-27 08:47:53 -08:00 |
|
Mitchell Rosen
|
4aca271228
|
add transcript that demonstrates old undesirable behavior
|
2024-02-27 11:22:38 -05:00 |
|
Mitchell Rosen
|
dfe61d6417
|
more upgrade refactoring and cleanup
|
2024-02-27 11:07:35 -05:00 |
|