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

• 6b62b584f1
  Merge pull request #47 from HigherOrderCO/feature/sc-254/add-match-syntax-to-hvm-lang Luna 2023-11-24 10:33:20 -0400
• 26823ee363 Update test snapshot LunaAmora 2023-11-24 10:29:35 -0400
• f17fffa0bd Move free_vars method to term/mod.rs LunaAmora 2023-11-24 10:23:33 -0400
• 03904c516d Fix readback of matches on native numbers LunaAmora 2023-11-24 09:53:34 -0400
• b79541c3c3 Fix unbound variables on match with native numbers LunaAmora 2023-11-24 08:36:23 -0400
• e97598590b Small code cleaup LunaAmora 2023-11-23 17:48:09 -0400
• 4211de4c79 Add new syntax for native match imaqtkatt 2023-11-23 18:20:50 -0300
• 78154f9490 Small code cleanup imaqtkatt 2023-11-23 14:07:23 -0300
• f827ce25c8 WIP recursive adt match on match arms LunaAmora 2023-11-23 10:45:27 -0400
• 3c022dbaf8 WIP lift match arms imaqtkatt 2023-11-23 10:26:50 -0300
• 31e39cd417 Add era term support imaqtkatt 2023-11-23 08:37:15 -0300
• 082f85025f Improve error reporting on check_matches LunaAmora 2023-11-22 17:24:43 -0400
• 0389a6fdc8 Fix error reporting on check_matches function LunaAmora 2023-11-22 17:20:13 -0400
• bb60b87a72 Fix Term::subst of Term::Match LunaAmora 2023-11-22 16:38:38 -0400
• 94305b7de7 Remove some matches that were unreachable, cleanup code LunaAmora 2023-11-22 16:27:55 -0400
• e24e31620d Implement some Term::Match that were missing LunaAmora 2023-11-22 16:25:03 -0400
• 144d41f904 Implement scott transformation for match imaqtkatt 2023-11-22 16:34:03 -0300
• 9e1a12d6fd Join check_matches and simplify_matches passes LunaAmora 2023-11-22 14:43:27 -0400
• 570bbc2b87 WIP adt match check exhastiveness LunaAmora 2023-11-22 14:00:43 -0400
• 1becab1ec0 WIP transformation of adt matches to scott LunaAmora 2023-11-22 12:10:55 -0400
• a2cd95f346 Update typecheck.rs LunaAmora 2023-11-22 12:06:21 -0400
• cadd5c4bae Fix resolve_refs for RulePat::Vars LunaAmora 2023-11-22 12:05:14 -0400
• 5d829fd140 Apply rustfmt LunaAmora 2023-11-22 10:17:51 -0400
• 1e6a4b143c Add eta_reduction to num mathes LunaAmora 2023-11-22 10:17:23 -0400
• a7c73497d8 WIP fix some passes imaqtkatt 2023-11-22 10:36:58 -0300
• 0ca5a7848f Fix unique_names and unbound_vars passes on match terms LunaAmora 2023-11-21 17:28:38 -0400
• 5a864e268a Make match readback tests compile LunaAmora 2023-11-21 17:26:34 -0400
• 107d804a7a Fix optional semicolon imaqtkatt 2023-11-21 17:38:31 -0300
• a74c48eb06 WIP update match imaqtkatt 2023-11-21 17:25:40 -0300
• 7e59f95799 Add match syntax imaqtkatt 2023-11-21 17:07:10 -0300
• 74f29c149e Remove unused arg from test functions Nicolas Abril 2023-11-23 19:36:00 +0100
• 11c8c835e0
  Merge pull request #48 from HigherOrderCO/feature/sc-262/order-redexes-from-outermost-to-innermost Nicolas Abril 2023-11-23 19:00:38 +0100
• 5e695b1f24 Rewrite inet_to_hvmc to have redexes in outer to inner order Nicolas Abril 2023-11-23 17:52:32 +0100
• e65b228375
  Merge pull request #45 from HigherOrderCO/add-cli-flag-for-single-core imaqtkatt 2023-11-21 10:17:17 -0300
