mirror of
https://github.com/anoma/juvix.git
synced 2024-12-23 06:42:40 +03:00
Commit Graph
Select branches
Hide Pull Requests
2186-allow-module-assignment
2247-bug-in-typechecking-inference-generates-ill-scoped-terms
2517-typechecking-infers-incorrect-types
2621-stop-depending-on-aeson-better-errors
2804-side-conditions-in-pattern-matching
2820-errors-happening-in-imported-files-are-reported-in-the-wrong-location
2839-implement-record-puns
2882-improve-termination-checking-for-instances
2983-allow-side-conditions-in-function-clauses-and-lambda-clauses
3036-the-project-cannot-be-built-with-cabal
3112-unexpected-type-inference-behaviour-with-record-creation-syntax
Geb-CI
anoma-export
anoma-transaction-fix
anthony/lean-translation
cairo-builtin-ptr
check-modification-time
ci-hyperfine
deepseq-investigation
disjoint-set-unify
fix-ensure-ln
fix-implicit-record-args
format-juvix-md
geb-vampir-test
ignore-specialization-warnings
inductive-type-mismatch
isabelle-alias-fix
isabelle-records-fix
isabelle-recursive-project
jan/update-start-exs
lts-22.9
main
mariari/dump-libraries
nameid-refactor
nock-run-args
nock-run-args-no-profile
nock-subterm-location-error
nockma-repl-dump
nockma-run-split
package-registry-draft
parallel
remove-partial-at-1
renaming
revert-2821-disable-macos-ci
transactions-zug
typed-pipelines
update-ormolu-0.7.4.0
update-start-exs
verify-intent
visibility-entry-refactor
zkllvm
#1320
#1371
#1375
#1376
#1377
#1378
#1379
#1380
#1381
#1384
#1385
#1386
#1387
#1389
#1391
#1392
#1393
#1398
#1400
#1401
#1402
#1403
#1404
#1408
#1410
#1411
#1414
#1415
#1416
#1418
#1420
#1421
#1422
#1425
#1426
#1427
#1429
#1431
#1432
#1433
#1434
#1435
#1436
#1437
#1440
#1442
#1443
#1445
#1446
#1447
#1449
#1450
#1451
#1453
#1454
#1456
#1457
#1458
#1459
#1460
#1461
#1467
#1472
#1486
#1487
#1488
#1489
#1490
#1492
#1493
#1494
#1496
#1497
#1499
#1500
#1501
#1502
#1503
#1504
#1505
#1506
#1507
#1508
#1510
#1513
#1514
#1515
#1517
#1518
#1519
#1521
#1522
#1523
#1524
#1525
#1526
#1527
#1530
#1533
#1535
#1536
#1537
#1538
#1540
#1542
#1543
#1544
#1546
#1547
#1550
#1551
#1563
#1565
#1566
#1567
#1568
#1571
#1572
#1574
#1575
#1576
#1578
#1579
#1580
#1581
#1582
#1583
#1585
#1588
#1589
#1591
#1592
#1594
#1598
#1599
#1600
#1602
#1603
#1604
#1605
#1607
#1608
#1609
#1610
#1611
#1612
#1613
#1615
#1616
#1617
#1618
#1619
#1621
#1622
#1648
#1649
#1650
#1651
#1652
#1655
#1656
#1657
#1658
#1659
#1661
#1662
#1663
#1664
#1665
#1667
#1668
#1669
#1670
#1671
#1672
#1673
#1674
#1675
#1676
#1681
#1684
#1686
#1687
#1688
#1694
#1698
#1699
#1703
#1705
#1707
#1708
#1709
#1710
#1711
#1712
#1713
#1715
#1717
#1718
#1724
#1725
#1726
#1727
#1728
#1730
#1732
#1733
#1734
#1735
#1736
#1737
#1740
#1741
#1743
#1744
#1745
#1746
#1747
#1748
#1749
#1757
#1759
#1760
#1761
#1762
#1763
#1764
#1765
#1766
#1769
#1770
#1771
#1772
#1775
#1778
#1779
#1780
#1781
#1782
#1783
#1784
#1785
#1787
#1789
#1790
#1791
#1794
#1795
#1796
#1797
#1800
#1802
#1803
#1804
#1805
#1808
#1809
#1810
#1812
#1813
#1815
#1816
#1818
#1819
#1820
#1821
#1822
#1823
#1824
#1829
#1830
#1832
#1833
#1834
#1835
#1838
#1840
#1842
#1845
#1847
#1848
#1849
#1851
#1852
#1853
#1854
#1856
#1857
#1858
#1859
#1860
#1861
#1862
#1863
#1864
#1865
#1866
#1868
#1869
#1870
#1871
#1872
#1873
#1874
#1875
#1877
#1880
#1881
#1883
#1885
#1886
#1890
#1891
#1892
#1893
#1894
#1896
#1897
#1898
#1900
#1901
#1903
#1904
#1905
#1906
#1908
#1909
#1910
#1911
#1912
#1915
#1916
#1917
#1918
#1920
#1921
#1923
#1924
#1925
#1929
#1931
#1932
#1933
#1934
#1935
#1936
#1938
#1939
#1940
#1941
#1942
#1945
#1946
#1947
#1948
#1949
#1950
#1952
#1953
#1954
#1955
#1956
#1961
#1962
#1963
#1966
#1967
#1969
#1970
#1971
#1974
#1975
#1977
#1978
#1979
#1980
#1981
#1982
#1983
#1987
#1988
#1990
#1995
#1997
#1999
#2000
#2003
#2004
#2009
#2011
#2012
#2015
#2018
#2019
#2021
#2022
#2023
#2024
#2025
#2026
#2027
#2028
#2029
#2030
#2031
#2036
#2037
#2038
#2040
#2041
#2042
#2043
#2044
#2046
#2048
#2049
#2053
#2054
#2057
#2061
#2062
#2063
#2075
#2076
#2078
#2079
#2086
#2092
#2093
#2094
#2096
#2097
#2098
#2099
#2101
#2102
#2103
#2105
#2106
#2107
#2108
#2109
#2112
#2115
#2118
#2119
#2120
#2121
#2122
#2123
#2125
#2126
#2127
#2137
#2138
#2139
#2140
#2141
#2142
#2143
#2144
#2149
#2150
#2151
#2152
#2153
#2156
#2158
#2164
#2165
#2169
#2170
#2172
#2173
#2174
#2175
#2178
#2179
#2181
#2182
#2183
#2184
#2192
#2193
#2194
#2195
#2197
#2199
#2201
#2204
#2205
#2207
#2208
#2209
#2210
#2212
#2213
#2215
#2216
#2218
#2219
#2220
#2221
#2222
#2223
#2225
#2227
#2229
#2230
#2231
#2232
#2234
#2236
#2238
#2239
#2240
#2241
#2243
#2244
#2245
#2250
#2253
#2254
#2255
#2256
#2257
#2259
#2260
#2261
#2262
#2263
#2264
#2266
#2267
#2268
#2270
#2271
#2272
#2275
#2278
#2282
#2283
#2284
#2289
#2290
#2291
#2295
#2299
#2300
#2301
#2302
#2303
#2305
#2306
#2307
#2308
#2309
#2311
#2312
#2313
#2314
#2315
#2317
#2318
#2320
#2321
#2322
#2323
#2325
#2326
#2327
#2328
#2332
#2335
#2337
#2342
#2343
#2344
#2345
#2350
#2351
#2353
#2357
#2359
#2360
#2364
#2366
#2368
#2369
#2370
#2375
#2376
#2377
#2378
#2379
#2381
#2382
#2384
#2385
#2387
#2388
#2389
#2390
#2391
#2393
#2395
#2396
#2397
#2398
#2399
#2400
#2404
#2405
#2406
#2407
#2408
#2409
#2415
#2417
#2418
#2419
#2420
#2423
#2424
#2425
#2428
#2433
#2434
#2435
#2436
#2437
#2439
#2441
#2442
#2443
#2444
#2446
#2447
#2448
#2450
#2451
#2454
#2456
#2457
#2458
#2459
#2462
#2463
#2465
#2467
#2468
#2470
#2471
#2473
#2474
#2475
#2477
#2478
#2480
#2481
#2482
#2483
#2484
#2486
#2489
#2490
#2492
#2493
#2494
#2496
#2498
#2499
#2500
#2501
#2502
#2503
#2504
#2505
#2506
#2507
#2509
#2512
#2513
#2514
#2515
#2516
#2522
#2523
#2524
#2526
#2532
#2533
#2535
#2536
#2538
#2539
#2541
#2542
#2543
#2544
#2545
#2546
#2547
#2548
#2550
#2551
#2552
#2554
#2556
#2564
#2565
#2566
#2567
#2570
#2572
#2573
#2574
#2575
#2579
#2580
#2581
#2582
#2583
#2584
#2585
#2586
#2587
#2589
#2590
#2591
#2592
#2593
#2594
#2595
#2596
#2597
#2598
#2599
#2600
#2601
#2602
#2603
#2604
#2605
#2608
#2614
#2615
#2616
#2617
#2618
#2619
#2620
#2622
#2623
#2624
#2625
#2626
#2627
#2628
#2629
#2630
#2631
#2632
#2633
#2634
#2635
#2637
#2639
#2640
#2641
#2642
#2643
#2644
#2645
#2646
#2647
#2648
#2649
#2650
#2652
#2653
#2655
#2657
#2658
#2659
#2661
#2662
#2663
#2666
#2669
#2671
#2673
#2675
#2676
#2678
#2679
#2681
#2690
#2691
#2692
#2693
#2694
#2695
#2696
#2697
#2698
#2699
#2700
#2701
#2705
#2706
#2707
#2708
#2709
#2710
#2711
#2712
#2713
#2714
#2715
#2717
#2718
#2723
#2727
#2728
#2729
#2730
#2731
#2732
#2734
#2738
#2739
#2740
#2741
#2746
#2747
#2748
#2751
#2752
#2753
#2754
#2756
#2757
#2761
#2762
#2765
#2766
#2768
#2770
#2772
#2775
#2776
#2777
#2778
#2779
#2780
#2782
#2783
#2784
#2785
#2786
#2787
#2788
#2789
#2791
#2792
#2793
#2794
#2795
#2798
#2802
#2809
#2811
#2814
#2815
#2816
#2817
#2819
#2821
#2822
#2824
#2825
#2828
#2833
#2834
#2835
#2838
#2842
#2843
#2844
#2846
#2847
#2849
#2851
#2852
#2853
#2855
#2856
#2857
#2858
#2860
#2861
#2862
#2863
#2864
#2867
#2868
#2869
#2870
#2871
#2874
#2875
#2876
#2880
#2881
#2883
#2885
#2886
#2887
#2888
#2889
#2890
#2899
#2900
#2908
#2909
#2910
#2911
#2915
#2916
#2917
#2918
#2920
#2921
#2922
#2925
#2926
#2928
#2929
#2930
#2931
#2932
#2933
#2934
#2936
#2937
#2938
#2943
#2944
#2946
#2947
#2950
#2951
#2953
#2955
#2956
#2957
#2958
#2959
#2960
#2961
#2963
#2969
#2972
#2973
#2974
#2975
#2976
#2977
#2977
#2978
#2979
#2981
#2984
#2988
#2989
#2991
#2993
#2995
#2998
#3001
#3003
#3004
#3005
#3006
#3010
#3011
#3012
#3014
#3015
#3018
#3020
#3021
#3024
#3025
#3026
#3029
#3034
#3035
#3038
#3049
#3049
#3050
#3050
#3051
#3051
#3052
#3053
#3055
#3056
#3057
#3059
#3061
#3065
#3066
#3069
#3070
#3072
#3073
#3075
#3076
#3081
#3087
#3088
#3092
#3097
#3099
#3101
#3102
#3103
#3104
#3105
#3107
#3108
#3109
#3110
#3111
#3113
#3114
#3116
#3119
#3120
#3121
#3122
#3123
#3124
#3125
#3126
#3127
#3128
#3129
#3132
#3133
#3134
#3135
#3136
#3138
#3139
#3140
#3142
#3144
#3148
#3149
#3150
#3151
#3151
#3152
#3153
#3158
#3159
#3160
#3162
#3163
#3165
#3167
#3168
#3169
#3170
#3171
#3172
#3173
#3175
#3176
#3177
#3178
#3179
#3180
#3181
#3182
#3183
#3184
#3187
#3188
#3189
#3190
#3193
#3194
#3195
#3196
#3199
#3200
#3202
#3203
#3204
#3205
#3206
#3207
#3208
#3212
#3213
#3214
#3215
#3216
#3219
#3220
#3222
#3223
#3224
#3225
#3226
#3227
#3229
#3232
#3233
#3238
#3239
#3240
#3241
#3242
#3249
#3250
#3251
#3253
#3254
v0.1.1
v0.1.2
v0.1.3
v0.1.4
v0.2.0
v0.2.1
v0.2.2
v0.2.3
v0.2.4
v0.2.5
v0.2.6
v0.2.7
v0.2.8
v0.2.9
v0.3.0
v0.3.1
v0.3.2
v0.3.3
v0.3.4
v0.3.5
v0.4.0
v0.4.1
v0.4.2
v0.4.3
v0.5.0
v0.5.1
v0.5.2
v0.5.3
v0.5.4
v0.5.5
v0.6.0
v0.6.1
v0.6.2
v0.6.3
v0.6.4
v0.6.5
v0.6.6
v0.6.7
v0.6.8
v0.6.9
Select branches
Hide Pull Requests
2186-allow-module-assignment
2247-bug-in-typechecking-inference-generates-ill-scoped-terms
2517-typechecking-infers-incorrect-types
2621-stop-depending-on-aeson-better-errors
2804-side-conditions-in-pattern-matching
2820-errors-happening-in-imported-files-are-reported-in-the-wrong-location
2839-implement-record-puns
2882-improve-termination-checking-for-instances
2983-allow-side-conditions-in-function-clauses-and-lambda-clauses
3036-the-project-cannot-be-built-with-cabal
3112-unexpected-type-inference-behaviour-with-record-creation-syntax
Geb-CI
anoma-export
anoma-transaction-fix
anthony/lean-translation
cairo-builtin-ptr
check-modification-time
ci-hyperfine
deepseq-investigation
disjoint-set-unify
fix-ensure-ln
fix-implicit-record-args
format-juvix-md
geb-vampir-test
ignore-specialization-warnings
inductive-type-mismatch
isabelle-alias-fix
isabelle-records-fix
isabelle-recursive-project
jan/update-start-exs
lts-22.9
main
mariari/dump-libraries
nameid-refactor
nock-run-args
nock-run-args-no-profile
nock-subterm-location-error
nockma-repl-dump
nockma-run-split
package-registry-draft
parallel
remove-partial-at-1
renaming
revert-2821-disable-macos-ci
transactions-zug
typed-pipelines
update-ormolu-0.7.4.0
update-start-exs
verify-intent
visibility-entry-refactor
zkllvm
#1320
#1371
#1375
#1376
#1377
#1378
#1379
#1380
#1381
#1384
#1385
#1386
#1387
#1389
#1391
#1392
#1393
#1398
#1400
#1401
#1402
#1403
#1404
#1408
#1410
#1411
#1414
#1415
#1416
#1418
#1420
#1421
#1422
#1425
#1426
#1427
#1429
#1431
#1432
#1433
#1434
#1435
#1436
#1437
#1440
#1442
#1443
#1445
#1446
#1447
#1449
#1450
#1451
#1453
#1454
#1456
#1457
#1458
#1459
#1460
#1461
#1467
#1472
#1486
#1487
#1488
#1489
#1490
#1492
#1493
#1494
#1496
#1497
#1499
#1500
#1501
#1502
#1503
#1504
#1505
#1506
#1507
#1508
#1510
#1513
#1514
#1515
#1517
#1518
#1519
#1521
#1522
#1523
#1524
#1525
#1526
#1527
#1530
#1533
#1535
#1536
#1537
#1538
#1540
#1542
#1543
#1544
#1546
#1547
#1550
#1551
#1563
#1565
#1566
#1567
#1568
#1571
#1572
#1574
#1575
#1576
#1578
#1579
#1580
#1581
#1582
#1583
#1585
#1588
#1589
#1591
#1592
#1594
#1598
#1599
#1600
#1602
#1603
#1604
#1605
#1607
#1608
#1609
#1610
#1611
#1612
#1613
#1615
#1616
#1617
#1618
#1619
#1621
#1622
#1648
#1649
#1650
#1651
#1652
#1655
#1656
#1657
#1658
#1659
#1661
#1662
#1663
#1664
#1665
#1667
#1668
#1669
#1670
#1671
#1672
#1673
#1674
#1675
#1676
#1681
#1684
#1686
#1687
#1688
#1694
#1698
#1699
#1703
#1705
#1707
#1708
#1709
#1710
#1711
#1712
#1713
#1715
#1717
#1718
#1724
#1725
#1726
#1727
#1728
#1730
#1732
#1733
#1734
#1735
#1736
#1737
#1740
#1741
#1743
#1744
#1745
#1746
#1747
#1748
#1749
#1757
#1759
#1760
#1761
#1762
#1763
#1764
#1765
#1766
#1769
#1770
#1771
#1772
#1775
#1778
#1779
#1780
#1781
#1782
#1783
#1784
#1785
#1787
#1789
#1790
#1791
#1794
#1795
#1796
#1797
#1800
#1802
#1803
#1804
#1805
#1808
#1809
#1810
#1812
#1813
#1815
#1816
#1818
#1819
#1820
#1821
#1822
#1823
#1824
#1829
#1830
#1832
#1833
#1834
#1835
#1838
#1840
#1842
#1845
#1847
#1848
#1849
#1851
#1852
#1853
#1854
#1856
#1857
#1858
#1859
#1860
#1861
#1862
#1863
#1864
#1865
#1866
#1868
#1869
#1870
#1871
#1872
#1873
#1874
#1875
#1877
#1880
#1881
#1883
#1885
#1886
#1890
#1891
#1892
#1893
#1894
#1896
#1897
#1898
#1900
#1901
#1903
#1904
#1905
#1906
#1908
#1909
#1910
#1911
#1912
#1915
#1916
#1917
#1918
#1920
#1921
#1923
#1924
#1925
#1929
#1931
#1932
#1933
#1934
#1935
#1936
#1938
#1939
#1940
#1941
#1942
#1945
#1946
#1947
#1948
#1949
#1950
#1952
#1953
#1954
#1955
#1956
#1961
#1962
#1963
#1966
#1967
#1969
#1970
#1971
#1974
#1975
#1977
#1978
#1979
#1980
#1981
#1982
#1983
#1987
#1988
#1990
#1995
#1997
#1999
#2000
#2003
#2004
#2009
#2011
#2012
#2015
#2018
#2019
#2021
#2022
#2023
#2024
#2025
#2026
#2027
#2028
#2029
#2030
#2031
#2036
#2037
#2038
#2040
#2041
#2042
#2043
#2044
#2046
#2048
#2049
#2053
#2054
#2057
#2061
#2062
#2063
#2075
#2076
#2078
#2079
#2086
#2092
#2093
#2094
#2096
#2097
#2098
#2099
#2101
#2102
#2103
#2105
#2106
#2107
#2108
#2109
#2112
#2115
#2118
#2119
#2120
#2121
#2122
#2123
#2125
#2126
#2127
#2137
#2138
#2139
#2140
#2141
#2142
#2143
#2144
#2149
#2150
#2151
#2152
#2153
#2156
#2158
#2164
#2165
#2169
#2170
#2172
#2173
#2174
#2175
#2178
#2179
#2181
#2182
#2183
#2184
#2192
#2193
#2194
#2195
#2197
#2199
#2201
#2204
#2205
#2207
#2208
#2209
#2210
#2212
#2213
#2215
#2216
#2218
#2219
#2220
#2221
#2222
#2223
#2225
#2227
#2229
#2230
#2231
#2232
#2234
#2236
#2238
#2239
#2240
#2241
#2243
#2244
#2245
#2250
#2253
#2254
#2255
#2256
#2257
#2259
#2260
#2261
#2262
#2263
#2264
#2266
#2267
#2268
#2270
#2271
#2272
#2275
#2278
#2282
#2283
#2284
#2289
#2290
#2291
#2295
#2299
#2300
#2301
#2302
#2303
#2305
#2306
#2307
#2308
#2309
#2311
#2312
#2313
#2314
#2315
#2317
#2318
#2320
#2321
#2322
#2323
#2325
#2326
#2327
#2328
#2332
#2335
#2337
#2342
#2343
#2344
#2345
#2350
#2351
#2353
#2357
#2359
#2360
#2364
#2366
#2368
#2369
#2370
#2375
#2376
#2377
#2378
#2379
#2381
#2382
#2384
#2385
#2387
#2388
#2389
#2390
#2391
#2393
#2395
#2396
#2397
#2398
#2399
#2400
#2404
#2405
#2406
#2407
#2408
#2409
#2415
#2417
#2418
#2419
#2420
#2423
#2424
#2425
#2428
#2433
#2434
#2435
#2436
#2437
#2439
#2441
#2442
#2443
#2444
#2446
#2447
#2448
#2450
#2451
#2454
#2456
#2457
#2458
#2459
#2462
#2463
#2465
#2467
#2468
#2470
#2471
#2473
#2474
#2475
#2477
#2478
#2480
#2481
#2482
#2483
#2484
#2486
#2489
#2490
#2492
#2493
#2494
#2496
#2498
#2499
#2500
#2501
#2502
#2503
#2504
#2505
#2506
#2507
#2509
#2512
#2513
#2514
#2515
#2516
#2522
#2523
#2524
#2526
#2532
#2533
#2535
#2536
#2538
#2539
#2541
#2542
#2543
#2544
#2545
#2546
#2547
#2548
#2550
#2551
#2552
#2554
#2556
#2564
#2565
#2566
#2567
#2570
#2572
#2573
#2574
#2575
#2579
#2580
#2581
#2582
#2583
#2584
#2585
#2586
#2587
#2589
#2590
#2591
#2592
#2593
#2594
#2595
#2596
#2597
#2598
#2599
#2600
#2601
#2602
#2603
#2604
#2605
#2608
#2614
#2615
#2616
#2617
#2618
#2619
#2620
#2622
#2623
#2624
#2625
#2626
#2627
#2628
#2629
#2630
#2631
#2632
#2633
#2634
#2635
#2637
#2639
#2640
#2641
#2642
#2643
#2644
#2645
#2646
#2647
#2648
#2649
#2650
#2652
#2653
#2655
#2657
#2658
#2659
#2661
#2662
#2663
#2666
#2669
#2671
#2673
#2675
#2676
#2678
#2679
#2681
#2690
#2691
#2692
#2693
#2694
#2695
#2696
#2697
#2698
#2699
#2700
#2701
#2705
#2706
#2707
#2708
#2709
#2710
#2711
#2712
#2713
#2714
#2715
#2717
#2718
#2723
#2727
#2728
#2729
#2730
#2731
#2732
#2734
#2738
#2739
#2740
#2741
#2746
#2747
#2748
#2751
#2752
#2753
#2754
#2756
#2757
#2761
#2762
#2765
#2766
#2768
#2770
#2772
#2775
#2776
#2777
#2778
#2779
#2780
#2782
#2783
#2784
#2785
#2786
#2787
#2788
#2789
#2791
#2792
#2793
#2794
#2795
#2798
#2802
#2809
#2811
#2814
#2815
#2816
#2817
#2819
#2821
#2822
#2824
#2825
#2828
#2833
#2834
#2835
#2838
#2842
#2843
#2844
#2846
#2847
#2849
#2851
#2852
#2853
#2855
#2856
#2857
#2858
#2860
#2861
#2862
#2863
#2864
#2867
#2868
#2869
#2870
#2871
#2874
#2875
#2876
#2880
#2881
#2883
#2885
#2886
#2887
#2888
#2889
#2890
#2899
#2900
#2908
#2909
#2910
#2911
#2915
#2916
#2917
#2918
#2920
#2921
#2922
#2925
#2926
#2928
#2929
#2930
#2931
#2932
#2933
#2934
#2936
#2937
#2938
#2943
#2944
#2946
#2947
#2950
#2951
#2953
#2955
#2956
#2957
#2958
#2959
#2960
#2961
#2963
#2969
#2972
#2973
#2974
#2975
#2976
#2977
#2977
#2978
#2979
#2981
#2984
#2988
#2989
#2991
#2993
#2995
#2998
#3001
#3003
#3004
#3005
#3006
#3010
#3011
#3012
#3014
#3015
#3018
#3020
#3021
#3024
#3025
#3026
#3029
#3034
#3035
#3038
#3049
#3049
#3050
#3050
#3051
#3051
#3052
#3053
#3055
#3056
#3057
#3059
#3061
#3065
#3066
#3069
#3070
#3072
#3073
#3075
#3076
#3081
#3087
#3088
#3092
#3097
#3099
#3101
#3102
#3103
#3104
#3105
#3107
#3108
#3109
#3110
#3111
#3113
#3114
#3116
#3119
#3120
#3121
#3122
#3123
#3124
#3125
#3126
#3127
#3128
#3129
#3132
#3133
#3134
#3135
#3136
#3138
#3139
#3140
#3142
#3144
#3148
#3149
#3150
#3151
#3151
#3152
#3153
#3158
#3159
#3160
#3162
#3163
#3165
#3167
#3168
#3169
#3170
#3171
#3172
#3173
#3175
#3176
#3177
#3178
#3179
#3180
#3181
#3182
#3183
#3184
#3187
#3188
#3189
#3190
#3193
#3194
#3195
#3196
#3199
#3200
#3202
#3203
#3204
#3205
#3206
#3207
#3208
#3212
#3213
#3214
#3215
#3216
#3219
#3220
#3222
#3223
#3224
#3225
#3226
#3227
#3229
#3232
#3233
#3238
#3239
#3240
#3241
#3242
#3249
#3250
#3251
#3253
#3254
v0.1.1
v0.1.2
v0.1.3
v0.1.4
v0.2.0
v0.2.1
v0.2.2
v0.2.3
v0.2.4
v0.2.5
v0.2.6
v0.2.7
v0.2.8
v0.2.9
v0.3.0
v0.3.1
v0.3.2
v0.3.3
v0.3.4
v0.3.5
v0.4.0
v0.4.1
v0.4.2
v0.4.3
v0.5.0
v0.5.1
v0.5.2
v0.5.3
v0.5.4
v0.5.5
v0.6.0
v0.6.1
v0.6.2
v0.6.3
v0.6.4
v0.6.5
v0.6.6
v0.6.7
v0.6.8
v0.6.9
-
9eab7d9f8f
bad53d60db
intob9541001ad
Paul Cadman2024-12-20 20:18:09 +0000 -
b9541001ad
2024-12-20 15:25:32 +0000 -
0d83728d24
Update stdlib reference to main
Paul Cadman
2024-12-20 13:55:15 +0000 -
bce7075eee
Add CHANGELOG
Paul Cadman
2024-12-19 17:50:30 +0000 -
a89f44cb64
Update version to 0.6.9
Paul Cadman
2024-12-19 17:41:31 +0000 -
4c1a686914
2024-12-19 17:40:05 +0000 -
1550c09c7b
The args file to the prove CLI is always a textual nock term
Paul Cadman
2024-12-19 13:57:59 +0000 -
4dcbf7911d
2024-12-19 12:05:39 +0100 -
d194ac1a9d
clean
Jan Mas Rovira
2024-12-19 02:20:20 +0100 -
e0399f4da3
print packageinfo
Jan Mas Rovira
2024-12-19 01:56:00 +0100 -
be8a38a48b
add debug info
Jan Mas Rovira
2024-12-18 23:08:50 +0100 -
17a0d439bd
print abs path in edges
Jan Mas Rovira
2024-12-18 23:08:34 +0100 -
c112c7006f
print relative patsh as well as absolute paths
Jan Mas Rovira
2024-12-18 12:12:04 +0100 -
35902f9af9
print package list in import tree
Jan Mas Rovira
2024-12-17 16:23:43 +0100 -
58d1f434bc
2024-12-19 09:37:17 +0100 -
eca5c18ddc
fix recursive detection
Lukasz Czajka
2024-12-18 17:40:13 +0100 -
20966688a6
Make all top-level definitions mutually recursive
Lukasz Czajka
2024-12-18 12:44:15 +0100 -
cb10fe3080
2024-12-18 10:03:49 +0100 -
bc143ebed5
Add RPC and dev command for Anoma.Protobuf.IntentsService.Verify
verify-intent
Paul Cadman
2024-12-07 14:05:27 +0000 -
8ab5e9899d
Update src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
Łukasz Czajka
2024-12-16 16:42:32 +0100 -
5348db1d40
fix scoping
Lukasz Czajka
2024-12-06 19:03:37 +0100 -
dfa947ebb7
Allow module self-reference
Lukasz Czajka
2024-12-06 18:18:21 +0100 -
af191423a9
2024-12-17 17:36:20 +0100 -
b47a097758
update
Lukasz Czajka
2024-12-17 14:50:14 +0100 -
07c4ff0c59
update
Lukasz Czajka
2024-12-17 14:15:02 +0100 -
f752ccadad
Update Juvix Cairo VM
Lukasz Czajka
2024-12-17 13:23:55 +0100 -
31a5b2ca4b
2024-12-17 13:34:14 +0000 -
764728eedb
Add support for Anoma RM is-commitment and is-nullifier
Paul Cadman
2024-12-07 15:34:59 +0000 -
8272ee32c1
2024-12-07 16:51:10 +0000 -
9d2db951e0
format
jan/update-start-exs
Jan Mas Rovira
2024-12-06 11:38:59 +0100 -
20e389faa9
bugfix
Jan Mas Rovira
2024-12-06 11:02:36 +0100 -
248cdc55f5
bugfix
Jan Mas Rovira
2024-12-06 10:57:00 +0100 -
add73d108f
add adhoc makefile
Jan Mas Rovira
2024-12-06 10:27:07 +0100 -
1fd70154ce
add start-config.exs
Jan Mas Rovira
2024-12-06 09:58:43 +0100 -
58c0eace51
add more resources
Jan Mas Rovira
2024-12-05 17:50:13 +0100 -
53f3884751
add other-private check
Jan Mas Rovira
2024-12-05 17:40:31 +0100 -
6ebdb54add
factor out common code
Jan Mas Rovira
2024-12-05 17:38:06 +0100 -
76e3abb3fc
rename and use a single action
Jan Mas Rovira
2024-12-05 17:31:50 +0100 -
e4279c6a1d
crappy-swap++
Jan Mas Rovira
2024-12-05 17:13:44 +0100 -
d6df27dff0
Add link to elixir code
Paul Cadman
2024-12-04 10:12:57 +0100 -
95d67555d4
Add swap and trivial example
Paul Cadman
2024-12-03 10:51:17 +0100 -
1cb50a6afa
Decrease block interval time for faster feedback
Paul Cadman
2024-12-06 19:06:10 +0000 -
9cdc97c5a1
Add test for Swap example
Paul Cadman
2024-12-06 18:53:48 +0000 -
92d790b5a0
Add test scaffolding for Anoma Client
Paul Cadman
2024-12-06 12:28:17 +0000 -
e2a183dbef
Add RPC call and dev command for listUnrevealedCommits
Paul Cadman
2024-12-06 10:37:59 +0000 -
936045fe49
2024-12-06 19:51:51 +0100 -
31fce41d9f
2024-12-06 18:19:53 +0100 -
5029a566f5
2024-12-06 18:19:10 +0100 -
8fa54ab602
properly register comments as parsed items
Jan Mas Rovira
2024-12-04 14:20:02 +0100 -
0b94716c39
rename
Jan Mas Rovira
2024-12-04 14:17:15 +0100 -
69c629bc7e
TopDef
property for specs (#3223) Jan Mas Rovira2024-12-06 15:54:17 +0100 -
5d7e109393
remove duplicates
Jan Mas Rovira
2024-12-04 10:36:40 +0100 -
22a24aca84
add topDef property for vscode
Jan Mas Rovira
2024-12-03 19:27:30 +0100 -
d81585532d
2024-12-06 14:28:28 +0100 -
155ab38b60
2024-12-06 13:10:37 +0100 -
363ce11501
2024-12-06 13:09:13 +0100 -
4e286e9020
fix compilation
Lukasz Czajka
2024-12-06 12:35:49 +0100 -
a7addf21e9
2024-12-06 12:32:01 +0100 -
b0082c51e7
2024-12-06 12:28:27 +0100 -
e2befd4d78
2024-12-06 12:28:19 +0100 -
9d9581d09d
comments in CASM output
Lukasz Czajka
2024-12-05 12:40:53 +0100 -
cdf45a27a9
fix reg parsing
Lukasz Czajka
2024-12-04 13:40:31 +0100 -
8a6abbb42e
make pre-commit happy
Lukasz Czajka
2024-12-06 11:27:31 +0100 -
bed60abcd3
add tests
Lukasz Czajka
2024-12-06 11:13:13 +0100 -
c2a4f7c2a0
fix basic block calls
Lukasz Czajka
2024-12-06 10:41:02 +0100 -
3e367aa560
2024-12-06 11:57:42 +0100 -
32878ccbd9
format examples
Jan Mas Rovira
2024-12-05 14:49:55 +0100 -
3838f6a39f
add smoke test
Jan Mas Rovira
2024-12-03 12:51:57 +0100 -
f08624eae4
format Package.juvix when formatting project
Jan Mas Rovira
2024-12-03 12:30:24 +0100 -
4eb75093c5
2024-12-06 09:46:51 +0000 -
99f904ad59
Update Anoma nock anomalib
Paul Cadman
2024-12-05 13:25:32 +0000 -
a54d7a3dab
Update anoma ref to latest lukasz/juvix-integration-tracking
Paul Cadman
2024-12-05 11:32:25 +0000 -
ab156b04c8
Update anoma ref to latest lukasz/juvix-integration-tracking
Paul Cadman
2024-12-05 10:12:42 +0000 -
37003867c8
2024-12-06 09:29:57 +0100 -
f2b8cfcbed
2024-12-05 18:13:23 +0100 -
bb8211bf5a
2024-12-05 18:12:27 +0100 -
4546bc5fcf
fix comment printing
Jan Mas Rovira
2024-12-04 13:43:54 +0100 -
defb7a9d26
fix imports
Jan Mas Rovira
2024-12-04 13:29:16 +0100 -
b6071c0462
anoma start should start the consensus engine
Paul Cadman
2024-12-05 11:01:19 +0000 -
37f3004253
deterministicly digest the files to create the hash
Jan Mas Rovira
2024-12-05 14:22:01 +0100 -
6931aa5914
Merge remote-tracking branch 'origin/main' into hash-globalpkg
Jan Mas Rovira
2024-12-05 14:15:32 +0100 -
7c3c402a76
Squashed commit of the following:
Jan Mas Rovira
2024-12-05 14:13:16 +0100 -
1a76df9486
2024-12-05 14:12:21 +0100 -
27d962989a
update RISC0 CI
Lukasz Czajka
2024-12-05 12:55:57 +0100 -
95b418355c
add comment
Jan Mas Rovira
2024-12-05 09:25:28 +0100 -
798650c5d3
644d5a2f9e
into021fc0ccb8
Łukasz Czajka2024-12-05 01:16:08 +0100 -
5dacf3e7e2
Merge remote-tracking branch 'origin/main' into hash-globalpkg
Jan Mas Rovira
2024-12-04 16:01:30 +0100 -
021fc0ccb8
@?
(#3216) Łukasz Czajka2024-12-04 15:59:02 +0100 -
8efa4ed7e2
Merge branch 'main' into remove-partial-at
Lukasz Czajka
2024-12-04 13:41:13 +0100 -
70cbdd0a30
--no-check
(#3224) Łukasz Czajka2024-12-04 13:39:20 +0100 -
a7ec1692ed
append hash including Package.juvix
Jan Mas Rovira
2024-12-03 13:55:49 +0100 -
3076c8d77b
remove commented out test
Jan Mas Rovira
2024-12-03 13:45:41 +0100 -
822b4fe4c2
use juvix/main stdlib
Jan Mas Rovira
2024-12-03 12:46:26 +0100 -
69eb03fc28
preserve order of inductive type declarations in Core
Lukasz Czajka
2024-12-03 10:24:38 +0100 -
95d39c5d1c
disable test
Jan Mas Rovira
2024-12-03 09:42:36 +0100 -
500af3fbdb
Revert "update stdlib TEMPORARY"
Jan Mas Rovira
2024-12-03 12:46:02 +0100 -
ff8f6604b1
disable check
Jan Mas Rovira
2024-12-02 19:45:33 +0100 -
0286f5f35e
error message
Jan Mas Rovira
2024-12-02 18:58:45 +0100 -
e26aa4671e
add test
Jan Mas Rovira
2024-12-02 18:44:26 +0100 -
90d98cfb6f
clean
Jan Mas Rovira
2024-12-02 16:48:42 +0100