langkit

ada/langkit

Fork 0

mirror of https://github.com/AdaCore/langkit.git synced 2026-02-12 12:28:12 -08:00

Commit Graph

Select branches

Hide Pull Requests

18-sustained

18.0

18.1

18.2

19-sustained

19.0

19.1

19.2

20-sustained

20.0

20.1

20.2

21-sustained

21.0

21.1

21.2

22-sustained

22.0

22.1

22.2

23-sustained

23.0

23.1

23.2

24-sustained

24.0

24.1

24.2

25-sustained

25.0

25.1

25.2

26.0

26.1

26.2

a2c2-2020-stable

dependabot/pip/mako-1.2.2

gpl-2017

lts-18

lts-19

lts-20

lts-21

lts-22

master

#100

#101

#102

#103

#104

#105

#106

#107

#108

#109

#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

#15

#150

#151

#152

#153

#154

#155

#156

#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

#192

#193

#194

#195

#196

#197

#198

#199

#2

#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

#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

#281

#282

#283

#284

#285

#286

#287

#288

#289

#29

#290

#291

#292

#293

#294

#295

#296

#297

#298

#299

#3

#3

#30

#300

#301

#302

#303

#304

#305

#306

#307

#308

#309

#31

#310

#311

#312

#313

#314

#315

#316

#317

#318

#319

#32

#320

#321

#322

#323

#324

#325

#326

#327

#328

#329

#33

#330

#331

#332

#333

#334

#335

#336

#337

#338

#339

#34

#340

#341

#342

#343

#344

#345

#346

#347

#348

#349

#35

#350

#351

#352

#354

#355

#356

#357

#358

#359

#36

#360

#361

#363

#364

#365

#366

#367

#368

#369

#37

#370

#371

#372

#373

#374

#375

#376

#377

#378

#379

#38

#380

#381

#382

#383

#384

#385

#386

#387

#388

#389

#39

#390

#392

#393

#394

#395

#396

#397

#398

#399

#40

#400

#401

#402

#403

#404

#405

#406

#407

#408

#409

#41

#410

#411

#412

#413

#414

#415

#416

#417

#418

#419

#42

#420

#421

#422

#423

#424

#425

#426

#427

#428

#429

#43

#431

#432

#433

#434

#435

#436

#438

#439

#44

#440

#441

#442

#443

#444

#445

#446

#447

#448

#449

#45

#450

#451

#453

#454

#455

#456

#457

#458

#459

#46

#460

#461

#462

#463

#464

#465

#466

#467

#468

#469

#47

#471

#472

#473

#474

#475

#476

#477

#478

#479

#48

#480

#481

#482

#483

#484

#486

#487

#488

#489

#49

#490

#491

#493

#494

#495

#496

#497

#498

#499

#50

#500

#502

#503

#504

#505

#506

#507

#509

#51

#510

#511

#512

#513

#514

#515

#516

#517

#518

#519

#52

#520

#521

#522

#523

#524

#525

#526

#527

#528

#529

#53

#530

#531

#532

#533

#534

#535

#536

#537

#538

#539

#54

#540

#541

#542

#543

#544

#545

#546

#547

#548

#549

#55

#550

#551

#552

#553

#554

#555

#556

#557

#558

#559

#56

#560

#561

#562

#563

#564

#565

#566

#567

#568

#569

#57

#570

#571

#572

#573

#574

#575

#576

#577

#578

#58

#58

#581

#582

#583

#584

#585

#585

#586

#587

#588

#589

#59

#590

#591

#592

#593

#594

#595

#596

#597

#598

#599

#60

#600

#601

#602

#603

#604

#605

#606

#607

#608

#609

#61

#611

#612

#613

#614

#615

#616

#617

#618

#619

#62

#620

#621

#622

#623

#624

#625

#626

#627

#628

#629

#63

#630

#631

#632

#633

#634

#635

#636

#637

#638

#639

#64

#640

#641

#642

#644

#645

#646

#648

#648

#649

#65

#650

#651

#651

#652

#655

#655

#66

#67

#68

#69

#70

#71

#72

#73

#74

#75

#76

#77

#78

#79

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#97

#98

#99

dsl_unparse

v21.0.0

v22.0.0

v23.0.0

v24.0.0

v25.0.0

v26.0.0

