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

Mono Color

• cff8c3171a
  Merge pull request #72 from HigherOrderCO/feature/sc-286/make-matches-and-pattern-matching-defs-share Nicolas Abril 2023-12-01 18:36:21 +0100
• 1d88122052 Rename new_rules to new_defs imaqtkatt 2023-12-01 13:14:15 -0300
• c95fd8d1c8 Update match_adt_app description imaqtkatt 2023-12-01 13:00:05 -0300
• 25766f4b51
  Merge pull request #68 from HigherOrderCO/bug/sc-287/fix-encoding-of-pattern-matching-functions Nicolas Abril 2023-12-01 16:51:47 +0100
• 3d227ba405 Transform match into rules imaqtkatt 2023-12-01 11:39:56 -0300
• 6becba819f Add other example sort programs Nicolas Abril 2023-12-01 14:05:55 +0100
• 332663712c Remove incorrect comment Nicolas Abril 2023-12-01 13:45:09 +0100
• 3223f46d70 Fix argument encoding on leaf case of pattern matching functions Nicolas Abril 2023-12-01 13:43:41 +0100
• ec43a1c540
  Merge pull request #71 from HigherOrderCO/feature/debug-mode2 Nicolas Abril 2023-12-01 13:35:14 +0100
• 42d3381a1c Remove debug changes Nicolas Abril 2023-12-01 12:15:29 +0100
• b035012063 Fix non-matching function args and order of new args when encoding Nicolas Abril 2023-11-30 19:49:14 +0100
• e31f2145ae Fix compilation error Nicolas Abril 2023-12-01 13:01:57 +0100
• 561d056530 add debug mode tjjfvi 2023-11-24 17:53:07 -0500
• 0abb1cf145
  Merge pull request #69 from HigherOrderCO/bug/sc-284/fix-non-exhaustive-pattern-error-message imaqtkatt 2023-12-01 08:29:31 -0300
• ac0e397a39
  Merge pull request #67 from HigherOrderCO/feature/sc-283/add-unused-var-in-pattern-matching imaqtkatt 2023-12-01 08:29:11 -0300
• 994a6238d5
  Merge pull request #70 from davisuga/patch-1 Nicolas Abril 2023-11-30 22:28:19 +0100
• fb1dde03ca
  Fix typo Davi William Moraes Suga 2023-11-30 18:17:01 -0300
• 005f11f547 Add not covered cases in error message imaqtkatt 2023-11-30 17:14:46 -0300
• b8f4411cc8 Remove useless if lets imaqtkatt 2023-11-30 16:02:34 -0300
• 131c9cc088 Remove print in use_var imaqtkatt 2023-11-30 14:09:40 -0300
• 221fd102b6 Add era in pattern imaqtkatt 2023-11-30 13:46:17 -0300
• a0ef28dab0
  Merge pull request #66 from HigherOrderCO/bug/sc-285/hvm-lang-native-match-compilation-bug Nicolas Abril 2023-11-30 16:11:40 +0100
• 647012136c Fix native match compilation bug LunaAmora 2023-11-30 11:03:00 -0400
• f602eff909
  Merge pull request #65 from HigherOrderCO/feature/sc-282/add-hvml-syntax-for-binary-and-hexadecimal Nicolas Abril 2023-11-30 14:31:12 +0100
• 9b3f1c346a
  Merge pull request #52 from HigherOrderCO/feature/sc-220/add-scott-encoding-transformation Nicolas Abril 2023-11-30 13:51:59 +0100
• ab43025293 Fix function pattern matching after rebase with tup patterns Nicolas Abril 2023-11-30 13:51:18 +0100
• d5ac567587 Merge remote-tracking branch 'origin/master' into feature/sc-220/add-scott-encoding-transformation Nicolas Abril 2023-11-30 13:44:38 +0100
• f11a48b432 Remove regex limit imaqtkatt 2023-11-30 09:36:09 -0300
• d852885ee5 Support underscore in decimals imaqtkatt 2023-11-30 09:33:58 -0300
• bf3701e194 Add binary and hexadecimal numbers imaqtkatt 2023-11-30 09:11:36 -0300
• 1ed2ef4e1d
  Merge pull request #62 from HigherOrderCO/feature/sc-273/unify-pattern-matching-code-between-fn-definitions Nicolas Abril 2023-11-30 13:00:39 +0100