• 0935ba2e1e Add cli flag for single core LunaAmora 2023-11-21 09:07:03 -0400
• 63bc9d7b2b
  Merge pull request #44 from HigherOrderCO/update-readme Victor Taelin 2023-11-21 10:03:59 -0300
• b3f0dd633c Update readme and example imaqtkatt 2023-11-21 09:55:39 -0300
• af582e114c
  Merge pull request #43 from HigherOrderCO/hvm-core-update-fixes imaqtkatt 2023-11-21 09:47:57 -0300
• 8a2dea8175 Remove extra newlines on cli output LunaAmora 2023-11-21 08:42:23 -0400
• 53b25487a9 Switch to use paralel_normal instead of normal LunaAmora 2023-11-21 08:42:05 -0400
• b017e19eb4
  Merge pull request #42 from HigherOrderCO/update-hvm-core-version imaqtkatt 2023-11-21 09:13:52 -0300
• 97afe0c101 Increase MAX_DUP_HVMC_LABEL to new max LunaAmora 2023-11-21 07:56:54 -0400
• 76d417d4ba Revert dup labels to start at 2 LunaAmora 2023-11-21 07:56:18 -0400
• cfdf387e58 Update hvm-core git dep LunaAmora 2023-11-21 07:41:33 -0400
• 614bfcd8cd Update compile_file/tagged_dup.hvm test snapshot LunaAmora 2023-11-21 07:15:58 -0400
• 8dab6627e6 Revert opx readback fix LunaAmora 2023-11-20 15:39:26 -0400
• 951d50eb32 Fix opx imaqtkatt 2023-11-20 15:47:44 -0300
• b0d8696548 Update readback_lnet/tup_add.hvm test LunaAmora 2023-11-20 11:17:36 -0400
• 72f6f53b48 Update more tests snapshots to the new syntax LunaAmora 2023-11-20 10:53:24 -0400
• 34b84571d8 Update test snapshopts labels LunaAmora 2023-11-20 09:55:37 -0400
• 8d22f01b77 Update tests snapshots vars LunaAmora 2023-11-20 09:44:11 -0400
• e5a0119d3e WIP opx term to net imaqtkatt 2023-11-20 10:20:53 -0300
• 782b036cd0 Add initial state of op2/opx support LunaAmora 2023-11-20 08:41:35 -0400
• c91e74887f Update hvmc Tree and Nodekind LunaAmora 2023-11-20 08:39:25 -0400
• 50b27e3d04 Start hvmc version update LunaAmora 2023-11-20 08:37:21 -0400
• fa71ab9cd7
  Merge pull request #41 from HigherOrderCO/feature/sc-172/fix-let-scopes-on-readback Nicolas Abril 2023-11-20 20:15:47 +0100
• 7ef55614e1 Fix rebase errors on let readback LunaAmora 2023-11-20 14:53:44 -0400
• 1af401772f Adjust let scope resolve function name LunaAmora 2023-11-20 14:46:46 -0400
• bde65ab67b Adjust naming on let scope readback LunaAmora 2023-11-20 14:38:15 -0400
• 3eb80ee34e Improve let scope readback pass to use result LunaAmora 2023-11-17 17:15:40 -0400
• c2ce283af6 Add more documentation to let scopes readback LunaAmora 2023-11-17 16:36:10 -0400
• ccb67cf509 Fix some branches on the let scopes readback LunaAmora 2023-11-17 16:15:55 -0400
• ca1733b6b1 Fix fn name typo LunaAmora 2023-11-17 16:00:08 -0400
• 7fa008c464 Fix let scopes on readback LunaAmora 2023-11-17 13:47:33 -0400
• ec0c33dce0 Fix typo in var name LunaAmora 2023-11-17 07:11:51 -0400
• 1a1947b333
  Merge pull request #40 from HigherOrderCO/feature/sc-156/add-explicit-dup-sup-labels-to-hvm-lang Nicolas Abril 2023-11-20 19:25:16 +0100