b974b6b3db Lkt: merge LktNode.check_legality and LktNode.check_semantic Pierre-Marie de Rodat 2021-11-29 15:57:01 +00:00
3671726691 Lkt: remove the unused BaseGrammarDecl abstraction Pierre-Marie de Rodat 2021-11-26 13:28:48 +00:00
3d528dd957 Property DSL: fix handling of index in filter/take_while lambdas Pierre-Marie de Rodat 2021-11-26 16:54:46 +00:00
cdc5768fb8 Use collections.abc.Sequence as the alias is set to be removed Charles Pigott 2021-11-10 20:42:12 +00:00
2ecb727efc support: remove Refcounted packages Nicolas Boulenguez 2021-11-15 01:46:01 +01:00
054ee26ee7 stylechecks: make Python import detection stricter Pierre-Marie de Rodat 2021-11-24 11:07:57 +00:00
77219a7c0a Langkit_Support.File_Readers: fix invalid memory access Pierre-Marie de Rodat 2021-11-24 10:35:34 +00:00
de0d8de81a README: update path to documentation Nicolas Boulenguez 2021-11-06 17:38:32 +01:00
889170dd81 Remove dependency of lexer/regexp.py to lexer/unicode_data.py Nicolas Boulenguez 2021-11-07 19:22:16 +01:00
cfb611fd47 Add empty line after imports in generated unicode_data.py Nicolas Boulenguez 2021-11-06 16:53:08 +01:00
a08f0ca7fb Generic API: make it possible to build/inspect struct values Pierre-Marie de Rodat 2021-11-18 15:54:34 +00:00
ba52a79467 Generic API: rework the debug name of entity types Pierre-Marie de Rodat 2021-11-17 15:54:54 +00:00
87db51ec28 Generic API: add Owner/Debug_Name primitives for members Pierre-Marie de Rodat 2021-11-17 15:50:12 +00:00
80716c9cc7 Generic API: expose actual API names for struct members Pierre-Marie de Rodat 2021-11-17 15:33:56 +00:00
cf4beec12f Generic API: make it possible to build/inspect array values Pierre-Marie de Rodat 2021-11-12 15:34:54 +00:00
693f619f72 Lkt: rename LKNode to LktNode Pierre-Marie de Rodat 2021-11-16 15:03:37 +00:00
fffc14fbe4 Generic API: add internals for introspection arrays/structs Pierre-Marie de Rodat 2021-11-12 16:17:20 +00:00
c1aa597f89 Add converters between generic/specific public/private unit types Pierre-Marie de Rodat 2021-11-16 15:30:26 +00:00
6f72aaf083 Add converters between generic/specific public/private node types Pierre-Marie de Rodat 2021-11-09 16:08:50 +00:00
8e57ccb06e Ada API: add an equality operator for arrays of big integers Pierre-Marie de Rodat 2021-11-12 12:59:26 +00:00
97c25db169 Generic API: override "=" for value references Pierre-Marie de Rodat 2021-11-10 17:05:18 +00:00
b2d9bd80a9 Generic API: move language-specific operations to a separate unit Pierre-Marie de Rodat 2021-11-10 09:45:13 +00:00
d2c6cb32fd Generic API: create a dedicated unit for private/public converters Pierre-Marie de Rodat 2021-11-09 15:29:02 +00:00
857cc37f38 Generic API: rename internal types for values Pierre-Marie de Rodat 2021-11-09 10:47:58 +00:00
6456777790 Generic API: make it possible to build/inspect enum values Pierre-Marie de Rodat 2021-11-08 14:29:46 +00:00
70dd1f934f Generic API: factor constant names formatting out of the Mako templates Pierre-Marie de Rodat 2021-11-08 13:59:45 +00:00
75d64a42d4 Add sloc info to source buffer decoding errors Pierre-Marie de Rodat 2021-11-18 13:51:53 +00:00
8ea419d1a1 $.Common: kill an aliasing warning Pierre-Marie de Rodat 2021-11-18 07:34:53 +00:00
bf9d0ea1b1 UB16-053: Rename val to value in env assoc types. Romain Beguet 2021-11-18 11:57:11 +01:00
8a8fadb034 Lkt: check for @invalid annotations in lkt_toolbox Laurent Thévenoux 2021-11-04 16:01:10 +00:00
f1015c840e Lkt: improve BinOp type resolution Laurent Thévenoux 2021-10-28 13:42:53 +00:00
378538fafc UB16-053: Allow `No(T.Address)` expression in properties DSL. Romain Beguet 2021-11-16 17:41:09 +01:00
acdab36c03 Lkt: add more PropertyError constraints Laurent Thévenoux 2021-11-12 12:34:22 +00:00
ff0b0d1c6b langkit.diagnostic: switch Context to @contextmanager Pierre-Marie de Rodat 2021-11-05 13:32:38 +00:00
2bc89ceb2d langkit.dsl_unparse: replace @not_implemented with explicit error Pierre-Marie de Rodat 2021-11-16 12:57:47 +00:00
bf741471c3 Lkt lowering: propagate Lkt location to AbstractExpression instances Pierre-Marie de Rodat 2021-11-05 12:47:51 +00:00
27b9effbed Lkt lowering: handle tracing for properties Pierre-Marie de Rodat 2021-11-04 15:18:21 +00:00
4fc12ff20d Lkt lowering: handle memoized properties Pierre-Marie de Rodat 2021-11-04 15:11:52 +00:00
03cbf33829 Lkt lowering: handle block expressions Pierre-Marie de Rodat 2021-11-04 15:04:30 +00:00
c50f7103f6 properties/let_underscore: improve testcase Pierre-Marie de Rodat 2021-11-04 14:43:25 +00:00
060797c362 Lkt lowering: handle String.to_symbol Pierre-Marie de Rodat 2021-11-04 14:27:09 +00:00
567c986821 Lkt lowering: handle try blocks Pierre-Marie de Rodat 2021-11-04 13:43:01 +00:00
f325ab1ec5 Lkt lowering: rework the syntax for try blocks Pierre-Marie de Rodat 2021-11-04 13:42:41 +00:00
49bc4ad1c1 Lkt lowering: handle lazy fields tracing Pierre-Marie de Rodat 2021-11-04 13:16:46 +00:00
6a43a94fc5 Lkt lowering: handle lazy fields Pierre-Marie de Rodat 2021-11-04 12:57:27 +00:00
c1ecf1338c Lkt lowering: handle raise expressions Pierre-Marie de Rodat 2021-11-04 10:58:17 +00:00
4c04d9ee23 Lkt lowering: handle array concatenation Pierre-Marie de Rodat 2021-11-04 09:58:33 +00:00
dc8cd410f9 langkit.dsl_unparse: handle properties tracing Pierre-Marie de Rodat 2021-11-04 10:00:19 +00:00
1cb7f8b4ce Lkt lowering: minor refactoring (order for expression handlers) Pierre-Marie de Rodat 2021-11-04 08:12:53 +00:00
fd7672d515 Lkt lowering: handle cast expressions Pierre-Marie de Rodat 2021-11-03 20:17:43 +00:00
c0a4bda70b Fix memory leaks in quantifier expressions early exits Pierre-Marie de Rodat 2021-11-12 10:28:08 +00:00
28010dfe1c README.md: clarify testsuite requirements Pierre-Marie de Rodat 2021-11-09 15:45:10 +01:00
177b80066c Lkt: emit an error if PropertyError is called without raise Laurent Thévenoux 2021-11-03 13:38:53 +00:00
9d665ee3b0 Lkt: use lkt_toolbox instead of lkt_resolve driver Laurent Thévenoux 2021-10-29 13:53:33 +00:00
c68098d56e Lkt lowering: handle cast expressions Pierre-Marie de Rodat 2021-11-03 20:17:43 +00:00
4384876181 Lkt lowering: handle external properties Pierre-Marie de Rodat 2021-11-03 20:32:54 +00:00
9100a0bc10 langkit.dsl_unparse: correctly unparse external properties Pierre-Marie de Rodat 2021-11-03 20:17:19 +00:00
1ebb8739b9 Lkt lowering: handle the "unique" array method Pierre-Marie de Rodat 2021-11-03 15:16:49 +00:00
1f09dedd9e Lkt lowering: add AnalysisUnit type handling Pierre-Marie de Rodat 2021-11-03 15:07:49 +00:00
16ee730dc7 Lkt lowering: handle iterator types Pierre-Marie de Rodat 2021-10-12 13:45:51 +00:00
24cf76b729 Lkt lowering: handle non-trivial dot expressions Pierre-Marie de Rodat 2021-10-12 13:46:07 +00:00
40d5baabe5 Properties: raise a PropertyError when calling .children on a null node Pierre-Marie de Rodat 2021-10-12 15:16:37 +00:00
909d5acfe9 FieldAccess: fix a typo in a comment Pierre-Marie de Rodat 2021-10-12 14:51:13 +00:00
efc22658f7 Properties: raise a PropertyError when calling .parents on a null node Pierre-Marie de Rodat 2021-10-12 14:42:43 +00:00
bf7b027e11 Generic API: add polymorphic values handling for basic types Pierre-Marie de Rodat 2021-10-27 10:08:39 +00:00
2d9a5691f2 Generic API: make it possible to query the type of a node Pierre-Marie de Rodat 2021-10-26 12:33:57 +00:00
60c76cc1bf Generic API: add Language_For primitives for unit/node/token types Pierre-Marie de Rodat 2021-10-26 12:26:55 +00:00
d6fcf4a05a Stop exposing env rebindings in public APIs Pierre-Marie de Rodat 2021-10-19 12:02:54 +00:00
7dfc7fb937 Lkt: reject invalid items in decl lists inside TypeDecl nodes Laurent Thévenoux 2021-10-26 15:16:37 +00:00
cbde4eb293 UA26-008: Fix code generation's style Raphaël AMIARD 2021-11-03 10:41:50 +01:00
82ce696c05 Fix a crash when Bind.conv_prop is called with an invalid node type Pierre-Marie de Rodat 2021-10-27 12:58:04 +00:00
e7f1aaf07e Fix code generation when Bind.conv_prop works on bare nodes Pierre-Marie de Rodat 2021-10-27 12:49:37 +00:00
c97e262522 langkit.expressions.logic.domain: minor typo fix Pierre-Marie de Rodat 2021-10-27 12:49:08 +00:00
2c6aa9617b Lkt: enable semantic checks for properties/lower_dispatch_rewrite Laurent Thévenoux 2021-10-28 12:47:56 +00:00
d38a6c1af9 Lkt: change TN for properties/equality check semantic issue Laurent Thévenoux 2021-10-20 16:09:40 +00:00
cf07788d24 Lkt: improve raise expression type resolution Laurent Thévenoux 2021-10-20 16:25:51 +00:00
897069e5ee Lkt: add unique builtin to Array type in prelude.lkt Laurent Thévenoux 2021-10-28 14:33:41 +00:00
c5452f85eb Add a script to create a release source package for Langkit_Support Pierre-Marie de Rodat 2021-10-27 13:31:37 +00:00
d79dfd3cbc Generic API: make it possible to process analysis unit tokens Pierre-Marie de Rodat 2021-10-25 13:21:40 +00:00
754e18eb4c Generic API: add a Filename primitive for Lk_Unit Pierre-Marie de Rodat 2021-10-18 14:18:23 +00:00
9930dd212a Generic API: rework access types for the language descriptor record Pierre-Marie de Rodat 2021-10-18 14:28:29 +00:00
c11745d8ad Generic API: add token kind handling Pierre-Marie de Rodat 2021-10-25 12:45:59 +00:00
bb7f8121ab Generic API: minor reformattings Pierre-Marie de Rodat 2021-10-25 11:44:41 +00:00
2f9dd693c7 Ada/Python APIs: protect against uses of stale token references Pierre-Marie de Rodat 2021-10-19 15:39:41 +00:00
b37a6823be Python API: consider that Token is nullable Pierre-Marie de Rodat 2021-10-20 12:41:49 +00:00
641507e8e6 C API: avoid System.Address conversions for token data handlers Pierre-Marie de Rodat 2021-10-19 14:14:03 +00:00
7ddac829b1 U930-039: Lkt: enable semantic checks on ArrayLiteral dependent tests Laurent Thévenoux 2021-10-19 15:40:34 +00:00
03ac2855f1 U930-039: Lkt: support ArrayLiteral type resolution Laurent Thévenoux 2021-09-30 08:49:28 +00:00
4db8896d2d U930-039: Lkt: rename [array,astlist,iterator]_gen_[type,trait] Laurent Thévenoux 2021-10-05 11:51:45 +00:00
2df9490c13 langkit.emitter: re-add bodies in the library interface Pierre-Marie de Rodat 2021-10-21 19:37:07 +00:00
827eee7156 GDB helpers: update after the lexical envs split Pierre-Marie de Rodat 2021-10-21 15:18:53 +00:00
09075e6537 project_file.mako: make it possible to make the project externally built Pierre-Marie de Rodat 2021-10-21 13:50:46 +00:00
0184043132 project_file.mako: remove a hardcoded mention to Libadalang Pierre-Marie de Rodat 2021-10-21 13:48:21 +00:00
86fac11de3 $.Generic_API/$.Rewriting: do not pull implementations in spec Pierre-Marie de Rodat 2021-10-21 12:43:49 +00:00
62168bc46e langkit.emitter: exclude bodies and *_impl packages for lib. interface Pierre-Marie de Rodat 2021-10-21 12:19:07 +00:00
e47baed6fe Generic API: wrap struct member indexes in a private type Pierre-Marie de Rodat 2021-10-14 13:44:30 +00:00
d344e54037 Generic API: wrap enum value indexes in a private type Pierre-Marie de Rodat 2021-10-13 16:03:10 +00:00
e07f3899f9 Generic API: wrap type indexes in a private type Pierre-Marie de Rodat 2021-10-13 15:34:18 +00:00
a485c4d9f1 Generic API: wrap grammar rule indexes in a private type Pierre-Marie de Rodat 2021-10-13 10:28:08 +00:00
9439c6c1d6 Generic API: add introspection for structs and their members Pierre-Marie de Rodat 2021-10-05 14:58:07 +00:00

... 27 28 29 30 31 ...