• d1f1579a6d
  Merge pull request #64 from HigherOrderCO/add-ops-to-parser imaqtkatt 2023-11-29 17:41:58 -0300
• 8731178940 Add lte and gte ops imaqtkatt 2023-11-29 17:35:06 -0300
• 436bc5d684
  Merge pull request #63 from HigherOrderCO/support-60-bit-numbers imaqtkatt 2023-11-29 16:59:51 -0300
• db894ad55e Small refactor imaqtkatt 2023-11-29 16:54:04 -0300
• 656dad5ba9 Add 60 bit numbers support imaqtkatt 2023-11-29 16:45:05 -0300
• da2665d745 Add tup type imaqtkatt 2023-11-29 15:48:36 -0300
• 837d8a4957 Unify rulepat and letpat imaqtkatt 2023-11-29 15:38:29 -0300
• 51655fe5c4 Update for rebase with Num patterns Nicolas Abril 2023-11-29 19:26:39 +0100
• ddfc764efb Add lambda desugaring cli mode Nicolas Abril 2023-11-29 18:49:48 +0100
• 81e8ec8523 Fix encode_pattern_match pass Nicolas Abril 2023-11-29 18:45:52 +0100
• ae27725d83 Fix resolve_ctr_in_pats pass Nicolas Abril 2023-11-29 18:45:21 +0100
• 0865e9a7b6 Fix rule pattern flattening pass Nicolas Abril 2023-11-29 18:44:53 +0100
• b985d56fcb Add unbound ctr in pattern check Nicolas Abril 2023-11-29 18:43:06 +0100
• 7f38cb1b84 Separate has_main check to its own submodule Nicolas Abril 2023-11-29 18:39:38 +0100
• ca1ae389d9 Fix non-pattern matching function encoding, improve generated names Nicolas Abril 2023-11-24 17:16:37 +0100
• 2f53389803 Add encoding pass for pattern matching functions Nicolas Abril 2023-11-23 21:20:02 +0100
• 457aa4b0ed Add scott encoding of pattern matching functions Nicolas Abril 2023-11-22 19:07:53 +0100
• 8aba2aad98
  Merge pull request #60 from HigherOrderCO/feature/sc-279/automatic-linearization-of-match-arms Nicolas Abril 2023-11-29 14:07:09 +0100
• 81619545b3 Add match reconstruction and dup test LunaAmora 2023-11-29 08:15:25 -0400
• 8bc59205c3 Adjust native numbers match label readback LunaAmora 2023-11-29 08:00:04 -0400
• 7cebda9fa3 Improve match_native and remove linearize_matches LunaAmora 2023-11-28 16:10:02 -0400
• e71f962c47 Fix missing rebase adjustments LunaAmora 2023-11-28 14:22:31 -0400
• ea6de83df7 Fix nested native number matches LunaAmora 2023-11-28 14:18:07 -0400
• 10f82e5936 Fix nested adt matchs LunaAmora 2023-11-28 11:30:37 -0400
• 8c7a393224 Fix native number match when scrutinee appears inside LunaAmora 2023-11-27 20:56:21 -0400
• 0ecc80a086 Fix match arms when scrutinee appears inside LunaAmora 2023-11-27 19:21:07 -0400
• 84d842acae Fix linearize_matches functions LunaAmora 2023-11-27 16:57:37 -0400
• 0fd941c5e6 Improve free_vars function LunaAmora 2023-11-27 16:55:58 -0400
• 3bfe0baa4b Add match linearization tests LunaAmora 2023-11-27 15:58:14 -0400
• d45a87058e Fix multi lambda linearization in matches LunaAmora 2023-11-27 15:58:02 -0400
• 16021228d2 Add linearize_matches pass LunaAmora 2023-11-27 15:26:13 -0400
• 4ce3c75161 Fix some tests, because of not being able to mem::take net.rdex Eduardo Henke 2023-11-28 11:44:40 -0300
• f9ae1b9c99
  Merge pull request #59 from HigherOrderCO/feature/sc-280/add-superposition Nicolas Abril 2023-11-28 14:36:23 +0100
