Commit Graph - Bend - gitea: Gitea Service

HigherOrderCO/Bend

Fork 0

mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-08-15 14:50:42 +03:00

Commit Graph

Select branches

Hide Pull Requests

615-add-progressive-typing-to-bend

664-wrap-is-read-as-a-variable-when-compiling-with-blocks

bpm

direct-readback

hvm-core

lsp-experiments

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

#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

#673

#68

#69

#7

#70

#71

#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.4

0.2.5

0.2.6

0.2.7

0.2.8

0.2.9

d5aee143e3

Merge pull request #22 from HigherOrderCO/feature/sc-102/document-hvm-lang-s-features-and-api Nicolas Abril 2023-10-26 19:56:26 +0200
d6d0877b92 Add initial readme imaqtkatt 2023-10-25 17:03:47 -0300
77064428e6

Merge pull request #18 from HigherOrderCO/feature/sc-103/implement-pairs-in-hvm-lang Nicolas Abril 2023-10-24 19:52:29 +0200
dd7420a29e Code refactor and impl fix_name for tup imaqtkatt 2023-10-24 12:31:00 -0300
84245ed713 Update some tests and fix tup encoding imaqtkatt 2023-10-23 16:31:02 -0300
83e1a9d1aa WIP let implementation imaqtkatt 2023-10-23 13:37:06 -0300
e2e9ce4f49 Implement proper non_linear readback imaqtkatt 2023-10-20 17:47:53 -0300
13a4814a96 Add term_to_affine for nxt imaqtkatt 2023-10-20 16:51:33 -0300
c9774d8cb4 Readback for let imaqtkatt 2023-10-20 09:46:15 -0300
89de27e998 WIP let readback imaqtkatt 2023-10-20 09:37:14 -0300
c3262c690f Update dup tests and add tests for tups and lets imaqtkatt 2023-10-19 16:48:29 -0300
81304508d7 Impl Display for LetPat imaqtkatt 2023-10-19 09:48:28 -0300
0286e0f30a Add subst for vars in let pattern imaqtkatt 2023-10-18 16:36:02 -0300
250bc40a7a Add Tup NodeKind imaqtkatt 2023-10-18 14:32:10 -0300
a388559bb2 Refactor rename let pattern ast imaqtkatt 2023-10-18 10:02:47 -0300
a397409f31 Feat tuples? imaqtkatt 2023-10-18 09:57:06 -0300
8b544ac492 WIP era support for let pattern imaqtkatt 2023-10-17 18:50:18 -0300
a9b41ecc5a WIP non nested let pattern imaqtkatt 2023-10-17 15:17:07 -0300
9e8ea09a43 WIP implement passes for let pattern imaqtkatt 2023-10-17 10:21:42 -0300
9760a83414 Implement some passes and rename AST to use convention imaqtkatt 2023-10-17 08:38:00 -0300
d30b1e1448 Parse pairs and let patterns imaqtkatt 2023-10-16 17:28:52 -0300
1af526f1d6 [sc-103] Add root node type to net::NodeKind Nicolas Abril 2023-10-23 19:56:49 +0200
6d07cc9f72

Merge pull request #20 from HigherOrderCO/feature/sc-137/make-hvm-lang-support-both-main-and-main Nicolas Abril 2023-10-20 16:21:39 +0200
b11f6466c0 Change "main" references to the const ENTRY_POINT LunaAmora 2023-10-20 10:12:53 -0400
d1e1508aa2 Add tests for Main and main entrypoints LunaAmora 2023-10-20 10:09:29 -0400
06737878f9 Add check for usage of both Main and main in a file LunaAmora 2023-10-19 10:06:08 -0400
88b856024e Fix definition pruning to work on main entrypoint LunaAmora 2023-10-19 10:04:32 -0400
be15785a07 Add support for "Main" entrypoint for HVM1 compatiblity LunaAmora 2023-10-19 08:02:46 -0400
49758d6ad3

Merge pull request #21 from HigherOrderCO/feature/sc-135/keep-name-of-defs-when-compiling-from-hvm Nicolas Abril 2023-10-20 09:15:40 +0200
3fdc3d3a74 Improve naming and add doc to name conversion function LunaAmora 2023-10-19 17:48:22 -0400
d40febd1d8 Keep truncated name of defs when compiling LunaAmora 2023-10-19 15:08:50 -0400
0f7e8ca08a

