mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 03:45:29 +03:00
Commit Graph
Select branches
Hide Pull Requests
615-add-progressive-typing-to-bend
634-performance-degradation-on-bitonic-sort-output-since-release
664-wrap-is-read-as-a-variable-when-compiling-with-blocks
695-implement-listsum-and-listrange-functions-in-bend-built-ins
bpm
direct-readback
hvm-core
main
patch-log-era
#1
#10
#100
#101
#102
#103
#104
#105
#106
#107
#108
#11
#110
#111
#112
#113
#114
#115
#116
#117
#118
#119
#12
#120
#121
#122
#123
#124
#125
#126
#127
#128
#129
#13
#130
#131
#132
#133
#134
#135
#136
#137
#138
#139
#14
#140
#141
#142
#143
#144
#145
#146
#147
#148
#149
#15
#150
#151
#152
#155
#157
#158
#159
#16
#160
#161
#162
#163
#164
#165
#166
#167
#168
#169
#17
#170
#171
#172
#173
#174
#175
#176
#177
#178
#179
#18
#180
#181
#182
#183
#184
#185
#186
#187
#188
#189
#19
#190
#191
#192
#193
#194
#195
#196
#197
#198
#199
#2
#20
#200
#201
#202
#203
#204
#205
#206
#207
#208
#209
#21
#210
#211
#212
#213
#214
#215
#216
#217
#218
#219
#22
#220
#221
#222
#223
#224
#225
#226
#227
#228
#229
#23
#230
#231
#232
#233
#234
#235
#236
#237
#238
#239
#24
#240
#241
#242
#243
#244
#245
#246
#247
#248
#249
#25
#250
#251
#252
#253
#254
#255
#256
#257
#258
#259
#26
#260
#261
#262
#263
#264
#265
#266
#267
#268
#269
#27
#270
#271
#272
#273
#274
#275
#276
#277
#278
#279
#28
#280
#283
#284
#285
#286
#287
#288
#289
#29
#290
#291
#292
#293
#294
#295
#296
#297
#298
#299
#3
#30
#300
#302
#303
#304
#305
#306
#307
#308
#309
#31
#310
#311
#312
#313
#314
#316
#317
#318
#32
#321
#324
#326
#327
#328
#329
#33
#330
#333
#335
#336
#337
#339
#34
#340
#343
#347
#348
#35
#36
#360
#361
#363
#365
#366
#369
#37
#372
#38
#380
#382
#383
#386
#388
#389
#39
#394
#399
#4
#40
#400
#41
#412
#413
#414
#415
#416
#42
#420
#421
#423
#429
#43
#430
#431
#432
#436
#44
#441
#442
#445
#447
#448
#45
#450
#454
#456
#458
#460
#461
#47
#48
#480
#481
#484
#487
#49
#490
#491
#492
#499
#499
#5
#50
#501
#503
#505
#509
#51
#510
#511
#515
#518
#52
#520
#522
#523
#524
#527
#529
#53
#534
#535
#537
#539
#54
#540
#541
#542
#544
#546
#547
#548
#55
#550
#551
#552
#553
#555
#558
#56
#563
#566
#567
#57
#571
#572
#575
#577
#584
#585
#589
#59
#590
#591
#592
#593
#594
#597
#599
#6
#60
#601
#601
#602
#603
#604
#605
#608
#609
#61
#611
#612
#614
#616
#618
#619
#62
#624
#625
#628
#63
#630
#631
#631
#635
#637
#64
#644
#645
#646
#647
#649
#65
#651
#652
#654
#656
#659
#66
#661
#662
#665
#665
#667
#668
#669
#67
#670
#671
#672
#673
#676
#68
#69
#693
#696
#696
#699
#7
#70
#700
#705
#707
#71
#712
#72
#73
#74
#75
#76
#77
#78
#79
#8
#80
#81
#82
#83
#84
#85
#86
#87
#88
#89
#9
#90
#91
#92
#93
#94
#95
#96
#97
#98
#99
0.2.0
0.2.1
0.2.10
0.2.11
0.2.12
0.2.13
0.2.14
0.2.15
0.2.16
0.2.17
0.2.18
0.2.19
0.2.2
0.2.20
0.2.21
0.2.22
0.2.23
0.2.24
0.2.25
0.2.26
0.2.27
0.2.28
0.2.29
0.2.3
0.2.30
0.2.31
0.2.32
0.2.33
0.2.34
0.2.36
0.2.37-alpha.1
0.2.4
0.2.5
0.2.6
0.2.7
0.2.8
0.2.9
Select branches
Hide Pull Requests
615-add-progressive-typing-to-bend
634-performance-degradation-on-bitonic-sort-output-since-release
664-wrap-is-read-as-a-variable-when-compiling-with-blocks
695-implement-listsum-and-listrange-functions-in-bend-built-ins
bpm
direct-readback
hvm-core
main
patch-log-era
#1
#10
#100
#101
#102
#103
#104
#105
#106
#107
#108
#11
#110
#111
#112
#113
#114
#115
#116
#117
#118
#119
#12
#120
#121
#122
#123
#124
#125
#126
#127
#128
#129
#13
#130
#131
#132
#133
#134
#135
#136
#137
#138
#139
#14
#140
#141
#142
#143
#144
#145
#146
#147
#148
#149
#15
#150
#151
#152
#155
#157
#158
#159
#16
#160
#161
#162
#163
#164
#165
#166
#167
#168
#169
#17
#170
#171
#172
#173
#174
#175
#176
#177
#178
#179
#18
#180
#181
#182
#183
#184
#185
#186
#187
#188
#189
#19
#190
#191
#192
#193
#194
#195
#196
#197
#198
#199
#2
#20
#200
#201
#202
#203
#204
#205
#206
#207
#208
#209
#21
#210
#211
#212
#213
#214
#215
#216
#217
#218
#219
#22
#220
#221
#222
#223
#224
#225
#226
#227
#228
#229
#23
#230
#231
#232
#233
#234
#235
#236
#237
#238
#239
#24
#240
#241
#242
#243
#244
#245
#246
#247
#248
#249
#25
#250
#251
#252
#253
#254
#255
#256
#257
#258
#259
#26
#260
#261
#262
#263
#264
#265
#266
#267
#268
#269
#27
#270
#271
#272
#273
#274
#275
#276
#277
#278
#279
#28
#280
#283
#284
#285
#286
#287
#288
#289
#29
#290
#291
#292
#293
#294
#295
#296
#297
#298
#299
#3
#30
#300
#302
#303
#304
#305
#306
#307
#308
#309
#31
#310
#311
#312
#313
#314
#316
#317
#318
#32
#321
#324
#326
#327
#328
#329
#33
#330
#333
#335
#336
#337
#339
#34
#340
#343
#347
#348
#35
#36
#360
#361
#363
#365
#366
#369
#37
#372
#38
#380
#382
#383
#386
#388
#389
#39
#394
#399
#4
#40
#400
#41
#412
#413
#414
#415
#416
#42
#420
#421
#423
#429
#43
#430
#431
#432
#436
#44
#441
#442
#445
#447
#448
#45
#450
#454
#456
#458
#460
#461
#47
#48
#480
#481
#484
#487
#49
#490
#491
#492
#499
#499
#5
#50
#501
#503
#505
#509
#51
#510
#511
#515
#518
#52
#520
#522
#523
#524
#527
#529
#53
#534
#535
#537
#539
#54
#540
#541
#542
#544
#546
#547
#548
#55
#550
#551
#552
#553
#555
#558
#56
#563
#566
#567
#57
#571
#572
#575
#577
#584
#585
#589
#59
#590
#591
#592
#593
#594
#597
#599
#6
#60
#601
#601
#602
#603
#604
#605
#608
#609
#61
#611
#612
#614
#616
#618
#619
#62
#624
#625
#628
#63
#630
#631
#631
#635
#637
#64
#644
#645
#646
#647
#649
#65
#651
#652
#654
#656
#659
#66
#661
#662
#665
#665
#667
#668
#669
#67
#670
#671
#672
#673
#676
#68
#69
#693
#696
#696
#699
#7
#70
#700
#705
#707
#71
#712
#72
#73
#74
#75
#76
#77
#78
#79
#8
#80
#81
#82
#83
#84
#85
#86
#87
#88
#89
#9
#90
#91
#92
#93
#94
#95
#96
#97
#98
#99
0.2.0
0.2.1
0.2.10
0.2.11
0.2.12
0.2.13
0.2.14
0.2.15
0.2.16
0.2.17
0.2.18
0.2.19
0.2.2
0.2.20
0.2.21
0.2.22
0.2.23
0.2.24
0.2.25
0.2.26
0.2.27
0.2.28
0.2.29
0.2.3
0.2.30
0.2.31
0.2.32
0.2.33
0.2.34
0.2.36
0.2.37-alpha.1
0.2.4
0.2.5
0.2.6
0.2.7
0.2.8
0.2.9
-
22014065f4
Nicolas Abril
2023-09-26 17:57:32 +0200 -
7dff2949d5
Make DefNames an actual type with functions for accessing names
Nicolas Abril
2023-09-26 17:55:55 +0200 -
e46bb96966
Update to latest hvm-core version with Def type
Nicolas Abril
2023-09-26 17:55:06 +0200 -
c320fad0eb
Make runtime memory size configurable
Nicolas Abril
2023-09-26 17:53:58 +0200 -
52a2f02fdd
Add detach combinators pass
LunaAmora
2023-09-26 11:48:00 -0400 -
6904e81e67
Put numbers behind a disabled feature after hvm update
Nicolas Abril
2023-09-25 17:33:55 +0200 -
8c196e1992
Rewrite affine pass, with support for let substitution
Nicolas Abril
2023-09-23 16:06:53 +0200 -
1679a9b5f3
Finish var sanitize pass (untested)
Nicolas Abril
2023-09-22 23:30:52 +0200 -
ee4a1c551b
Add let term type without being used anywhere
Nicolas Abril
2023-09-22 21:31:13 +0200 -
306e1526f0
Use hvm-core's operation type enum
Nicolas Abril
2023-09-22 21:28:41 +0200 -
2e6b62ed23
Add helper Name::from_str
Nicolas Abril
2023-09-22 21:06:21 +0200 -
527d3ce8ca
Rename more types
Nicolas Abril
2023-09-22 21:01:12 +0200 -
5ca1d87115
Change Term enums to be 3 chars long
Nicolas Abril
2023-09-22 20:50:35 +0200 -
f4a7bd3ec1
Add i32 numbers
Nicolas Abril
2023-09-22 20:47:07 +0200 -
292ad27593
Detach def names from the id sent to hvm-core
Nicolas Abril
2023-09-22 19:56:04 +0200 -
81dc55640b
Add readback for NumOp
Nicolas Abril
2023-09-22 16:42:25 +0200 -
f1d0898b48
Add support for integer addition following hvm update
Nicolas Abril
2023-09-22 16:17:55 +0200 -
b024559d6b
Update to latest HVM version
Nicolas Abril
2023-09-21 22:36:33 +0200 -
bf45ac884a
update hvm
Victor Maia
2023-09-20 23:23:49 -0300 -
9d195078df
update to fixed hvm
Victor Maia
2023-09-20 22:49:54 -0300 -
b2ed79b846
fix names
Victor Maia
2023-09-20 21:25:26 -0300 -
0d2e6e1cce
Add parsing of patterns in rules
Nicolas Abril
2023-09-20 20:20:04 +0200 -
57c28a50bb
Update to latest HVM version
Nicolas Abril
2023-09-20 20:18:58 +0200 -
fedfeff1c1
Add two more items in the todo list
Nicolas Abril
2023-09-20 20:17:12 +0200 -
a75932aeee
Fix crash on affine pass when some variables are erased
Nicolas Abril
2023-09-20 20:16:47 +0200 -
34e28659bb
Add initial TODO list
Nicolas Abril
2023-09-20 19:27:35 +0200 -
eb05c8b6e2
Slightly improve readback code
Nicolas Abril
2023-09-19 21:24:57 +0200 -
735942144f
Improve readback, warn on invalid readback. Add tests
Nicolas Abril
2023-09-18 17:09:59 +0200 -
2e616e1db2
Add 3 global lambda tests
Nicolas Abril
2023-09-14 19:42:49 +0200 -
4a092a3bce
Fix ';' in let term, allow '.' in name
Nicolas Abril
2023-09-14 19:42:23 +0200 -
af194db86c
Go back to using 32bit nodes
Nicolas Abril
2023-09-14 17:35:57 +0200 -
cc92de4b2c
Add support for scopeless global lambdas
Nicolas Abril
2023-09-13 21:38:46 +0200 -
ee462e726a
Add support for erased lambdas, clean passes
Nicolas Abril
2023-09-12 21:04:39 +0200 -
3694dec0d4
Create valid var names on readback
Nicolas Abril
2023-09-11 19:12:42 +0200 -
65fc8c6a41
Don't require parenthesis for the first level of a Rule's body
Nicolas Abril
2023-09-11 18:58:32 +0200 -
34a2a11494
Make parser backwards compatible with old HVM
Nicolas Abril
2023-09-11 17:48:19 +0200 -
05e50a64b8
Nicolas Abril
2023-09-11 14:41:59 +0200 -
546ddea5ea
eduhenke
2023-09-11 09:41:03 -0300 -
a7a856821d
Add explicit cargo bin, make clap dep for cli only
Nicolas Abril
2023-09-09 10:59:23 +0200 -
3faedc1057
Avoid copying definition names so much; Separate semantic checking into module
Nicolas Abril
2023-09-09 10:45:51 +0200 -
e2633b4abf
Add correct error displaying on test
Nicolas Abril
2023-09-08 18:31:32 +0200 -
0e35f20e65
Remove numops, update to new hvm repo
Nicolas Abril
2023-09-08 16:10:28 +0200 -
846b823270
Add readback of results from HVM; Refactor CLI mode
Nicolas Abril
2023-09-07 21:26:20 +0200 -
87bc5d3ab4
Implement display for lambda terms
Nicolas Abril
2023-09-06 21:41:41 +0200 -
90e74e877b
Store numbers in the tag of the compat inet
Nicolas Abril
2023-09-06 21:41:00 +0200 -
a8c9033cce
Fix conversion of numbers
Nicolas Abril
2023-09-06 20:43:30 +0200 -
2820e9610f
Add example code
Nicolas Abril
2023-09-06 08:37:10 +0200 -
493b518a52
Use hvm OP; Add test that runs in hvm
Nicolas Abril
2023-09-05 20:23:23 +0200 -
058b87cc0e
Add function for running hvm-lang files in hvm2
Nicolas Abril
2023-09-04 18:53:50 +0200 -
1005f4072e
Use the hvm repo types and fns; Switch to u64 nodes
Nicolas Abril
2023-09-04 18:39:22 +0200 -
87b4c557a6
Add different modes of running the cli
Nicolas Abril
2023-09-04 17:51:49 +0200 -
3996edac56
Add dup inference
Nicolas Abril
2023-09-04 17:51:26 +0200 -
c729828858
add cli
nao e o savio
2023-09-04 12:18:56 -0300 -
39cf2745a0
add cli
nao e o savio
2023-09-04 12:02:17 -0300 -
8162af4e34
Force def name character limit, allow new lines after let
Nicolas Abril
2023-09-04 16:17:02 +0200 -
c201200e33
Have stable order for displaying defs
Nicolas Abril
2023-09-01 17:57:44 +0200 -
fd981796d8
fix parser
Nicolas Abril
2023-09-01 17:45:10 +0200 -
f5149ad9fc
Add readme
Nicolas Abril
2023-09-01 17:44:59 +0200 -
e7683143dd
Fix parsing and conversion to hvm core. Tidy up
Nicolas Abril
2023-09-01 16:52:58 +0200 -
1a1d331c35
Implement a golden testing model for tests
Nicolas Abril
2023-08-31 22:11:19 +0200 -
7731d2487c
Finish initial version of hvm-lang to hvm-core compilation
Nicolas Abril
2023-08-31 20:35:41 +0200 -
9f1ef68ea3
Add first part of hvm-lang to hvm-core compilation
Nicolas Abril
2023-08-30 19:18:40 +0200 -
c2eaa8502d
Initial commit of hvm-lang with basic parser
Nicolas Abril
2023-08-29 22:43:01 +0200