• 49c4dce37e Refactor create label generator imaqtkatt 2023-11-20 15:07:11 -0300
• 6f27654065 Refactor call new_node once imaqtkatt 2023-11-20 14:46:37 -0300
• 9f02d49939 Update readme imaqtkatt 2023-11-17 17:39:22 -0300
• de3d0d48ae Update and add comments imaqtkatt 2023-11-17 16:27:46 -0300
• 6348b64f17 Add tagged dup test imaqtkatt 2023-11-17 14:27:35 -0300
• 12f344d611 Remove print and update grammar imaqtkatt 2023-11-17 14:08:07 -0300
• e8a0de38b3 Add tag for dup imaqtkatt 2023-11-17 11:23:10 -0300
• 3074271a1e
  Merge pull request #39 from HigherOrderCO/bug/sc-243/hvm-lang-bug-with-numeric-operations Nicolas Abril 2023-11-16 20:35:23 +0100
• cc637cb7f1 Add tests and comment to net_to_term imaqtkatt 2023-11-16 16:09:29 -0300
• 2d20bc33fc Check if snd of opx is era imaqtkatt 2023-11-16 12:12:36 -0300
• d7632a640a
  Merge pull request #38 from TheMhv/patch-1 Nicolas Abril 2023-11-16 15:59:33 +0100
• b0676d62b3
  Update README.md TheMhv 2023-11-15 00:03:53 -0300
• 63edc86107 WIP fix readback for simple terms imaqtkatt 2023-11-14 14:12:56 -0300
• 3fe814c925 Expose pre_reduce functions for individual nets Nicolas Abril 2023-11-14 16:16:46 +0100
• 069009b316 Fix typo in type name Nicolas Abril 2023-11-14 14:47:43 +0100
• dcc6f98d8c
  Merge pull request #36 from HigherOrderCO/feature/sc-242/check-that-hvm-lang-program-doesn-t-require Nicolas Abril 2023-11-14 14:34:31 +0100
• c5a73cce5e
  Merge pull request #37 from HigherOrderCO/feature/sc-241/add-option-for-showing-stats-after-hvm-lang Nicolas Abril 2023-11-14 14:11:41 +0100
• 6d16cf9963 Add --stats cli option LunaAmora 2023-11-14 07:28:59 -0400
• 70b7deb2bf Add too many dup labels warning LunaAmora 2023-11-13 17:25:39 -0400
• 6f193090a5
  Merge pull request #35 from HigherOrderCO/feature/sc-238/add-pre-reduction-of-definitions-in-hvm-lang Nicolas Abril 2023-11-13 22:46:23 +0100
• c0aeacb37d [sc-238] Pre-reduce nets to fit new required form by hvmc Nicolas Abril 2023-11-13 20:08:30 +0100
• a7e05fafdc
  Merge pull request #33 from HigherOrderCO/feature/sc-236/add-eta-reduction-pass-to-hvm-lang Nicolas Abril 2023-11-13 20:03:43 +0100
• 953a63ce01 Update eta_reduction pass order LunaAmora 2023-11-13 14:05:44 -0400
• d2d79c4fa2 Update tests snapshots LunaAmora 2023-11-13 14:02:07 -0400
• a4b7de3582 Update readback main tests LunaAmora 2023-11-13 11:02:17 -0400
• 1911004eeb Add eta reduction pass LunaAmora 2023-11-13 10:53:17 -0400
• 89acc7567b
  Merge pull request #34 from HigherOrderCO/add-source-links-cargo-insta Nicolas Abril 2023-11-13 18:44:21 +0100
• 00e87e6502 improve tests settings LunaAmora 2023-11-13 11:35:00 -0400
• 5cd5dbec77 Remove unneeded variable in exhaustiveness pass Nicolas Abril 2023-11-13 16:29:51 +0100
• fa75a743e1
  Merge pull request #31 from HigherOrderCO/Fix-net_to_term_linear Nicolas Abril 2023-11-13 16:05:12 +0100
• 7530cea3d5
  Merge pull request #30 from HigherOrderCO/feature/sc-235/use-cargo-insta-for-hvm-lang-s-regression Nicolas Abril 2023-11-13 15:05:43 +0100
• 611a7a98a1 Update test snapshot LunaAmora 2023-11-13 08:41:35 -0400
• 930b3593ea Remove pretty_assertions dev-dependency LunaAmora 2023-11-11 09:17:16 -0400
• c280ced247 Adjust golden_tests.rs LunaAmora 2023-11-10 15:41:33 -0400