Merge pull request #19 from HigherOrderCO/feature/sc-61/reorganize-hvm-lang-repo-readback Nicolas Abril 2023-10-18 17:12:14 +0200
c4e49620ca Merge remote-tracking branch 'origin/master' into feature/sc-61/reorganize-hvm-lang-repo-readback Nicolas Abril 2023-10-18 17:10:58 +0200
c1208dd7d4

Merge pull request #15 from HigherOrderCO/feature/sc-122/rename-the-entrypoint-in-hvm-lang-files-to Nicolas Abril 2023-10-18 14:49:40 +0200
2f3a7d6526 Update compiled output to use main LunaAmora 2023-10-18 08:37:22 -0400
9d9ea176f8 Merge remote-tracking branch 'origin/master' into feature/sc-61/reorganize-hvm-lang-repo-readback Nicolas Abril 2023-10-17 21:55:00 +0200
c8e6dbd928 [sc-61] Add proper lambda readback from inets Nicolas Abril 2023-10-17 20:14:21 +0200
0c55a11e7d Rename entrypoint from Main to main LunaAmora 2023-10-17 14:22:18 -0400
5f692ef1d0

Merge pull request #14 from HigherOrderCO/feature/sc-61/reorganize-hvm-lang-repo-net-refactor Nicolas Abril 2023-10-17 20:14:21 +0200
c7aaf8e17e Add explanation about invalid Term::Match when converting to string LunaAmora 2023-10-17 14:08:42 -0400
3a9abdb0fc Move Op fns into modules where they are used LunaAmora 2023-10-17 14:00:45 -0400
54e8f9f2bd Fix bug on readback_compat of match nodes LunaAmora 2023-10-17 07:34:24 -0400
f3dc189610 Enable link time optimizations Nicolas Abril 2023-10-17 11:35:13 +0200
12a1a0b0cd Small cleanups Nicolas Abril 2023-10-17 10:29:17 +0200
c6216d5a4c Fix bug in readback_compat linked Era check LunaAmora 2023-10-16 17:57:03 -0400
bff04fa38e Fix bug in compat_net_to_core transformation LunaAmora 2023-10-16 17:54:23 -0400
df30b09b7d Finish net::INet type refactor LunaAmora 2023-10-16 17:53:17 -0400
ea083f5a17

Merge pull request #13 from HigherOrderCO/definition-pruning Nicolas Abril 2023-10-16 19:39:11 +0200
6c7cd46d43 Refactor to use values method imaqtkatt 2023-10-16 14:16:18 -0300
ac57c0dcfa Refactor to use values method imaqtkatt 2023-10-16 13:56:51 -0300
610ad682cc Remove recursion from find_used_definitions imaqtkatt 2023-10-16 13:47:43 -0300
cb6b1be399 Refactor net::INet type (WIP) Nicolas Abril 2023-10-16 18:09:17 +0200
cb06fd9a59 align output with hvm-core Victor Maia 2023-10-14 09:33:59 -0300
83e58f5ea6 Fix prune overflow imaqtkatt 2023-10-13 19:00:45 -0300
3f58c1b10f Fix rebase error imaqtkatt 2023-10-13 18:37:05 -0300
b77df60958 Implement definition pruning imaqtkatt 2023-10-13 16:43:27 -0300
fac201b40a Change DefinitionBook to use BTreeMap imaqtkatt 2023-10-13 15:04:02 -0300
8c7a7214b7 Make self reference check into broader ref to ref check Nicolas Abril 2023-10-13 21:30:49 +0200
f35972c37e Add self referential definition check Nicolas Abril 2023-10-13 21:27:01 +0200
47d49e45f5 Separate internally the Succ case of match expr into a separate Lam Nicolas Abril 2023-10-13 20:35:37 +0200
a52ea94086

