mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 10:35:57 +03:00
Commit Graph
Select branches
Hide Pull Requests
0v
21-11-02-sync2
21-12-02-prepared-statement-cache
23-05-20-bump-lts
23-05-21-bump-lts
24-01-16-connection-error-output
24-06-21-delete-old-doc-support
24-07-31-merge-refactor
24-08-09-name-resolution
24-08-09-prefer-direct-deps-in-ppe
4239/cases-infix
add-`github.ref_name`-to-pre-release-run-title
add-integration-tests
aliases-in-scratch-file
arya/debugging-ci-disk-usage
arya/fast-deep
arya/jit-release
arya/output-transcripts
arya/tmate-into-nix-action
aryairani-patch-1
aryairani-patch-2
aryairani-patch-3
better-CLI-error-messages-arya1
better-suggestions
bug/991
buildjet-cache
ceedubs/update-nix-flake
check-windows-interpreter-tests
chez-test2
chuwy-feature/current-endpoint
ci-split-jit-build-test
ci/lib-install
cp/2453-ambiguity-message
cp/2453-ambiguity-message-pack-names
cp/abbreviate-names-biased
cp/ability-term-conflicts
cp/absolute-branch-utils
cp/abt-combinators-2
cp/accept-referents
cp/add-codebase-backup
cp/add-constraints
cp/allow-apis-in-transcripts
cp/allow-pre-releases
cp/allow-pull-over-empty-local-2
cp/allow-pushing-v2
cp/allow-symbols-in-path
cp/allow-symboly-paths-revived
cp/allow-updates-for-deprecations
cp/archived-namespaces
cp/arg-names
cp/auto-fmt
cp/branch-cache-fallback
cp/branch-rename
cp/branch-sharing
cp/bundle-base
cp/bundled-defs
cp/causal-entity-validation
cp/cd-tab-complete
cp/child-branch-merge-behaviour
cp/cloud-session
cp/codebase-ref
cp/codeserver-description
cp/component-hashing
cp/consolidate-messages
cp/cycle-ppe
cp/debug-auth-login
cp/debug-merge
cp/debug-network
cp/debug-rehash
cp/definition-diffs-core
cp/delete-branch-local
cp/dep-graph
cp/destructuring-bind-anns
cp/diagnose
cp/diff-definitions-cli
cp/diff-namespace-hashes-simple
cp/diffing
cp/doc-formatter-fix
cp/doc-printer-fixups
cp/dont-nest-connections
cp/dumb-auto-fmt
cp/effect-anns-monoid
cp/empty-cases
cp/exclusive-migration
cp/expect-exact-name
cp/explicit-base-version
cp/explicit-paging
cp/factor-out-execute
cp/fast-ls
cp/fast-relation-compare
cp/fast-undo
cp/faster-namespace-completions
cp/faster-update-name-lookup
cp/faster-update-name-lookup-ooo
cp/faster-update-name-lookup-ooo-optimized
cp/filesystem-ucm
cp/filter-definitions
cp/find-hash-mismatches
cp/find-using-index-scratch
cp/firebase-haddocks
cp/fix-caching
cp/fix-causal-hash-conversions
cp/fix-find-perspective
cp/fix-get-buffering
cp/fix-hash-printing
cp/fix-old-migrations
cp/fix-race-condition
cp/fix-reversed-names-index
cp/format-docs
cp/fqn-syntax-text
cp/fzf-better-errs-2
cp/fzf-lib-scoping
cp/fzf-speedup
cp/garbage-collect-old-hashes
cp/greferent
cp/hash-v2-branch
cp/hover-experiments-2
cp/ignore-cabal-changes
cp/ignore-transitive-libs-completion
cp/ignore-transitive-libs-tdnr
cp/indent-docs
cp/inline-foreign
cp/io-watch
cp/json-interface
cp/lazy-load-root
cp/lazy-load-root-2
cp/lazy-root-cli
cp/lazy-root-cli-nfdata
cp/lift-bundled-refs
cp/lifted-unison-file
cp/local-ppe
cp/local-var-notes
cp/lsp-auto-complete
cp/lsp-blanks
cp/lsp-cancel-request
cp/lsp-codelens
cp/lsp-hover
cp/lsp-instant
cp/lsp-memory-leak
cp/lsp-windows-fix
cp/manual-haddocks-update
cp/metadata-analysis
cp/migration-hack
cp/monadic-pp
cp/more-run-error-code
cp/msgpack
cp/name-lookup-mounts-relative-to-root
cp/names-fix
cp/namespace-diff-api
cp/namespace-stats-conflict
cp/naming-merged-remove-cycle-length
cp/non-empty-relation
cp/oauth2/auth
cp/optimistic-sync
cp/optimizations-2
cp/parse-error-outputs
cp/pass-ucm-version
cp/path-cleanup
cp/path-unification
cp/perf-uploader
cp/precide-ppe-updates
cp/precise-ppe-updates
cp/preloaded-ppe-scanner
cp/project-ctx
cp/project-unison-local
cp/propagate-definition-annotation
cp/propagate-ppe
cp/pull-hash-validation-patch
cp/quick-start
cp/relational-namespaces
cp/relational-namespaces-impl
cp/remove-global-fallback
cp/remove-global-names
cp/remove-global-names-again-no-root-2
cp/remove-names-stuff
cp/remove-old-migrations
cp/remove-unimplemented-commands
cp/remove-update.old
cp/reset-ubuntu-version
cp/robust-welcome
cp/search-todo-names
cp/selection-ranges
cp/simple-branch-type
cp/simpler-file-watcher
cp/single-response
cp/small-enum-pattern-matching
cp/softer-git-pull
cp/softer-git-pull-with-connection-closing
cp/speed-up-apply
cp/speed-up-lca-check
cp/speedup-view-edit-2
cp/speedy-slurp
cp/split-codeserver-on-cli
cp/split-doc-rendering-types
cp/sql-name-search
cp/sqlite-types-refactor
cp/squash-branch
cp/squash-namespace-command
cp/squashed-pull-2
cp/suffixification-fix
cp/sync-algo
cp/sync-debugging
cp/syncm
cp/synhash-deps
cp/tab-complete-speedup-hash-qualified
cp/tab-complete-transcripts
cp/test-ucm-docker-image
cp/track-unison-file-edits
cp/transcript-post
cp/typechecked-auto-fmt-command
cp/ucm-name-index
cp/unified-ambiguity-printer
cp/unqualified-numbered-args
cp/use-hash32
cp/v2-base
cp/validate-definition-hashes
cp/validate-definition-hashes-fake-migration
cp/validate-definition-hashes-fake-migration-for-share
cp/windows-virtual-console
cp/workers
create-pull-request/patch
debug/1560
debug/1567
delete-relative
docker
ed25519-rkt-2
feature/current-endpoint
feature/install-scripts
feature/push-create
feature/push-create-archive
feature/release-builds
fix-5267
fix/1030-tdnr-for-conflicted-names
fix/1250
fix/1277
fix/1552
fix/2004
fix/missing-spaces
float-redundancy-merged
formatting/refs/heads/aryairani-patch-4
fzf-lib-scoping-merge
haddocks
haskell-nix-ci
homebrew-libb2-openssl
jit-test-timing
jit-tests-fixups
jit-udp-tests
jit-udp-tests-8.12
juhp-patch-1
kindexperiment
kylegoetz-udp
log-timing
lsp/add-update
lsp/auto-fmt
lsp/improved-match-ranges
lsp/improved-mismatch-ranges
lsp/jump-to-definition
lsp/local-autocomplete
lsp/semantic-tokens
lsp/ucm-commands
lsp/workspace-symbols
osx-ci-1611
osx-ci-debug
osx-ci-debug2
pchiusano-patch-1
pg/name-lookups
pg/sync-hash32
pg/sync-max-push-workers
pg/sync-workers
pr-template
precedence3
precedence4
precedenceLowest
precedenceWithSpecialMulti
racket-fixes
record-function-detection
relational-namespaces-refactor
relational-namespaces-refactor-code
release-jan-22-b
release-jan-22-c
remove-ci-unison-subdir
removeOldDemo
revert-1777-topic/ghc-8.10
revert-2596-21-11-04-input-cleanup
revert-4235-runarorama/missingresult
revert-4509-23-12-13-namespace-dependencies-is-slow
run-with-args
runarorama/ghc944
runarorama/secureRandom
sam/remove-backticks-termparser
series/M1
series/M2
series/M3
series/M4
split-and-jit
sqlite
squash-cache-tmate
stackage-nightly-2023-05-20
stew/byte-pattern
stew/tls-client-cert
structured-numbered-args
syncv2/experiments
test/update-transcripts
test2
thin-github-cache
tmate-in-ci
tmate-test
topic/1202-one-root-update
topic/555
topic/867-pull-requests
topic/O2-by-default
topic/TermR
topic/TermR-generalize-serialization
topic/abilities-fixes-1185
topic/alias.many
topic/autoinit
topic/bfs-before
topic/bfs-sync-debug-missing-base-deps
topic/bfs-sync-timing
topic/bfs-sync-warn-missing
topic/bug689
topic/byteArrayArgOrder
topic/cacheroot
topic/cacherootmtl
topic/change-ci-caching
topic/codebaseserver
topic/composite-actions
topic/constructor-reference-id
topic/datadecl-r
topic/defntags
topic/dependents
topic/doc2
topic/encryption
topic/existentials
topic/extended-sqlite-errors
topic/fake-commit
topic/fileTimestampInt
topic/gadts
topic/hash-module-v1
topic/hash-parameterized-references
topic/hashing
topic/haskeline-0.7.5.0-win32
topic/haskeline-0.8
topic/ignore-missing-remote-dependencies-known-locally
topic/lazy-causal
topic/ls-omitting-patches
topic/lts-15
topic/memory-codebase
topic/misc-testing
topic/more-processbranches-logging
topic/more-remoterepo-structure
topic/morepatterns
topic/multilink
topic/multipleIOs
topic/new-file-sync
topic/package.yaml-flags
topic/patch-generalize-reference
topic/pr-bundles
topic/pr-revamp
topic/pr.create
topic/pr.load
topic/pragma-optimize
topic/pretty0
topic/rearrange-modules
topic/reduce-mergeio-in-transcripts
topic/referent-patches
topic/rehash-codebase-hash-types
topic/remove-shellmet
topic/revert-915-transcripts
topic/roundtrip
topic/serialize-small
topic/show-git-version
topic/slim-strict
topic/soften-missing-remote-dependency-message
topic/stack-warnings
topic/symbolyroundtrip
topic/terminalwidth
topic/thread-exceptions
topic/time-copy-filter-index
topic/trace
topic/trace-findInHistory
topic/transcript-error-blocks2
topic/uhash
topic/update-hie.yaml
topic/update.suppress-field-terms
topic/upgradeIO
topic/vectors
topic/win32
travis/4416
travis/docker
travis/modal-ucm
travis/pmcc-ability-bug
trunk
try-embed-brew-libb2
tweak-ci-caching
unison-easytest-merge
update-in
update-release-template
update-wip-arya
virtualmaster
websiteExecutable
welcome-onboarding-state-machine-prompt-spike
wip/branchless
wip/codebase2
wip/codebase2-weeding
wip/compress
wip/filecodebase-cleanup
wip/nonspecial-unit
wip/polymorphic-record-fields
wip/refactor-term-ref-con-req
wip/remove-cycle-length-draft
wip/sheepshead
wip/ux-test
#1
#10
#100
#100
#1000
#1002
#1003
#1007
#1008
#1012
#1019
#1020
#1022
#1024
#1031
#1032
#1033
#1034
#1036
#1037
#1038
#1039
#1040
#1045
#1046
#1057
#1064
#1065
#1066
#1067
#1068
#1069
#1076
#1077
#1079
#1084
#1087
#1088
#1090
#1091
#1094
#1095
#1096
#1097
#1098
#1099
#11
#1100
#1101
#1102
#1103
#1104
#1105
#1107
#1114
#1115
#1116
#1117
#1118
#1119
#1120
#1121
#1122
#1123
#1124
#1125
#1126
#1134
#1135
#1138
#1144
#1147
#1148
#1149
#1150
#1154
#1155
#1156
#1158
#1159
#116
#116
#1162
#1163
#1164
#1165
#1166
#1167
#117
#1170
#1171
#1174
#1177
#1179
#118
#1180
#1181
#1183
#1186
#1187
#119
#1191
#1192
#1197
#1198
#1199
#120
#1208
#1209
#121
#1210
#1211
#1214
#1222
#1223
#1224
#1226
#1227
#1228
#1229
#1236
#1237
#124
#1249
#1252
#1254
#1255
#1259
#1260
#1262
#1263
#1270
#1274
#1278
#1279
#1283
#129
#1293
#1294
#13
#1301
#1302
#1306
#1307
#1315
#1317
#132
#1322
#1323
#1325
#1326
#1328
#133
#1331
#1333
#1334
#1337
#134
#1341
#1345
#135
#1351
#1352
#1353
#1360
#1361
#1368
#137
#1371
#1372
#1374
#1375
#1376
#1378
#138
#1380
#1382
#1383
#1387
#1389
#14
#140
#1400
#1401
#1403
#1405
#1406
#1407
#1411
#1412
#1416
#1417
#1418
#1419
#1420
#1422
#1424
#1425
#1426
#1427
#1428
#1432
#1434
#1435
#1437
#1439
#1440
#1442
#1444
#1446
#1449
#145
#1451
#1452
#1456
#1458
#1463
#1464
#1466
#1469
#147
#1471
#1493
#1498
#1499
#1501
#1503
#1507
#1508
#1511
#152
#1528
#1529
#153
#1530
#1534
#1543
#1545
#1548
#1549
#155
#1553
#1554
#1555
#1556
#1557
#1558
#156
#1561
#1565
#1566
#157
#1570
#1572
#1575
#1579
#158
#1581
#1584
#1588
#159
#1591
#1592
#1593
#1595
#1596
#1598
#16
#160
#1600
#1601
#1602
#1605
#1607
#1608
#1609
#161
#1611
#1614
#1615
#1617
#1618
#1619
#162
#1621
#1623
#1624
#1628
#1629
#1631
#1633
#1636
#1637
#1639
#164
#1641
#1642
#1644
#1647
#1649
#165
#1651
#1652
#1655
#1657
#1659
#166
#1661
#1662
#1666
#1667
#1671
#1674
#1677
#168
#1680
#1685
#169
#1690
#1691
#1699
#17
#170
#170
#1700
#1701
#1702
#1703
#1704
#1705
#1706
#1708
#171
#1710
#1712
#1716
#1718
#1718
#1719
#172
#1720
#1722
#1726
#1727
#1729
#173
#1730
#1732
#1733
#1734
#1735
#1736
#1738
#174
#1748
#1749
#175
#1750
#1751
#1752
#1753
#1755
#1756
#1759
#1760
#1761
#1763
#1765
#1766
#1767
#1768
#1769
#177
#1770
#1777
#178
#1780
#1784
#1785
#1786
#1787
#179
#1793
#1797
#1798
#180
#1806
#1807
#1808
#181
#1810
#1814
#1815
#1817
#182
#1823
#1825
#1826
#1827
#1829
#183
#1831
#1832
#1833
#1834
#1835
#1836
#1837
#1838
#1839
#184
#1845
#1846
#1848
#1849
#185
#185
#1850
#1851
#1852
#1853
#1854
#1855
#1856
#1857
#1858
#1859
#186
#1862
#1865
#187
#1871
#1872
#1875
#1879
#188
#1883
#1885
#1886
#1887
#1889
#189
#1891
#1892
#1893
#1894
#1895
#1896
#1897
#1899
#190
#1900
#1907
#1908
#1909
#191
#1910
#1911
#1913
#1917
#192
#1920
#1924
#1925
#1927
#1928
#1929
#193
#1932
#1935
#1937
#194
#1941
#1945
#1947
#1948
#195
#195
#1952
#1953
#1955
#1957
#196
#1960
#1964
#1966
#1968
#197
#1971
#1973
#1974
#1975
#1976
#1977
#1978
#198
#1980
#1981
#1983
#1984
#1985
#199
#1993
#1994
#1996
#1998
#1999
#200
#2002
#2006
#2007
#2008
#201
#2010
#2012
#2013
#2014
#2015
#2016
#2017
#202
#2023
#2029
#203
#2030
#2033
#2035
#2036
#2037
#2039
#204
#2042
#2043
#2047
#2048
#2048
#205
#2054
#2055
#2056
#2058
#206
#2062
#2064
#2065
#2069
#207
#2070
#2074
#2075
#2076
#2077
#2078
#2079
#208
#2081
#2084
#2086
#2087
#209
#2092
#2093
#2094
#2095
#2099
#21
#210
#2102
#2103
#2105
#2108
#211
#2114
#2115
#2116
#2117
#212
#2125
#213
#2132
#2134
#2135
#2138
#214
#2141
#2142
#215
#2151
#216
#2160
#2164
#217
#2170
#2178
#2179
#218
#2182
#219
#2191
#2192
#2197
#220
#221
#2217
#222
#2222
#2226
#223
#2233
#224
#2240
#2246
#2247
#225
#2250
#2253
#2259
#226
#2266
#227
#2272
#2273
#2274
#2278
#2279
#2280
#2283
#2284
#2286
#229
#2290
#2291
#2292
#2293
#2299
#230
#2300
#2301
#2303
#2305
#2307
#231
#2312
#232
#2321
#2322
#2323
#2324
#233
#2330
#2331
#2335
#2336
#234
#2343
#2346
#2349
#235
#2351
#2352
#2356
#236
#2363
#2364
#2365
#2366
#2367
#2368
#2369
#237
#2371
#2372
#2374
#2375
#2377
#238
#2380
#2382
#2384
#2385
#2386
#2387
#2388
#239
#2390
#2391
#2393
#2395
#2396
#2397
#2399
#240
#2400
#2403
#2405
#241
#2414
#2415
#2418
#242
#2420
#2421
#2427
#2428
#243
#2430
#2432
#2433
#2434
#2436
#2437
#2438
#244
#2441
#2442
#2443
#2446
#2447
#2448
#245
#2450
#2455
#2456
#2457
#2458
#2459
#246
#2460
#2462
#2466
#2468
#2469
#247
#2470
#2475
#2476
#2477
#2478
#248
#2484
#2485
#2486
#2487
#2488
#2494
#2498
#2499
#250
#2500
#2501
#2504
#2509
#251
#2510
#2511
#2513
#252
#2521
#2523
#2524
#2525
#2529
#253
#253
#2533
#2534
#2535
#2538
#2539
#2540
#2541
#2542
#2543
#2544
#2548
#2549
#2550
#2552
#2553
#2554
#2556
#2559
#256
#2560
#2561
#2562
#2563
#2565
#2566
#2568
#2569
#257
#2570
#2575
#2576
#2577
#2578
#2579
#2580
#2581
#2584
#2585
#2586
#259
#2590
#2592
#2593
#2594
#2595
#2596
#2597
#2598
#26
#260
#2600
#2602
#2604
#2607
#261
#2610
#2611
#2612
#2613
#2615
#2616
#2617
#2618
#2619
#262
#2621
#2623
#2625
#2626
#2627
#263
#2633
#2634
#2635
#2636
#2636
#2637
#2638
#264
#2641
#2643
#2644
#2645
#265
#2652
#2654
#2655
#2656
#2657
#2658
#2661
#2662
#2664
#2665
#2666
#2667
#2668
#267
#2670
#2671
#2672
#2674
#2675
#2680
#2681
#2682
#2683
#2686
#2687
#2688
#269
#2690
#2692
#27
#270
#2701
#2704
#2707
#2708
#2709
#271
#2710
#2713
#2714
#2716
#2717
#2717
#2718
#272
#2723
#2724
#2725
#2728
#2729
#273
#2730
#2731
#2732
#2734
#2738
#2739
#274
#2740
#2743
#2747
#2748
#2749
#275
#2750
#2752
#2753
#2754
#2755
#2757
#276
#2760
#2761
#2762
#2764
#2765
#2766
#2768
#2769
#277
#2770
#2772
#2773
#2774
#2775
#2776
#2777
#2779
#278
#2783
#2789
#279
#2791
#2792
#2793
#2797
#2798
#2799
#28
#280
#2800
#2802
#2803
#2804
#2806
#2809
#281
#2812
#2814
#2817
#2819
#2821
#2824
#2827
#2828
#283
#2830
#2832
#2833
#2835
#2836
#2837
#284
#2842
#2843
#2844
#2847
#2850
#2852
#2853
#2854
#2855
#2856
#2857
#2862
#2865
#2866
#2869
#2873
#2875
#2876
#2877
#2878
#2879
#2880
#2883
#2887
#2888
#2893
#2894
#2895
#2896
#2898
#29
#29
#290
#2900
#2902
#2903
#2904
#2907
#2908
#291
#2910
#2912
#2913
#2914
#2915
#2916
#2917
#2919
#292
#2920
#2921
#2929
#293
#2932
#2934
#2936
#2937
#2938
#2942
#2943
#2946
#2948
#2949
#2951
#2952
#2953
#2954
#2958
#2959
#2960
#2963
#2964
#2965
#2966
#2967
#2968
#297
#2972
#2973
#2974
#2975
#2976
#2977
#298
#2982
#2984
#299
#2990
#2992
#2993
#2994
#2996
#2997
#2998
#3
#3
#300
#3000
#3003
#3009
#3012
#3013
#3014
#3018
#3019
#302
#3022
#3023
#3024
#3025
#3026
#3029
#3031
#3032
#3033
#3039
#304
#3040
#3043
#3046
#3047
#305
#3051
#3052
#3054
#3056
#3059
#306
#3061
#3062
#3063
#3064
#3066
#3067
#3068
#307
#3073
#3074
#3075
#3076
#3078
#3079
#3080
#3081
#3091
#3092
#3093
#3094
#3095
#3097
#3099
#3100
#3102
#3103
#3104
#3105
#3106
#3107
#3113
#3114
#3115
#3116
#3117
#3118
#3119
#312
#3122
#3123
#3124
#3125
#3126
#3127
#3128
#3131
#3135
#3138
#3139
#3141
#3142
#3146
#3147
#3149
#3152
#3153
#3154
#3155
#3157
#3158
#316
#3161
#3164
#3165
#3167
#3168
#3169
#3170
#3172
#3173
#3174
#3175
#3176
#3178
#3179
#3180
#3181
#3187
#3193
#3194
#3195
#3197
#3198
#3199
#32
#3201
#3202
#3203
#3206
#3208
#3211
#3212
#3213
#3216
#3217
#322
#3220
#3221
#3222
#3224
#3225
#3226
#3227
#3228
#3229
#3230
#3232
#3234
#3236
#3237
#3238
#3240
#3242
#3243
#3252
#3255
#3260
#3262
#3264
#3266
#3267
#3269
#3274
#3279
#328
#3281
#3284
#3287
#3293
#3296
#3297
#3301
#3302
#3303
#3304
#3305
#3307
#331
#3310
#3312
#3317
#3318
#3319
#3321
#3323
#3326
#333
#3331
#3332
#3348
#335
#3350
#3353
#3354
#3358
#3359
#336
#3364
#3365
#3367
#337
#3372
#3374
#3375
#3377
#3378
#338
#3380
#3391
#34
#340
#3400
#3401
#3404
#3405
#3406
#3408
#3410
#3411
#3412
#3413
#3414
#3415
#3416
#3420
#3426
#3427
#3429
#3430
#3432
#3433
#3435
#3438
#3439
#3443
#3444
#3446
#3448
#3452
#3453
#3458
#3459
#3460
#3461
#3462
#3463
#3464
#3465
#3466
#3470
#3472
#3473
#3476
#3482
#3483
#3486
#3488
#3489
#3490
#3491
#3492
#3493
#3496
#3498
#35
#3500
#3503
#3505
#3507
#3508
#3511
#3512
#3518
#3519
#3521
#3522
#3524
#3525
#3526
#3527
#3528
#3531
#3534
#354
#3540
#3541
#3543
#3544
#3545
#3546
#3548
#3549
#3550
#3552
#3553
#3554
#3555
#3561
#3563
#3564
#3567
#3569
#3570
#3571
#3572
#3573
#3574
#3575
#3576
#3577
#3578
#358
#3580
#3583
#3586
#3587
#3589
#359
#3591
#3592
#3594
#3595
#3599
#3601
#3602
#3605
#3606
#3607
#3610
#3611
#3612
#3613
#3618
#3619
#362
#3620
#3621
#3623
#3624
#3626
#3628
#3629
#3630
#3631
#3632
#3633
#3634
#3637
#3640
#3642
#3644
#3645
#3646
#3647
#3647
#3649
#3652
#3655
#3656
#3661
#3662
#3663
#3665
#3667
#367
#3670
#3671
#3672
#3677
#3680
#3681
#3682
#3684
#3686
#3687
#3688
#3689
#3691
#3692
#3693
#3694
#3695
#3697
#3698
#37
#37
#3700
#3702
#3704
#3705
#3709
#3713
#3714
#3715
#3716
#3717
#3718
#3719
#3720
#3722
#3724
#3725
#3727
#3728
#3729
#3731
#3734
#3736
#3737
#3740
#3744
#3745
#3751
#3758
#3762
#3763
#3763
#3764
#3765
#3768
#3770
#3771
#3776
#3778
#3779
#3780
#3781
#3782
#3783
#3784
#3785
#3786
#3787
#3789
#379
#3790
#3792
#3793
#3795
#3797
#3798
#3799
#38
#3800
#3802
#3804
#3806
#3807
#3810
#3811
#3812
#3813
#3814
#3815
#3816
#3817
#3818
#3819
#382
#3820
#3821
#3824
#3825
#3826
#3827
#3828
#3829
#3830
#3831
#3832
#3833
#3834
#3835
#3836
#3838
#3839
#384
#3840
#3841
#3842
#3844
#3846
#3848
#385
#3850
#3852
#3853
#3856
#3862
#3863
#3864
#3865
#3866
#3868
#3869
#3870
#3874
#3874
#3875
#3876
#3877
#3878
#3878
#388
#3880
#3881
#3882
#3884
#3885
#3886
#3888
#3889
#389
#3890
#3891
#3893
#3894
#3896
#3897
#3898
#3899
#3902
#3903
#3904
#3905
#3906
#3907
#3908
#3909
#391
#3910
#3911
#3912
#3913
#3914
#3915
#3916
#3917
#3918
#3919
#392
#3920
#3921
#3922
#3923
#3924
#3926
#3927
#3928
#3929
#393
#3930
#3931
#3932
#3933
#3934
#394
#3940
#3942
#3942
#3943
#3944
#3946
#3947
#3948
#3949
#395
#3950
#3951
#3952
#3955
#3956
#3958
#3959
#3960
#3962
#3963
#3965
#3967
#3968
#3969
#3972
#3976
#3979
#3979
#3981
#3983
#3984
#3985
#3986
#3987
#3988
#399
#3991
#3993
#3994
#3996
#3997
#3998
#40
#4000
#4001
#4002
#4003
#4005
#4006
#4008
#4009
#4009
#401
#4010
#4011
#4012
#4013
#4014
#4015
#4016
#4018
#4019
#402
#4020
#4021
#4028
#4032
#4033
#4034
#4035
#4036
#4038
#4039
#404
#4040
#4041
#4042
#4043
#4044
#4045
#4046
#4047
#4048
#4051
#4053
#4054
#4055
#4056
#4057
#4058
#4059
#4061
#4062
#4063
#4064
#4065
#4067
#4068
#4071
#4074
#4075
#4076
#4078
#4080
#4082
#4089
#4090
#4092
#4093
#4094
#4095
#4096
#4096
#4097
#4098
#41
#4101
#4103
#4104
#4105
#4106
#4107
#411
#4110
#4111
#4113
#4116
#4117
#4118
#4121
#4122
#4126
#4128
#4129
#4130
#4136
#4137
#4138
#4139
#4140
#4142
#4144
#4147
#4148
#4149
#4151
#4154
#4155
#4156
#4157
#4158
#4159
#416
#4160
#4161
#4162
#4163
#4164
#4165
#4166
#4167
#4168
#4170
#4171
#4174
#4175
#4176
#4179
#418
#4182
#4183
#4186
#4187
#4188
#4191
#4195
#4196
#4197
#42
#4203
#4206
#4209
#4210
#4211
#4213
#4215
#4216
#4217
#4218
#4219
#422
#4220
#4224
#4225
#4229
#423
#4230
#4231
#4234
#4235
#4237
#4240
#4244
#4245
#4246
#4247
#4248
#4249
#4250
#4251
#4254
#4255
#4256
#4256
#4259
#426
#4260
#4261
#4262
#4263
#4264
#4265
#4267
#4270
#4271
#4274
#4275
#4276
#4281
#4285
#4286
#4287
#4288
#4289
#4291
#4292
#4296
#4298
#4299
#43
#430
#4301
#4302
#4304
#4306
#4307
#4308
#4309
#431
#4310
#4311
#4312
#4313
#4316
#4317
#4318
#4318
#432
#4322
#4323
#4324
#4325
#4326
#4327
#4329
#433
#4331
#4332
#4333
#4336
#4338
#4339
#434
#4341
#4342
#435
#4355
#4358
#4359
#436
#4361
#4364
#4365
#4366
#4368
#4369
#4371
#4372
#4374
#4376
#4377
#4378
#4378
#4379
#438
#4380
#4381
#4386
#4387
#4388
#4389
#4390
#4394
#4396
#4398
#4401
#4404
#4408
#4411
#4411
#4412
#4413
#4414
#4419
#4428
#4429
#4431
#4433
#4434
#4437
#4446
#4447
#4451
#4452
#4453
#4454
#4455
#4457
#4458
#4459
#4462
#4462
#4464
#4471
#4477
#4479
#4481
#4485
#4486
#45
#4500
#4502
#4503
#4504
#4505
#4507
#4508
#4509
#4511
#4512
#4513
#4519
#4520
#4523
#4529
#4530
#4531
#4533
#4535
#4538
#4540
#4541
#4552
#4557
#4558
#4559
#4565
#4566
#4569
#4571
#4572
#4573
#4574
#4576
#4577
#4579
#4581
#4584
#4585
#4586
#4587
#4588
#4589
#4595
#4599
#46
#46
#460
#4603
#4605
#4607
#4607
#4608
#461
#4612
#4613
#4615
#4617
#4621
#4621
#4622
#4624
#4629
#463
#4630
#4631
#4635
#4636
#4637
#4641
#4642
#4643
#4647
#4648
#4650
#4653
#4654
#4655
#4657
#4657
#4659
#4661
#4663
#4665
#467
#4670
#4671
#4674
#4675
#4677
#4679
#4689
#4691
#4694
#47
#4700
#4710
#4712
#4714
#4715
#4716
#4717
#4718
#4719
#472
#4720
#4721
#4738
#4739
#474
#4743
#475
#4752
#4753
#4754
#4754
#4756
#476
#4766
#4767
#4768
#477
#4770
#4774
#4775
#4776
#4778
#4779
#4781
#4783
#4784
#4785
#4788
#4790
#4791
#4792
#4793
#4794
#4795
#4796
#4797
#4798
#4799
#48
#4800
#4803
#4804
#4808
#4810
#4812
#4814
#4815
#4816
#4818
#4819
#4820
#4821
#4822
#4823
#4824
#4825
#4826
#4827
#4828
#4829
#4830
#4831
#4832
#4833
#4834
#4835
#4840
#4841
#4842
#4844
#4845
#4846
#4847
#4849
#4851
#4857
#4860
#4862
#4864
#4865
#4866
#4867
#4868
#4868
#4869
#4870
#4871
#4872
#4874
#4876
#4883
#4884
#4885
#4886
#4887
#4888
#4889
#4890
#4891
#4892
#4895
#4896
#4897
#49
#4900
#4901
#4902
#4903
#4905
#4906
#4907
#491
#4910
#4916
#4917
#4918
#4919
#492
#4920
#4920
#4922
#4923
#4924
#4926
#4927
#4929
#493
#4930
#4931
#4932
#4935
#4935
#4936
#4936
#4937
#4939
#4944
#4946
#4948
#4951
#4953
#4954
#4957
#4959
#4960
#4961
#4962
#4964
#4966
#4967
#4969
#4969
#4972
#4973
#4974
#4977
#4986
#4990
#4991
#4992
#4992
#4995
#4995
#4998
#4999
#50
#5001
#5002
#5003
#5005
#5008
#5010
#5012
#5013
#5014
#5015
#5018
#5018
#5019
#5020
#5027
#5028
#5029
#503
#5030
#5030
#5032
#5033
#5035
#5036
#5037
#5038
#5039
#504
#5041
#5042
#5046
#5048
#505
#5050
#5051
#5054
#5056
#5057
#5058
#5058
#506
#5061
#5064
#5065
#5067
#5068
#5070
#5071
#5077
#5078
#508
#5087
#509
#5093
#5093
#5096
#51
#51
#510
#5100
#5102
#5103
#5104
#5105
#5106
#5107
#5108
#5109
#511
#5110
#5111
#5113
#5114
#5115
#5117
#5118
#5119
#5119
#5120
#5121
#5123
#5124
#5130
#5131
#5133
#5135
#5138
#5139
#5140
#5142
#5144
#5146
#5147
#5148
#515
#5152
#5154
#5155
#5172
#5174
#5175
#5177
#5180
#5181
#5182
#5185
#5186
#5187
#5188
#5192
#5194
#5195
#5196
#5204
#5207
#5210
#5212
#5213
#5213
#5216
#5218
#522
#5220
#5223
#5224
#5226
#5227
#5228
#5230
#5231
#5232
#5233
#5235
#5236
#5236
#5237
#5238
#5239
#5240
#5242
#5243
#5244
#5249
#5249
#5250
#5251
#5252
#5253
#5253
#5254
#5256
#5257
#5258
#5259
#5260
#5262
#5263
#5263
#5264
#5265
#5269
#5270
#5273
#5275
#5276
#5277
#5282
#5284
#5284
#5285
#5287
#5287
#5288
#5290
#5291
#5292
#5294
#5296
#5297
#5298
#5299
#53
#5300
#5303
#5308
#5311
#5314
#5316
#5318
#5319
#5321
#5324
#5325
#5327
#5330
#5332
#5333
#5338
#5338
#5339
#5339
#54
#55
#55
#551
#554
#56
#561
#563
#564
#571
#572
#576
#583
#584
#585
#587
#588
#594
#60
#603
#604
#605
#607
#61
#610
#613
#617
#621
#622
#63
#634
#64
#647
#649
#65
#658
#659
#66
#666
#670
#671
#672
#675
#676
#678
#68
#684
#685
#687
#69
#698
#699
#7
#70
#701
#705
#706
#707
#71
#72
#725
#728
#729
#73
#730
#732
#735
#737
#74
#744
#746
#747
#748
#749
#75
#750
#751
#760
#761
#771
#772
#774
#775
#777
#778
#784
#787
#788
#789
#791
#803
#806
#808
#81
#816
#818
#819
#826
#827
#829
#83
#830
#831
#833
#834
#839
#84
#840
#841
#847
#848
#85
#854
#858
#859
#860
#862
#863
#864
#869
#871
#874
#875
#876
#878
#879
#88
#880
#881
#883
#887
#888
#889
#89
#890
#896
#897
#898
#9
#90
#900
#901
#902
#907
#91
#912
#914
#920
#923
#924
#925
#926
#932
#934
#935
#941
#943
#944
#946
#948
#95
#951
#952
#953
#954
#955
#956
#959
#96
#961
#962
#963
#967
#969
#97
#97
#976
#981
#983
#984
#986
#988
#99
#994
#995
#996
#997
M2-Linux
M2-macOS
M4a
branchful
dev/M2l
dev/M3
dev/M4
devel/M1j
devel/M1k
devel/M1l
devel/M1m
fix-launcher-script-2-build
jvm-runtime
last-working-chez
latest-Linux
latest-macOS
lib-install-build
release/0.5.11
release/0.5.12
release/0.5.13
release/0.5.14
release/0.5.15
release/0.5.16
release/0.5.17
release/0.5.18
release/0.5.19
release/0.5.20
release/0.5.21
release/0.5.22
release/0.5.23
release/0.5.24
release/0.5.25
release/0.5.26
release/M1
release/M1a
release/M1b
release/M1c
release/M1d
release/M1e
release/M1f
release/M1g
release/M1h
release/M1i
release/M1j
release/M1k
release/M1l
release/M1m
release/M2
release/M2-base
release/M2f
release/M2g
release/M2h
release/M2i
release/M2j
release/M2k
release/M2l
release/M3
release/M4
release/M4a
release/M4b
release/M4c
release/M4d
release/M4e
release/M4f
release/M4g
release/M4h
release/M4i
release/M5
release/M5a
release/M5b
release/M5c
release/M5d
release/M5e
release/M5f
release/M5g
release/M5h
release/M5i
release/M5j
remove-codegen-v1
rip-rt0
test-release/m3
test-release/test1
test-release/test2
test-release/test3
test-release/test4
test-release/test5
test-release/test6
test-release/test7
topic/abt/checkpoint
trunk-build
Select branches
Hide Pull Requests
0v
21-11-02-sync2
21-12-02-prepared-statement-cache
23-05-20-bump-lts
23-05-21-bump-lts
24-01-16-connection-error-output
24-06-21-delete-old-doc-support
24-07-31-merge-refactor
24-08-09-name-resolution
24-08-09-prefer-direct-deps-in-ppe
4239/cases-infix
add-`github.ref_name`-to-pre-release-run-title
add-integration-tests
aliases-in-scratch-file
arya/debugging-ci-disk-usage
arya/fast-deep
arya/jit-release
arya/output-transcripts
arya/tmate-into-nix-action
aryairani-patch-1
aryairani-patch-2
aryairani-patch-3
better-CLI-error-messages-arya1
better-suggestions
bug/991
buildjet-cache
ceedubs/update-nix-flake
check-windows-interpreter-tests
chez-test2
chuwy-feature/current-endpoint
ci-split-jit-build-test
ci/lib-install
cp/2453-ambiguity-message
cp/2453-ambiguity-message-pack-names
cp/abbreviate-names-biased
cp/ability-term-conflicts
cp/absolute-branch-utils
cp/abt-combinators-2
cp/accept-referents
cp/add-codebase-backup
cp/add-constraints
cp/allow-apis-in-transcripts
cp/allow-pre-releases
cp/allow-pull-over-empty-local-2
cp/allow-pushing-v2
cp/allow-symbols-in-path
cp/allow-symboly-paths-revived
cp/allow-updates-for-deprecations
cp/archived-namespaces
cp/arg-names
cp/auto-fmt
cp/branch-cache-fallback
cp/branch-rename
cp/branch-sharing
cp/bundle-base
cp/bundled-defs
cp/causal-entity-validation
cp/cd-tab-complete
cp/child-branch-merge-behaviour
cp/cloud-session
cp/codebase-ref
cp/codeserver-description
cp/component-hashing
cp/consolidate-messages
cp/cycle-ppe
cp/debug-auth-login
cp/debug-merge
cp/debug-network
cp/debug-rehash
cp/definition-diffs-core
cp/delete-branch-local
cp/dep-graph
cp/destructuring-bind-anns
cp/diagnose
cp/diff-definitions-cli
cp/diff-namespace-hashes-simple
cp/diffing
cp/doc-formatter-fix
cp/doc-printer-fixups
cp/dont-nest-connections
cp/dumb-auto-fmt
cp/effect-anns-monoid
cp/empty-cases
cp/exclusive-migration
cp/expect-exact-name
cp/explicit-base-version
cp/explicit-paging
cp/factor-out-execute
cp/fast-ls
cp/fast-relation-compare
cp/fast-undo
cp/faster-namespace-completions
cp/faster-update-name-lookup
cp/faster-update-name-lookup-ooo
cp/faster-update-name-lookup-ooo-optimized
cp/filesystem-ucm
cp/filter-definitions
cp/find-hash-mismatches
cp/find-using-index-scratch
cp/firebase-haddocks
cp/fix-caching
cp/fix-causal-hash-conversions
cp/fix-find-perspective
cp/fix-get-buffering
cp/fix-hash-printing
cp/fix-old-migrations
cp/fix-race-condition
cp/fix-reversed-names-index
cp/format-docs
cp/fqn-syntax-text
cp/fzf-better-errs-2
cp/fzf-lib-scoping
cp/fzf-speedup
cp/garbage-collect-old-hashes
cp/greferent
cp/hash-v2-branch
cp/hover-experiments-2
cp/ignore-cabal-changes
cp/ignore-transitive-libs-completion
cp/ignore-transitive-libs-tdnr
cp/indent-docs
cp/inline-foreign
cp/io-watch
cp/json-interface
cp/lazy-load-root
cp/lazy-load-root-2
cp/lazy-root-cli
cp/lazy-root-cli-nfdata
cp/lift-bundled-refs
cp/lifted-unison-file
cp/local-ppe
cp/local-var-notes
cp/lsp-auto-complete
cp/lsp-blanks
cp/lsp-cancel-request
cp/lsp-codelens
cp/lsp-hover
cp/lsp-instant
cp/lsp-memory-leak
cp/lsp-windows-fix
cp/manual-haddocks-update
cp/metadata-analysis
cp/migration-hack
cp/monadic-pp
cp/more-run-error-code
cp/msgpack
cp/name-lookup-mounts-relative-to-root
cp/names-fix
cp/namespace-diff-api
cp/namespace-stats-conflict
cp/naming-merged-remove-cycle-length
cp/non-empty-relation
cp/oauth2/auth
cp/optimistic-sync
cp/optimizations-2
cp/parse-error-outputs
cp/pass-ucm-version
cp/path-cleanup
cp/path-unification
cp/perf-uploader
cp/precide-ppe-updates
cp/precise-ppe-updates
cp/preloaded-ppe-scanner
cp/project-ctx
cp/project-unison-local
cp/propagate-definition-annotation
cp/propagate-ppe
cp/pull-hash-validation-patch
cp/quick-start
cp/relational-namespaces
cp/relational-namespaces-impl
cp/remove-global-fallback
cp/remove-global-names
cp/remove-global-names-again-no-root-2
cp/remove-names-stuff
cp/remove-old-migrations
cp/remove-unimplemented-commands
cp/remove-update.old
cp/reset-ubuntu-version
cp/robust-welcome
cp/search-todo-names
cp/selection-ranges
cp/simple-branch-type
cp/simpler-file-watcher
cp/single-response
cp/small-enum-pattern-matching
cp/softer-git-pull
cp/softer-git-pull-with-connection-closing
cp/speed-up-apply
cp/speed-up-lca-check
cp/speedup-view-edit-2
cp/speedy-slurp
cp/split-codeserver-on-cli
cp/split-doc-rendering-types
cp/sql-name-search
cp/sqlite-types-refactor
cp/squash-branch
cp/squash-namespace-command
cp/squashed-pull-2
cp/suffixification-fix
cp/sync-algo
cp/sync-debugging
cp/syncm
cp/synhash-deps
cp/tab-complete-speedup-hash-qualified
cp/tab-complete-transcripts
cp/test-ucm-docker-image
cp/track-unison-file-edits
cp/transcript-post
cp/typechecked-auto-fmt-command
cp/ucm-name-index
cp/unified-ambiguity-printer
cp/unqualified-numbered-args
cp/use-hash32
cp/v2-base
cp/validate-definition-hashes
cp/validate-definition-hashes-fake-migration
cp/validate-definition-hashes-fake-migration-for-share
cp/windows-virtual-console
cp/workers
create-pull-request/patch
debug/1560
debug/1567
delete-relative
docker
ed25519-rkt-2
feature/current-endpoint
feature/install-scripts
feature/push-create
feature/push-create-archive
feature/release-builds
fix-5267
fix/1030-tdnr-for-conflicted-names
fix/1250
fix/1277
fix/1552
fix/2004
fix/missing-spaces
float-redundancy-merged
formatting/refs/heads/aryairani-patch-4
fzf-lib-scoping-merge
haddocks
haskell-nix-ci
homebrew-libb2-openssl
jit-test-timing
jit-tests-fixups
jit-udp-tests
jit-udp-tests-8.12
juhp-patch-1
kindexperiment
kylegoetz-udp
log-timing
lsp/add-update
lsp/auto-fmt
lsp/improved-match-ranges
lsp/improved-mismatch-ranges
lsp/jump-to-definition
lsp/local-autocomplete
lsp/semantic-tokens
lsp/ucm-commands
lsp/workspace-symbols
osx-ci-1611
osx-ci-debug
osx-ci-debug2
pchiusano-patch-1
pg/name-lookups
pg/sync-hash32
pg/sync-max-push-workers
pg/sync-workers
pr-template
precedence3
precedence4
precedenceLowest
precedenceWithSpecialMulti
racket-fixes
record-function-detection
relational-namespaces-refactor
relational-namespaces-refactor-code
release-jan-22-b
release-jan-22-c
remove-ci-unison-subdir
removeOldDemo
revert-1777-topic/ghc-8.10
revert-2596-21-11-04-input-cleanup
revert-4235-runarorama/missingresult
revert-4509-23-12-13-namespace-dependencies-is-slow
run-with-args
runarorama/ghc944
runarorama/secureRandom
sam/remove-backticks-termparser
series/M1
series/M2
series/M3
series/M4
split-and-jit
sqlite
squash-cache-tmate
stackage-nightly-2023-05-20
stew/byte-pattern
stew/tls-client-cert
structured-numbered-args
syncv2/experiments
test/update-transcripts
test2
thin-github-cache
tmate-in-ci
tmate-test
topic/1202-one-root-update
topic/555
topic/867-pull-requests
topic/O2-by-default
topic/TermR
topic/TermR-generalize-serialization
topic/abilities-fixes-1185
topic/alias.many
topic/autoinit
topic/bfs-before
topic/bfs-sync-debug-missing-base-deps
topic/bfs-sync-timing
topic/bfs-sync-warn-missing
topic/bug689
topic/byteArrayArgOrder
topic/cacheroot
topic/cacherootmtl
topic/change-ci-caching
topic/codebaseserver
topic/composite-actions
topic/constructor-reference-id
topic/datadecl-r
topic/defntags
topic/dependents
topic/doc2
topic/encryption
topic/existentials
topic/extended-sqlite-errors
topic/fake-commit
topic/fileTimestampInt
topic/gadts
topic/hash-module-v1
topic/hash-parameterized-references
topic/hashing
topic/haskeline-0.7.5.0-win32
topic/haskeline-0.8
topic/ignore-missing-remote-dependencies-known-locally
topic/lazy-causal
topic/ls-omitting-patches
topic/lts-15
topic/memory-codebase
topic/misc-testing
topic/more-processbranches-logging
topic/more-remoterepo-structure
topic/morepatterns
topic/multilink
topic/multipleIOs
topic/new-file-sync
topic/package.yaml-flags
topic/patch-generalize-reference
topic/pr-bundles
topic/pr-revamp
topic/pr.create
topic/pr.load
topic/pragma-optimize
topic/pretty0
topic/rearrange-modules
topic/reduce-mergeio-in-transcripts
topic/referent-patches
topic/rehash-codebase-hash-types
topic/remove-shellmet
topic/revert-915-transcripts
topic/roundtrip
topic/serialize-small
topic/show-git-version
topic/slim-strict
topic/soften-missing-remote-dependency-message
topic/stack-warnings
topic/symbolyroundtrip
topic/terminalwidth
topic/thread-exceptions
topic/time-copy-filter-index
topic/trace
topic/trace-findInHistory
topic/transcript-error-blocks2
topic/uhash
topic/update-hie.yaml
topic/update.suppress-field-terms
topic/upgradeIO
topic/vectors
topic/win32
travis/4416
travis/docker
travis/modal-ucm
travis/pmcc-ability-bug
trunk
try-embed-brew-libb2
tweak-ci-caching
unison-easytest-merge
update-in
update-release-template
update-wip-arya
virtualmaster
websiteExecutable
welcome-onboarding-state-machine-prompt-spike
wip/branchless
wip/codebase2
wip/codebase2-weeding
wip/compress
wip/filecodebase-cleanup
wip/nonspecial-unit
wip/polymorphic-record-fields
wip/refactor-term-ref-con-req
wip/remove-cycle-length-draft
wip/sheepshead
wip/ux-test
#1
#10
#100
#100
#1000
#1002
#1003
#1007
#1008
#1012
#1019
#1020
#1022
#1024
#1031
#1032
#1033
#1034
#1036
#1037
#1038
#1039
#1040
#1045
#1046
#1057
#1064
#1065
#1066
#1067
#1068
#1069
#1076
#1077
#1079
#1084
#1087
#1088
#1090
#1091
#1094
#1095
#1096
#1097
#1098
#1099
#11
#1100
#1101
#1102
#1103
#1104
#1105
#1107
#1114
#1115
#1116
#1117
#1118
#1119
#1120
#1121
#1122
#1123
#1124
#1125
#1126
#1134
#1135
#1138
#1144
#1147
#1148
#1149
#1150
#1154
#1155
#1156
#1158
#1159
#116
#116
#1162
#1163
#1164
#1165
#1166
#1167
#117
#1170
#1171
#1174
#1177
#1179
#118
#1180
#1181
#1183
#1186
#1187
#119
#1191
#1192
#1197
#1198
#1199
#120
#1208
#1209
#121
#1210
#1211
#1214
#1222
#1223
#1224
#1226
#1227
#1228
#1229
#1236
#1237
#124
#1249
#1252
#1254
#1255
#1259
#1260
#1262
#1263
#1270
#1274
#1278
#1279
#1283
#129
#1293
#1294
#13
#1301
#1302
#1306
#1307
#1315
#1317
#132
#1322
#1323
#1325
#1326
#1328
#133
#1331
#1333
#1334
#1337
#134
#1341
#1345
#135
#1351
#1352
#1353
#1360
#1361
#1368
#137
#1371
#1372
#1374
#1375
#1376
#1378
#138
#1380
#1382
#1383
#1387
#1389
#14
#140
#1400
#1401
#1403
#1405
#1406
#1407
#1411
#1412
#1416
#1417
#1418
#1419
#1420
#1422
#1424
#1425
#1426
#1427
#1428
#1432
#1434
#1435
#1437
#1439
#1440
#1442
#1444
#1446
#1449
#145
#1451
#1452
#1456
#1458
#1463
#1464
#1466
#1469
#147
#1471
#1493
#1498
#1499
#1501
#1503
#1507
#1508
#1511
#152
#1528
#1529
#153
#1530
#1534
#1543
#1545
#1548
#1549
#155
#1553
#1554
#1555
#1556
#1557
#1558
#156
#1561
#1565
#1566
#157
#1570
#1572
#1575
#1579
#158
#1581
#1584
#1588
#159
#1591
#1592
#1593
#1595
#1596
#1598
#16
#160
#1600
#1601
#1602
#1605
#1607
#1608
#1609
#161
#1611
#1614
#1615
#1617
#1618
#1619
#162
#1621
#1623
#1624
#1628
#1629
#1631
#1633
#1636
#1637
#1639
#164
#1641
#1642
#1644
#1647
#1649
#165
#1651
#1652
#1655
#1657
#1659
#166
#1661
#1662
#1666
#1667
#1671
#1674
#1677
#168
#1680
#1685
#169
#1690
#1691
#1699
#17
#170
#170
#1700
#1701
#1702
#1703
#1704
#1705
#1706
#1708
#171
#1710
#1712
#1716
#1718
#1718
#1719
#172
#1720
#1722
#1726
#1727
#1729
#173
#1730
#1732
#1733
#1734
#1735
#1736
#1738
#174
#1748
#1749
#175
#1750
#1751
#1752
#1753
#1755
#1756
#1759
#1760
#1761
#1763
#1765
#1766
#1767
#1768
#1769
#177
#1770
#1777
#178
#1780
#1784
#1785
#1786
#1787
#179
#1793
#1797
#1798
#180
#1806
#1807
#1808
#181
#1810
#1814
#1815
#1817
#182
#1823
#1825
#1826
#1827
#1829
#183
#1831
#1832
#1833
#1834
#1835
#1836
#1837
#1838
#1839
#184
#1845
#1846
#1848
#1849
#185
#185
#1850
#1851
#1852
#1853
#1854
#1855
#1856
#1857
#1858
#1859
#186
#1862
#1865
#187
#1871
#1872
#1875
#1879
#188
#1883
#1885
#1886
#1887
#1889
#189
#1891
#1892
#1893
#1894
#1895
#1896
#1897
#1899
#190
#1900
#1907
#1908
#1909
#191
#1910
#1911
#1913
#1917
#192
#1920
#1924
#1925
#1927
#1928
#1929
#193
#1932
#1935
#1937
#194
#1941
#1945
#1947
#1948
#195
#195
#1952
#1953
#1955
#1957
#196
#1960
#1964
#1966
#1968
#197
#1971
#1973
#1974
#1975
#1976
#1977
#1978
#198
#1980
#1981
#1983
#1984
#1985
#199
#1993
#1994
#1996
#1998
#1999
#200
#2002
#2006
#2007
#2008
#201
#2010
#2012
#2013
#2014
#2015
#2016
#2017
#202
#2023
#2029
#203
#2030
#2033
#2035
#2036
#2037
#2039
#204
#2042
#2043
#2047
#2048
#2048
#205
#2054
#2055
#2056
#2058
#206
#2062
#2064
#2065
#2069
#207
#2070
#2074
#2075
#2076
#2077
#2078
#2079
#208
#2081
#2084
#2086
#2087
#209
#2092
#2093
#2094
#2095
#2099
#21
#210
#2102
#2103
#2105
#2108
#211
#2114
#2115
#2116
#2117
#212
#2125
#213
#2132
#2134
#2135
#2138
#214
#2141
#2142
#215
#2151
#216
#2160
#2164
#217
#2170
#2178
#2179
#218
#2182
#219
#2191
#2192
#2197
#220
#221
#2217
#222
#2222
#2226
#223
#2233
#224
#2240
#2246
#2247
#225
#2250
#2253
#2259
#226
#2266
#227
#2272
#2273
#2274
#2278
#2279
#2280
#2283
#2284
#2286
#229
#2290
#2291
#2292
#2293
#2299
#230
#2300
#2301
#2303
#2305
#2307
#231
#2312
#232
#2321
#2322
#2323
#2324
#233
#2330
#2331
#2335
#2336
#234
#2343
#2346
#2349
#235
#2351
#2352
#2356
#236
#2363
#2364
#2365
#2366
#2367
#2368
#2369
#237
#2371
#2372
#2374
#2375
#2377
#238
#2380
#2382
#2384
#2385
#2386
#2387
#2388
#239
#2390
#2391
#2393
#2395
#2396
#2397
#2399
#240
#2400
#2403
#2405
#241
#2414
#2415
#2418
#242
#2420
#2421
#2427
#2428
#243
#2430
#2432
#2433
#2434
#2436
#2437
#2438
#244
#2441
#2442
#2443
#2446
#2447
#2448
#245
#2450
#2455
#2456
#2457
#2458
#2459
#246
#2460
#2462
#2466
#2468
#2469
#247
#2470
#2475
#2476
#2477
#2478
#248
#2484
#2485
#2486
#2487
#2488
#2494
#2498
#2499
#250
#2500
#2501
#2504
#2509
#251
#2510
#2511
#2513
#252
#2521
#2523
#2524
#2525
#2529
#253
#253
#2533
#2534
#2535
#2538
#2539
#2540
#2541
#2542
#2543
#2544
#2548
#2549
#2550
#2552
#2553
#2554
#2556
#2559
#256
#2560
#2561
#2562
#2563
#2565
#2566
#2568
#2569
#257
#2570
#2575
#2576
#2577
#2578
#2579
#2580
#2581
#2584
#2585
#2586
#259
#2590
#2592
#2593
#2594
#2595
#2596
#2597
#2598
#26
#260
#2600
#2602
#2604
#2607
#261
#2610
#2611
#2612
#2613
#2615
#2616
#2617
#2618
#2619
#262
#2621
#2623
#2625
#2626
#2627
#263
#2633
#2634
#2635
#2636
#2636
#2637
#2638
#264
#2641
#2643
#2644
#2645
#265
#2652
#2654
#2655
#2656
#2657
#2658
#2661
#2662
#2664
#2665
#2666
#2667
#2668
#267
#2670
#2671
#2672
#2674
#2675
#2680
#2681
#2682
#2683
#2686
#2687
#2688
#269
#2690
#2692
#27
#270
#2701
#2704
#2707
#2708
#2709
#271
#2710
#2713
#2714
#2716
#2717
#2717
#2718
#272
#2723
#2724
#2725
#2728
#2729
#273
#2730
#2731
#2732
#2734
#2738
#2739
#274
#2740
#2743
#2747
#2748
#2749
#275
#2750
#2752
#2753
#2754
#2755
#2757
#276
#2760
#2761
#2762
#2764
#2765
#2766
#2768
#2769
#277
#2770
#2772
#2773
#2774
#2775
#2776
#2777
#2779
#278
#2783
#2789
#279
#2791
#2792
#2793
#2797
#2798
#2799
#28
#280
#2800
#2802
#2803
#2804
#2806
#2809
#281
#2812
#2814
#2817
#2819
#2821
#2824
#2827
#2828
#283
#2830
#2832
#2833
#2835
#2836
#2837
#284
#2842
#2843
#2844
#2847
#2850
#2852
#2853
#2854
#2855
#2856
#2857
#2862
#2865
#2866
#2869
#2873
#2875
#2876
#2877
#2878
#2879
#2880
#2883
#2887
#2888
#2893
#2894
#2895
#2896
#2898
#29
#29
#290
#2900
#2902
#2903
#2904
#2907
#2908
#291
#2910
#2912
#2913
#2914
#2915
#2916
#2917
#2919
#292
#2920
#2921
#2929
#293
#2932
#2934
#2936
#2937
#2938
#2942
#2943
#2946
#2948
#2949
#2951
#2952
#2953
#2954
#2958
#2959
#2960
#2963
#2964
#2965
#2966
#2967
#2968
#297
#2972
#2973
#2974
#2975
#2976
#2977
#298
#2982
#2984
#299
#2990
#2992
#2993
#2994
#2996
#2997
#2998
#3
#3
#300
#3000
#3003
#3009
#3012
#3013
#3014
#3018
#3019
#302
#3022
#3023
#3024
#3025
#3026
#3029
#3031
#3032
#3033
#3039
#304
#3040
#3043
#3046
#3047
#305
#3051
#3052
#3054
#3056
#3059
#306
#3061
#3062
#3063
#3064
#3066
#3067
#3068
#307
#3073
#3074
#3075
#3076
#3078
#3079
#3080
#3081
#3091
#3092
#3093
#3094
#3095
#3097
#3099
#3100
#3102
#3103
#3104
#3105
#3106
#3107
#3113
#3114
#3115
#3116
#3117
#3118
#3119
#312
#3122
#3123
#3124
#3125
#3126
#3127
#3128
#3131
#3135
#3138
#3139
#3141
#3142
#3146
#3147
#3149
#3152
#3153
#3154
#3155
#3157
#3158
#316
#3161
#3164
#3165
#3167
#3168
#3169
#3170
#3172
#3173
#3174
#3175
#3176
#3178
#3179
#3180
#3181
#3187
#3193
#3194
#3195
#3197
#3198
#3199
#32
#3201
#3202
#3203
#3206
#3208
#3211
#3212
#3213
#3216
#3217
#322
#3220
#3221
#3222
#3224
#3225
#3226
#3227
#3228
#3229
#3230
#3232
#3234
#3236
#3237
#3238
#3240
#3242
#3243
#3252
#3255
#3260
#3262
#3264
#3266
#3267
#3269
#3274
#3279
#328
#3281
#3284
#3287
#3293
#3296
#3297
#3301
#3302
#3303
#3304
#3305
#3307
#331
#3310
#3312
#3317
#3318
#3319
#3321
#3323
#3326
#333
#3331
#3332
#3348
#335
#3350
#3353
#3354
#3358
#3359
#336
#3364
#3365
#3367
#337
#3372
#3374
#3375
#3377
#3378
#338
#3380
#3391
#34
#340
#3400
#3401
#3404
#3405
#3406
#3408
#3410
#3411
#3412
#3413
#3414
#3415
#3416
#3420
#3426
#3427
#3429
#3430
#3432
#3433
#3435
#3438
#3439
#3443
#3444
#3446
#3448
#3452
#3453
#3458
#3459
#3460
#3461
#3462
#3463
#3464
#3465
#3466
#3470
#3472
#3473
#3476
#3482
#3483
#3486
#3488
#3489
#3490
#3491
#3492
#3493
#3496
#3498
#35
#3500
#3503
#3505
#3507
#3508
#3511
#3512
#3518
#3519
#3521
#3522
#3524
#3525
#3526
#3527
#3528
#3531
#3534
#354
#3540
#3541
#3543
#3544
#3545
#3546
#3548
#3549
#3550
#3552
#3553
#3554
#3555
#3561
#3563
#3564
#3567
#3569
#3570
#3571
#3572
#3573
#3574
#3575
#3576
#3577
#3578
#358
#3580
#3583
#3586
#3587
#3589
#359
#3591
#3592
#3594
#3595
#3599
#3601
#3602
#3605
#3606
#3607
#3610
#3611
#3612
#3613
#3618
#3619
#362
#3620
#3621
#3623
#3624
#3626
#3628
#3629
#3630
#3631
#3632
#3633
#3634
#3637
#3640
#3642
#3644
#3645
#3646
#3647
#3647
#3649
#3652
#3655
#3656
#3661
#3662
#3663
#3665
#3667
#367
#3670
#3671
#3672
#3677
#3680
#3681
#3682
#3684
#3686
#3687
#3688
#3689
#3691
#3692
#3693
#3694
#3695
#3697
#3698
#37
#37
#3700
#3702
#3704
#3705
#3709
#3713
#3714
#3715
#3716
#3717
#3718
#3719
#3720
#3722
#3724
#3725
#3727
#3728
#3729
#3731
#3734
#3736
#3737
#3740
#3744
#3745
#3751
#3758
#3762
#3763
#3763
#3764
#3765
#3768
#3770
#3771
#3776
#3778
#3779
#3780
#3781
#3782
#3783
#3784
#3785
#3786
#3787
#3789
#379
#3790
#3792
#3793
#3795
#3797
#3798
#3799
#38
#3800
#3802
#3804
#3806
#3807
#3810
#3811
#3812
#3813
#3814
#3815
#3816
#3817
#3818
#3819
#382
#3820
#3821
#3824
#3825
#3826
#3827
#3828
#3829
#3830
#3831
#3832
#3833
#3834
#3835
#3836
#3838
#3839
#384
#3840
#3841
#3842
#3844
#3846
#3848
#385
#3850
#3852
#3853
#3856
#3862
#3863
#3864
#3865
#3866
#3868
#3869
#3870
#3874
#3874
#3875
#3876
#3877
#3878
#3878
#388
#3880
#3881
#3882
#3884
#3885
#3886
#3888
#3889
#389
#3890
#3891
#3893
#3894
#3896
#3897
#3898
#3899
#3902
#3903
#3904
#3905
#3906
#3907
#3908
#3909
#391
#3910
#3911
#3912
#3913
#3914
#3915
#3916
#3917
#3918
#3919
#392
#3920
#3921
#3922
#3923
#3924
#3926
#3927
#3928
#3929
#393
#3930
#3931
#3932
#3933
#3934
#394
#3940
#3942
#3942
#3943
#3944
#3946
#3947
#3948
#3949
#395
#3950
#3951
#3952
#3955
#3956
#3958
#3959
#3960
#3962
#3963
#3965
#3967
#3968
#3969
#3972
#3976
#3979
#3979
#3981
#3983
#3984
#3985
#3986
#3987
#3988
#399
#3991
#3993
#3994
#3996
#3997
#3998
#40
#4000
#4001
#4002
#4003
#4005
#4006
#4008
#4009
#4009
#401
#4010
#4011
#4012
#4013
#4014
#4015
#4016
#4018
#4019
#402
#4020
#4021
#4028
#4032
#4033
#4034
#4035
#4036
#4038
#4039
#404
#4040
#4041
#4042
#4043
#4044
#4045
#4046
#4047
#4048
#4051
#4053
#4054
#4055
#4056
#4057
#4058
#4059
#4061
#4062
#4063
#4064
#4065
#4067
#4068
#4071
#4074
#4075
#4076
#4078
#4080
#4082
#4089
#4090
#4092
#4093
#4094
#4095
#4096
#4096
#4097
#4098
#41
#4101
#4103
#4104
#4105
#4106
#4107
#411
#4110
#4111
#4113
#4116
#4117
#4118
#4121
#4122
#4126
#4128
#4129
#4130
#4136
#4137
#4138
#4139
#4140
#4142
#4144
#4147
#4148
#4149
#4151
#4154
#4155
#4156
#4157
#4158
#4159
#416
#4160
#4161
#4162
#4163
#4164
#4165
#4166
#4167
#4168
#4170
#4171
#4174
#4175
#4176
#4179
#418
#4182
#4183
#4186
#4187
#4188
#4191
#4195
#4196
#4197
#42
#4203
#4206
#4209
#4210
#4211
#4213
#4215
#4216
#4217
#4218
#4219
#422
#4220
#4224
#4225
#4229
#423
#4230
#4231
#4234
#4235
#4237
#4240
#4244
#4245
#4246
#4247
#4248
#4249
#4250
#4251
#4254
#4255
#4256
#4256
#4259
#426
#4260
#4261
#4262
#4263
#4264
#4265
#4267
#4270
#4271
#4274
#4275
#4276
#4281
#4285
#4286
#4287
#4288
#4289
#4291
#4292
#4296
#4298
#4299
#43
#430
#4301
#4302
#4304
#4306
#4307
#4308
#4309
#431
#4310
#4311
#4312
#4313
#4316
#4317
#4318
#4318
#432
#4322
#4323
#4324
#4325
#4326
#4327
#4329
#433
#4331
#4332
#4333
#4336
#4338
#4339
#434
#4341
#4342
#435
#4355
#4358
#4359
#436
#4361
#4364
#4365
#4366
#4368
#4369
#4371
#4372
#4374
#4376
#4377
#4378
#4378
#4379
#438
#4380
#4381
#4386
#4387
#4388
#4389
#4390
#4394
#4396
#4398
#4401
#4404
#4408
#4411
#4411
#4412
#4413
#4414
#4419
#4428
#4429
#4431
#4433
#4434
#4437
#4446
#4447
#4451
#4452
#4453
#4454
#4455
#4457
#4458
#4459
#4462
#4462
#4464
#4471
#4477
#4479
#4481
#4485
#4486
#45
#4500
#4502
#4503
#4504
#4505
#4507
#4508
#4509
#4511
#4512
#4513
#4519
#4520
#4523
#4529
#4530
#4531
#4533
#4535
#4538
#4540
#4541
#4552
#4557
#4558
#4559
#4565
#4566
#4569
#4571
#4572
#4573
#4574
#4576
#4577
#4579
#4581
#4584
#4585
#4586
#4587
#4588
#4589
#4595
#4599
#46
#46
#460
#4603
#4605
#4607
#4607
#4608
#461
#4612
#4613
#4615
#4617
#4621
#4621
#4622
#4624
#4629
#463
#4630
#4631
#4635
#4636
#4637
#4641
#4642
#4643
#4647
#4648
#4650
#4653
#4654
#4655
#4657
#4657
#4659
#4661
#4663
#4665
#467
#4670
#4671
#4674
#4675
#4677
#4679
#4689
#4691
#4694
#47
#4700
#4710
#4712
#4714
#4715
#4716
#4717
#4718
#4719
#472
#4720
#4721
#4738
#4739
#474
#4743
#475
#4752
#4753
#4754
#4754
#4756
#476
#4766
#4767
#4768
#477
#4770
#4774
#4775
#4776
#4778
#4779
#4781
#4783
#4784
#4785
#4788
#4790
#4791
#4792
#4793
#4794
#4795
#4796
#4797
#4798
#4799
#48
#4800
#4803
#4804
#4808
#4810
#4812
#4814
#4815
#4816
#4818
#4819
#4820
#4821
#4822
#4823
#4824
#4825
#4826
#4827
#4828
#4829
#4830
#4831
#4832
#4833
#4834
#4835
#4840
#4841
#4842
#4844
#4845
#4846
#4847
#4849
#4851
#4857
#4860
#4862
#4864
#4865
#4866
#4867
#4868
#4868
#4869
#4870
#4871
#4872
#4874
#4876
#4883
#4884
#4885
#4886
#4887
#4888
#4889
#4890
#4891
#4892
#4895
#4896
#4897
#49
#4900
#4901
#4902
#4903
#4905
#4906
#4907
#491
#4910
#4916
#4917
#4918
#4919
#492
#4920
#4920
#4922
#4923
#4924
#4926
#4927
#4929
#493
#4930
#4931
#4932
#4935
#4935
#4936
#4936
#4937
#4939
#4944
#4946
#4948
#4951
#4953
#4954
#4957
#4959
#4960
#4961
#4962
#4964
#4966
#4967
#4969
#4969
#4972
#4973
#4974
#4977
#4986
#4990
#4991
#4992
#4992
#4995
#4995
#4998
#4999
#50
#5001
#5002
#5003
#5005
#5008
#5010
#5012
#5013
#5014
#5015
#5018
#5018
#5019
#5020
#5027
#5028
#5029
#503
#5030
#5030
#5032
#5033
#5035
#5036
#5037
#5038
#5039
#504
#5041
#5042
#5046
#5048
#505
#5050
#5051
#5054
#5056
#5057
#5058
#5058
#506
#5061
#5064
#5065
#5067
#5068
#5070
#5071
#5077
#5078
#508
#5087
#509
#5093
#5093
#5096
#51
#51
#510
#5100
#5102
#5103
#5104
#5105
#5106
#5107
#5108
#5109
#511
#5110
#5111
#5113
#5114
#5115
#5117
#5118
#5119
#5119
#5120
#5121
#5123
#5124
#5130
#5131
#5133
#5135
#5138
#5139
#5140
#5142
#5144
#5146
#5147
#5148
#515
#5152
#5154
#5155
#5172
#5174
#5175
#5177
#5180
#5181
#5182
#5185
#5186
#5187
#5188
#5192
#5194
#5195
#5196
#5204
#5207
#5210
#5212
#5213
#5213
#5216
#5218
#522
#5220
#5223
#5224
#5226
#5227
#5228
#5230
#5231
#5232
#5233
#5235
#5236
#5236
#5237
#5238
#5239
#5240
#5242
#5243
#5244
#5249
#5249
#5250
#5251
#5252
#5253
#5253
#5254
#5256
#5257
#5258
#5259
#5260
#5262
#5263
#5263
#5264
#5265
#5269
#5270
#5273
#5275
#5276
#5277
#5282
#5284
#5284
#5285
#5287
#5287
#5288
#5290
#5291
#5292
#5294
#5296
#5297
#5298
#5299
#53
#5300
#5303
#5308
#5311
#5314
#5316
#5318
#5319
#5321
#5324
#5325
#5327
#5330
#5332
#5333
#5338
#5338
#5339
#5339
#54
#55
#55
#551
#554
#56
#561
#563
#564
#571
#572
#576
#583
#584
#585
#587
#588
#594
#60
#603
#604
#605
#607
#61
#610
#613
#617
#621
#622
#63
#634
#64
#647
#649
#65
#658
#659
#66
#666
#670
#671
#672
#675
#676
#678
#68
#684
#685
#687
#69
#698
#699
#7
#70
#701
#705
#706
#707
#71
#72
#725
#728
#729
#73
#730
#732
#735
#737
#74
#744
#746
#747
#748
#749
#75
#750
#751
#760
#761
#771
#772
#774
#775
#777
#778
#784
#787
#788
#789
#791
#803
#806
#808
#81
#816
#818
#819
#826
#827
#829
#83
#830
#831
#833
#834
#839
#84
#840
#841
#847
#848
#85
#854
#858
#859
#860
#862
#863
#864
#869
#871
#874
#875
#876
#878
#879
#88
#880
#881
#883
#887
#888
#889
#89
#890
#896
#897
#898
#9
#90
#900
#901
#902
#907
#91
#912
#914
#920
#923
#924
#925
#926
#932
#934
#935
#941
#943
#944
#946
#948
#95
#951
#952
#953
#954
#955
#956
#959
#96
#961
#962
#963
#967
#969
#97
#97
#976
#981
#983
#984
#986
#988
#99
#994
#995
#996
#997
M2-Linux
M2-macOS
M4a
branchful
dev/M2l
dev/M3
dev/M4
devel/M1j
devel/M1k
devel/M1l
devel/M1m
fix-launcher-script-2-build
jvm-runtime
last-working-chez
latest-Linux
latest-macOS
lib-install-build
release/0.5.11
release/0.5.12
release/0.5.13
release/0.5.14
release/0.5.15
release/0.5.16
release/0.5.17
release/0.5.18
release/0.5.19
release/0.5.20
release/0.5.21
release/0.5.22
release/0.5.23
release/0.5.24
release/0.5.25
release/0.5.26
release/M1
release/M1a
release/M1b
release/M1c
release/M1d
release/M1e
release/M1f
release/M1g
release/M1h
release/M1i
release/M1j
release/M1k
release/M1l
release/M1m
release/M2
release/M2-base
release/M2f
release/M2g
release/M2h
release/M2i
release/M2j
release/M2k
release/M2l
release/M3
release/M4
release/M4a
release/M4b
release/M4c
release/M4d
release/M4e
release/M4f
release/M4g
release/M4h
release/M4i
release/M5
release/M5a
release/M5b
release/M5c
release/M5d
release/M5e
release/M5f
release/M5g
release/M5h
release/M5i
release/M5j
remove-codegen-v1
rip-rt0
test-release/m3
test-release/test1
test-release/test2
test-release/test3
test-release/test4
test-release/test5
test-release/test6
test-release/test7
topic/abt/checkpoint
trunk-build
-
97efc69724
Made Vector a top-level term rather than a Literal
Paul Chiusano
2014-11-19 07:55:33 -0500 -
762db366de
Removed
Con
constructor from TermPaul Chiusano
2014-11-18 23:40:16 -0500 -
19056511b0
Finished plumbing use of Reference type through
Paul Chiusano
2014-11-18 23:34:10 -0500 -
336ada05b6
Rewriting backend to work with references WIP
Paul Chiusano
2014-11-18 18:14:00 -0500 -
cb2e8a9d4e
Refactoring handling of references on backend
Paul Chiusano
2014-11-18 16:43:34 -0500 -
2f90e8ba3f
Plumbed builtins through backend
Paul Chiusano
2014-11-18 14:24:59 -0500 -
5b4f0f4caa
Added distances and JSON formats to backend
Paul Chiusano
2014-11-18 12:18:52 -0500 -
c6ff4110db
Finished with JSON encoders / decoders for distances
Paul Chiusano
2014-11-18 12:11:23 -0500 -
0ff5b87cbd
Added distance decoders
Paul Chiusano
2014-11-14 17:35:06 -0500 -
a87775fb0d
Moving Json encoding/decoding to Elmz package
Paul Chiusano
2014-11-14 17:07:13 -0500 -
fbd4a1a62d
Better selection highlight style
Paul Chiusano
2014-11-14 14:21:01 -0500 -
8d66ebade2
prettier swatches
Paul Chiusano
2014-11-14 13:09:10 -0500 -
02cb7b5023
Builtin is no longer a literal
Paul Chiusano
2014-11-14 12:48:49 -0500 -
b668b4a41b
Some tweaks in prep for posting demo
Paul Chiusano
2014-11-13 17:46:45 -0500 -
adaad179d0
tweaks
Paul Chiusano
2014-11-13 17:18:14 -0500 -
7d96056ea6
function1 builtin view
Paul Chiusano
2014-11-13 16:50:16 -0500 -
2c1afeffdd
Added substitution functions on Term
Paul Chiusano
2014-11-13 13:43:42 -0500 -
d1ba9dee28
stub out View.function1 builtin
Paul Chiusano
2014-11-12 13:45:39 -0500 -
a2095f1dd7
modify blank style
Paul Chiusano
2014-11-12 12:16:47 -0500 -
33f0a4959e
Added blanks
Paul Chiusano
2014-11-12 12:13:34 -0500 -
93068dcbe5
switch to qualified names for builtins, style tweaks
Paul Chiusano
2014-11-12 11:49:07 -0500 -
c14547dac8
Fixed bug where Builtins were not being rendered properly
Paul Chiusano
2014-11-12 11:40:31 -0500 -
23a607a7e4
Color builtin function
Paul Chiusano
2014-11-11 17:52:01 -0500 -
12190d732b
alphabetize builtins
Paul Chiusano
2014-11-11 17:24:49 -0500 -
34bfc9b67e
Added spacer builtin function
Paul Chiusano
2014-11-11 16:58:39 -0500 -
2ad0c7c26c
tweaking builtins
Paul Chiusano
2014-11-11 15:06:56 -0500 -
8bc42d46cb
Separate absolute and relative distance types
Paul Chiusano
2014-11-11 14:52:15 -0500 -
0153e5c16d
more work on layout builtins
Paul Chiusano
2014-11-11 10:34:45 -0500 -
c45722cff9
Added wrapping text boxes to builtins
Paul Chiusano
2014-11-11 10:11:16 -0500 -
73c75566e0
more builtins
Paul Chiusano
2014-11-11 00:47:14 -0500 -
96b71ae71a
More WIP on builtins
Paul Chiusano
2014-11-10 18:32:18 -0500 -
1a31383c63
Refactored view code for terms, split into separate file, and now using a separate function for handling builtin rendering
Paul Chiusano
2014-11-10 18:18:13 -0500 -
5292adef25
ignore file update
Paul Chiusano
2014-10-24 18:14:03 -0400 -
c2b97798bf
WIP on custom views
Paul Chiusano
2014-10-24 18:12:11 -0400 -
5c10e3b059
Moved Layout to Elmz package
Paul Chiusano
2014-10-23 15:44:27 -0400 -
2bcacfca2c
formatting
Paul Chiusano
2014-10-22 11:27:45 -0400 -
60cdece1bb
Arrow navigation now does repeat after delay
Paul Chiusano
2014-10-10 11:18:52 -0400 -
1291d1d232
Tweaked node API
Paul Chiusano
2014-09-30 13:10:51 -0400 -
96d69995b0
Moving away from using hashes in term rendering
Paul Chiusano
2014-09-30 12:46:09 -0400 -
02915551a6
Added Layout.map
Paul Chiusano
2014-09-30 12:14:51 -0400 -
fdd4077fd6
experiment with just using path-based addressing everywhere
Paul Chiusano
2014-09-29 21:59:24 -0400 -
1abd351afa
hooked in overrides to term layout function - to support embedded graphical rendering of terms
Paul Chiusano
2014-09-29 20:47:42 -0400 -
28823b562b
modified client side for plural terms/metadatas
Paul Chiusano
2014-09-25 17:11:49 -0400 -
50fbaaec30
Got rid of panel function and made term and metadata plural
Paul Chiusano
2014-09-25 16:58:34 -0400 -
ac4750fa48
Added build file
Paul Chiusano
2014-09-25 13:44:20 -0400 -
6c534df460
up/down movements are now inverses, as are left/right
Paul Chiusano
2014-09-25 13:44:04 -0400 -
e117533d3f
Converted to new scheme for tracking highlight region
Paul Chiusano
2014-09-25 12:57:00 -0400 -
fc5162e835
Fixing up imports
Paul Chiusano
2014-09-25 10:53:25 -0400 -
d584129780
Upgrade to elm 0.13
Paul Chiusano
2014-09-24 21:41:09 -0400 -
e61769ce14
Simplified version of
changed
andunchanged
and introduced various other helper functions on signalsPaul Chiusano
2014-09-19 13:03:06 -0400 -
35d411551e
up function on term paths
Paul Chiusano
2014-09-19 12:52:20 -0400 -
cf7dff9798
fromMaybe function
Paul Chiusano
2014-09-19 12:51:13 -0400 -
77689876b1
About to gut main
Paul Chiusano
2014-09-18 14:28:59 -0400 -
35a15480ae
Paths back to being regular lists
Paul Chiusano
2014-09-17 17:20:25 -0400 -
fba014de94
WIP on handling relative navigation of selection regions
Paul Chiusano
2014-09-17 16:56:04 -0400 -
8676c3830b
tweaks to hit testing
Paul Chiusano
2014-09-17 13:08:28 -0400 -
d1c8bbbd62
Deleted unused
Paul Chiusano
2014-09-16 23:38:33 -0400 -
a688339367
Term rendering now working with Layout combinators
Paul Chiusano
2014-09-16 23:37:12 -0400 -
7bceeaef92
finished rewriting term rendering
Paul Chiusano
2014-09-15 18:23:26 -0400 -
cfe672c730
row and column layout functions
Paul Chiusano
2014-09-09 19:43:49 -0400 -
e7c8d81419
flipped order of arguments for Layout, term rendering compiling
Paul Chiusano
2014-09-08 22:31:43 -0400 -
ae6c9acb1b
checkpoint
Paul Chiusano
2014-09-08 22:09:55 -0400 -
2efa1d4da2
tweaking layout
Paul Chiusano
2014-09-08 16:52:39 -0400 -
6ee83485c8
cleanup
Paul Chiusano
2014-09-08 11:56:01 -0400 -
7957ce77d9
region and at functions now both return extra fields along with the search results
Paul Chiusano
2014-09-06 11:02:49 -0400 -
263d573460
Generalized Layout.region to work for any comparison function
Paul Chiusano
2014-09-06 10:47:28 -0400 -
c6fec22ca4
deducing results of ‘at’
Paul Chiusano
2014-09-05 23:26:32 -0400 -
762a0f66e6
layout now a coffee comonad, letting us do hit tests in pure code
Paul Chiusano
2014-09-05 23:21:03 -0400 -
5d82d9717a
layout trie WIP
Paul Chiusano
2014-09-04 15:59:29 -0400 -
4aefe2e71d
trie data type
Paul Chiusano
2014-09-04 14:38:10 -0400 -
10903125ac
nest combinator
Paul Chiusano
2014-09-03 17:01:08 -0400 -
bfbe7c1f5a
Layout lib
Paul Chiusano
2014-09-03 16:47:16 -0400 -
f8805054f3
changes to breaking algorithm puts first arg on same line
Paul Chiusano
2014-09-03 14:14:36 -0400 -
bae33579c2
term rendering with dynamic reflow seems to be working
Paul Chiusano
2014-09-02 11:22:43 -0400 -
e3d1e9424a
lambda breaking
Paul Chiusano
2014-08-30 11:24:18 -0400 -
309400f109
right associated operator chain rendering
Paul Chiusano
2014-08-30 08:45:06 -0400 -
c5ad0c5cb3
Almost done with operator breaking
Paul Chiusano
2014-08-29 17:39:19 -0400 -
7adbee7ce7
sip on break
Paul Chiusano
2014-08-29 16:37:02 -0400 -
736b2f050a
sip on break function
Paul Chiusano
2014-08-29 15:20:18 -0400 -
20e0ca4930
removed unused definition
Paul Chiusano
2014-08-29 14:11:44 -0400 -
890004f0ae
cleanup
Paul Chiusano
2014-08-29 14:10:59 -0400 -
c5f75a1003
term rendering simplified
Paul Chiusano
2014-08-29 14:08:18 -0400 -
bbb37b17ff
color palette
Paul Chiusano
2014-08-29 02:56:18 -0400 -
56fd15b7ef
finished with term rendering function (draft)
Paul Chiusano
2014-08-29 02:56:01 -0400 -
bfa4ee1e88
rendering of bracketed lists
Paul Chiusano
2014-08-29 01:48:40 -0400 -
c8abe15da6
generalized operator term rendering to work with both fixities
Paul Chiusano
2014-08-28 15:22:46 -0400 -
0655bfa81b
operator chain breaking
Paul Chiusano
2014-08-28 15:16:27 -0400 -
2de85ade3a
doing local name lookup properly
Paul Chiusano
2014-08-28 13:17:53 -0400 -
03bed42b71
Changed metadata representation, no longer need ComparablePath hack, as paths not used as dictionary keys
Paul Chiusano
2014-08-28 12:09:00 -0400 -
54a79c8a9a
Paths and term literals now use arrays rather than linked lists
Paul Chiusano
2014-08-28 10:59:40 -0400 -
f4af7a937a
Local variables now named according to their path, updated metadata on both node and client
Paul Chiusano
2014-08-27 18:56:53 -0400 -
fd25225da1
Paths now can contain indices into vector literals
Paul Chiusano
2014-08-27 13:18:24 -0400 -
c7c65050d2
term rendering WIP
Paul Chiusano
2014-08-26 17:36:38 -0400 -
7d80b672dd
added fixity declarations to metadata
Paul Chiusano
2014-08-26 11:23:23 -0400 -
6f3a74242d
worked out signature for term rendering
Paul Chiusano
2014-08-25 21:58:42 -0400 -
7d7513f1c4
working on term rendering
Paul Chiusano
2014-08-25 16:30:24 -0400 -
26401b1ec7
working on term rendering
Paul Chiusano
2014-08-25 13:18:35 -0400 -
23c59d80c9
filled in todo in json parser for objects
Paul Chiusano
2014-08-22 15:46:50 -0400 -
5dbb49e8a7
finished with node API
Paul Chiusano
2014-07-13 11:08:17 -0400 -
dd22538c78
moar progress
Paul Chiusano
2014-07-13 10:14:44 -0400