• 823aeecfdb Change compile result imaqtkatt 2023-11-28 10:02:58 -0300
• b707c94ece Remove optional_tag parser imaqtkatt 2023-11-28 09:57:46 -0300
• f20c23dde6 Implement linear readback for sup imaqtkatt 2023-11-28 08:01:09 -0300
• cff3dcdbe6 Implement readback for sup imaqtkatt 2023-11-27 19:04:18 -0300
• 10e70010f5 Add tag for sup imaqtkatt 2023-11-27 15:43:16 -0300
• 6ca70b1f9a Add sup support imaqtkatt 2023-11-27 14:57:56 -0300
• 4f4c0c5b18
  Merge pull request #51 from HigherOrderCO/Fix-linearization-bug Luna 2023-11-27 11:09:37 -0400
• cf7a965566 Add documentation to the updated term_to_affine pass LunaAmora 2023-11-24 14:37:08 -0400
• 164be5c81b Fix linearization bug with unused duplicated vars LunaAmora 2023-11-24 10:47:22 -0400
• 5871f902f9
  Merge pull request #54 from HigherOrderCO/feature/sc-254/add-match-syntax-to-hvm-lang Luna 2023-11-27 11:05:43 -0400
• 55b86f5f59 Add documentation for new_native_match LunaAmora 2023-11-27 10:35:30 -0400
• cd6ef84c1a Add native match tests imaqtkatt 2023-11-27 11:20:54 -0300
• b14334207c Improve native_match function LunaAmora 2023-11-27 09:41:50 -0400
• f5063b0085 Add simplify_matches documentation LunaAmora 2023-11-27 09:37:37 -0400
• 88aa84c320 Fix matches with native numbers LunaAmora 2023-11-24 17:38:39 -0400
• 5682132255 Reapply "[sc-254] Add match syntax to hvm-lang" LunaAmora 2023-11-24 17:33:43 -0400
• e0d3a999e1
  Merge pull request #57 from HigherOrderCO/small-fix Nicolas Abril 2023-11-25 18:38:08 +0100
• 3cc43902e6 Apply clippy suggestions Nicolas Abril 2023-11-25 16:31:36 +0100
• 96c8e12ef7 Reformat some things Nicolas Abril 2023-11-25 16:29:15 +0100
• fe49ca1257 Update tests Nicolas Abril 2023-11-25 16:17:17 +0100
• 0fe6d6fa67 Use Term default implementation Nicolas Abril 2023-11-25 16:12:41 +0100
• a32f95dc9a Fix nested eta-reduction Nicolas Abril 2023-11-25 16:07:13 +0100
• 10c0119763 Add Default instanciation of Terms Nicolas Abril 2023-11-25 16:06:31 +0100
• 6faedaddb0 Improve detach_supercombinator legibility, don't extract Id Nicolas Abril 2023-11-25 16:06:06 +0100
• 6cf385395e Update mem size calculation for CLI Nicolas Abril 2023-11-25 16:05:33 +0100
• f26f330363 Fix typo in 'paralel' Nicolas Abril 2023-11-25 16:05:16 +0100
• ce9bf7fd33
  fix match arm linearization procedure tjjfvi 2023-11-24 19:22:05 -0500
• 2d32b63810
  add debug mode tjjfvi 2023-11-24 17:53:07 -0500
• 31f8e5d11e Fix matches with native numbers LunaAmora 2023-11-24 17:38:39 -0400
• cdaf05a24e Reapply "[sc-254] Add match syntax to hvm-lang" LunaAmora 2023-11-24 17:33:43 -0400
• f04da1227c
  Merge pull request #53 from HigherOrderCO/revert-47-feature/sc-254/add-match-syntax-to-hvm-lang Luna 2023-11-24 16:07:18 -0400
• ec46069bf1
  Revert "[sc-254] Add match syntax to hvm-lang" Luna 2023-11-24 16:05:01 -0400
• 4def4d82c4
  Merge pull request #50 from HigherOrderCO/feature/sc-268/fix-label-generator Nicolas Abril 2023-11-24 15:53:04 +0100
• 4fcee22b8e Use a global label generator imaqtkatt 2023-11-24 11:46:12 -0300
• f8ecfc6541
  Merge pull request #49 from HigherOrderCO/Update-hvm-core-version Nicolas Abril 2023-11-24 15:40:29 +0100
• e993812881 Update hvm-core verion LunaAmora 2023-11-24 10:36:55 -0400