Merge pull request #12 from HigherOrderCO/refactor-hvm-core Nicolas Abril 2023-10-13 18:47:35 +0200
f04396f820 Refactor to use latest hvm-core imaqtkatt 2023-10-13 13:43:35 -0300
03a589dcb2 Replace If expression with Match expression Nicolas Abril 2023-10-13 17:41:14 +0200
58fd688de5 Fix if expresison readback, nome cleanup Nicolas Abril 2023-10-13 16:00:14 +0200
a9068cf0c5 Merge remote-tracking branch 'origin/reorganize-repo' Nicolas Abril 2023-10-13 15:42:14 +0200
04958e588e Don't allow lack of parens around first term, make whitespace not significant in syntax Nicolas Abril 2023-10-13 15:16:15 +0200
292187c266 remove extra newline Victor Maia 2023-10-13 09:01:28 -0300
cc8a773838 Split extra functions into appropriate contained parts LunaAmora 2023-10-13 07:43:12 -0400
30e6542723 Adjust mod structure of term folder LunaAmora 2023-10-12 17:38:29 -0400
390ffaa89e Fix formatting LunaAmora 2023-10-12 17:27:33 -0400
bda18739e8 Remove patterns and rename Rule to Definition imaqtkatt 2023-10-12 17:48:48 -0300
39054fc012 Continue reorganizing repo LunaAmora 2023-10-12 15:31:20 -0400
a78cb4ec0f Move sanitize pass to new structure, breaking it into the different parts of the pass Nicolas Abril 2023-10-12 22:13:38 +0200
cd8a2f4008 Remove pattern matching passes and tests Nicolas Abril 2023-10-12 21:44:01 +0200
6e96263f47 Change if expression syntax Nicolas Abril 2023-10-12 20:45:20 +0200
67b9fceaa6 Move variable sanitization into the new file structure and break it into the different steps Nicolas Abril 2023-10-12 19:15:08 +0200
76c08fcbc1 Update compile test results after hvm-core update Nicolas Abril 2023-10-12 19:14:33 +0200
fd9cb8b90b

Merge pull request #10 from HigherOrderCO/reorganize-repo Nicolas Abril 2023-10-12 18:22:05 +0200
95ea8fca50 Remove ast::core.rs in favor of hvmc::LBook Nicolas Abril 2023-10-12 18:20:22 +0200
e153fa3e1c WIP reorganization imaqtkatt 2023-10-12 11:59:57 -0300
0ac2f2bf2c

Merge pull request #9 from LunaAmora/expand_readback Nicolas Abril 2023-10-12 15:28:54 +0200
9f66343604

Merge pull request #4 from LunaAmora/master Nicolas Abril 2023-10-12 15:16:29 +0200
a8f1635bd3 Fix name generation on readback_compat LunaAmora 2023-10-12 09:02:24 -0400
e8dfb9f830 Expand autogenerated rules refs on readback LunaAmora 2023-10-12 08:50:19 -0400
fcf4c4a857 Refactor spanned on vars imaqtkatt 2023-10-12 08:12:52 -0300
6833cc6a03 Refactor to use spanned imaqtkatt 2023-10-11 16:20:13 -0300
4c890fcc67 Use spanned on vars imaqtkatt 2023-10-11 15:18:47 -0300
edbaf5d29f Use spanned on readback imaqtkatt 2023-10-11 14:41:27 -0300
ad56187c42 WIP spanned definitions imaqtkatt 2023-10-11 11:30:15 -0300
0b2ed82d46 WIP spanned patterns imaqtkatt 2023-10-11 11:10:54 -0300
477dbc7ced WIP spanned terms imaqtkatt 2023-10-11 10:33:05 -0300
e19bb5c65e Create spanned module imaqtkatt 2023-10-11 08:52:04 -0300
24c65b3f68 Fix Opx support on combinator pass and other bugs LunaAmora 2023-10-11 13:55:12 -0400
b8e3db23af Update golden tests results LunaAmora 2023-10-11 11:19:28 -0400
63f3b06046 Add two simple tests on numbers Nicolas Abril 2023-10-11 17:00:30 +0200
db66b808c0 Re-enable flatten_rules pass LunaAmora 2023-10-11 09:56:54 -0400
5ec4bdb677 Add support for terms If and opx on combinators passes LunaAmora 2023-10-11 09:48:23 -0400
5008e4490e Fix combinator pass to generate sanitized rules LunaAmora 2023-10-11 07:27:13 -0400
546ea5c5a7 Re-add the supercombinator pass, disabling the new combinator pass LunaAmora 2023-10-10 11:35:19 -0400
95bf573888 Add observation about output of the combinator pass LunaAmora 2023-10-06 15:28:34 -0400