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

7509a4694f S924-008 Fix unwrapping of enum types 20.0 Daniel Mercier 2019-09-24 11:16:54 +02:00
f496d9600d S806-012: Fix argument parser initialization Raphaël AMIARD 2019-09-11 14:47:04 +02:00
7086677cb0 DSL: add a "unique" operation on arrays Pierre-Marie de Rodat 2019-09-19 14:15:28 +02:00
98ec3c9c6b langkit.expressions.collections.Contains: minor reformatting Pierre-Marie de Rodat 2019-09-19 13:10:02 +02:00
2533fb04fb $.Rewriting: add a function to unparse whole units Pierre-Marie de Rodat 2019-09-19 11:57:40 +02:00
414ca6dca3 $.Unparsing_Implementation: factor "As_Unit" logic out Pierre-Marie de Rodat 2019-09-19 11:26:41 +02:00
c3de5716df $.Unparsing_Implementation: return unbounded instead of mere text values Pierre-Marie de Rodat 2019-09-19 11:09:34 +02:00
a91ce93c36 CompileCtx: fix call graph computation for property dispatchers Pierre-Marie de Rodat 2019-09-18 14:58:41 +02:00
9ec0455913 Testsuite: make emit_and_print_errors return the compile context Pierre-Marie de Rodat 2019-09-18 14:47:49 +02:00
323fcabf69 CompileCtx.properties_callgraph: remove unused arguments Pierre-Marie de Rodat 2019-09-18 14:12:05 +02:00
e03575ddc0 S819-034: Fix style errors left behind. Romain Beguet 2019-09-18 11:14:03 +02:00
ba6c0c0b74 GDB helpers: update pretty-printer for unique node record type Pierre-Marie de Rodat 2019-09-17 14:45:51 +02:00
455d6908c9 GDB helpers: remove obsolete regexp for node tags Pierre-Marie de Rodat 2019-09-17 14:38:24 +02:00
d307b43489 S819-034: Improve test case & fix style errors. Romain Beguet 2019-09-16 17:16:50 +02:00
2a739bc385 S819-034: Fix determinism issue of env get. Romain Beguet 2019-08-21 14:50:12 +02:00
a0fad24de3 C API: remove a memory leak in the context constructor Pierre-Marie de Rodat 2019-09-10 09:51:26 +02:00
6163b79bbd Introduce ref-counting in internal unit providers Pierre-Marie de Rodat 2019-09-10 15:43:15 +02:00
e155bb7a24 misc/stack_overflow: new testcase Pierre-Marie de Rodat 2019-09-05 14:14:56 +02:00
31852655d1 Add a call depth restriction mechanism in properties Pierre-Marie de Rodat 2019-09-05 10:16:28 +02:00
97b6fd76ff langkit_support/lexical_env_image: minor reformatting Pierre-Marie de Rodat 2019-09-05 14:31:52 +02:00
961c8d9155 Testsuite: properly build, install and setenv for Langkit_Support Pierre-Marie de Rodat 2019-09-09 16:41:15 +02:00
8d915be90d misc/rewriting: enhance to test rewriting of non-ASCII sources Pierre-Marie de Rodat 2019-09-06 09:40:37 -04:00
b4f9c085e3 $.Implementation: default to the analysis unit's charset for reparsing Pierre-Marie de Rodat 2019-09-06 09:34:44 -04:00
af0c0d1ea8 main_parse_ada.mako: do not rely on unparsers if they are disabled Pierre-Marie de Rodat 2019-09-04 14:14:09 +02:00
13deed7910 When possible, disable unparsing code generation in testcases Pierre-Marie de Rodat 2019-09-04 13:45:01 +02:00
2a5e4f23f3 Travis CI: disable OCaml testcases Pierre-Marie de Rodat 2019-09-04 13:03:37 +02:00
693484ffd7 When possible, disable Ada API generation in testcases Pierre-Marie de Rodat 2019-08-27 16:39:38 -04:00
5f61516a9b By default, disable warnings for unused documentation entries Pierre-Marie de Rodat 2019-09-04 10:22:07 +02:00
1010bd2850 Use a single Langkit_Support build in the testsuite Pierre-Marie de Rodat 2019-08-24 11:51:44 +02:00
151b6914a4 Testsuite: move cargs from command-line to project files Pierre-Marie de Rodat 2019-09-03 10:52:32 +02:00
234da77f34 $.Implementation.C: do not depend on the public Ada API Pierre-Marie de Rodat 2019-08-30 10:12:46 +02:00
8e4573fae8 Move the unit provider wrapper to $.Public_Converters Pierre-Marie de Rodat 2019-09-03 09:41:54 +02:00
01817374fa $.Implementation.C: Rename (un)wrapper for unit providers Pierre-Marie de Rodat 2019-09-03 10:00:35 +02:00
0784aec056 $.Unparsing_Implementation: stop depending on $.Introspection Pierre-Marie de Rodat 2019-09-02 22:33:34 +02:00
aeece16d75 Split $.Converters Pierre-Marie de Rodat 2019-08-29 14:37:40 +02:00
49131da861 $.Rewriting_Implementation: stop depending on $.Introspection Pierre-Marie de Rodat 2019-08-29 13:09:17 +02:00
be86f18b69 $.Implementation: make Kind_To_Node_Children_Count constant Pierre-Marie de Rodat 2019-08-29 13:07:28 +02:00
06bd4b8924 Emitter: refactor emission of Ada units Pierre-Marie de Rodat 2019-08-27 15:55:34 -04:00
085043b410 Langkit_Support.Lexical_Env: replace an ordered map instantiation Pierre-Marie de Rodat 2019-08-27 15:27:26 -04:00
2e17e4f7af Langkit_Support.Vectors: add a generic sort procedure Pierre-Marie de Rodat 2019-08-27 15:23:12 -04:00
53593c003c $.Implementation: remove the dependency on $.Analysis Pierre-Marie de Rodat 2019-08-26 16:10:13 -04:00
3ac8d5206b Testsuite: do not compile mains unless necessary Pierre-Marie de Rodat 2019-08-23 16:34:08 +02:00
342f31ad8d Remove dependencies on $.Lexer from implementation packages Pierre-Marie de Rodat 2019-08-29 12:46:59 +02:00
709a4ff416 Python API: remove always-true condition Pierre-Marie de Rodat 2019-08-28 10:29:15 -04:00
3236c2c573 C API: never return text structures by value Pierre-Marie de Rodat 2019-08-27 17:43:27 -04:00
386a5b6cbc Python API: remove unused _kind_name binding Pierre-Marie de Rodat 2019-08-28 10:27:19 -04:00
8363f847c0 Generate language-specific file name for the GDB hook C source Pierre-Marie de Rodat 2019-08-23 12:19:32 +02:00
b162855f74 project_file.mako: no "C" units with --no-gdb-hooks Pierre-Marie de Rodat 2019-08-23 11:31:33 +02:00
f540b63a73 project_file.mako: fix handling of --no-gdb-hook Pierre-Marie de Rodat 2019-08-23 11:10:41 +02:00
f15f253543 Restore the generation of $.C units Pierre-Marie de Rodat 2019-08-20 12:52:40 +02:00
a5bf08a3a7 stylechecks: enforce two empty lines after imports Pierre-Marie de Rodat 2019-08-19 13:36:34 +02:00
490ffaea62 Consistently use "cls" instead of "klass" to refer to classes Pierre-Marie de Rodat 2019-08-19 11:30:29 +02:00
3bed682c36 Python API: add missing comments Pierre-Marie de Rodat 2019-08-19 11:26:17 +02:00
42d3b79357 Add renamings to the mostly used Langkit_Support units and use them Pierre-Marie de Rodat 2019-08-14 15:38:48 +02:00
8e620e0ade Remove unused Ada units and template files Pierre-Marie de Rodat 2019-08-14 14:38:34 +02:00
1778160603 pkg_analysis_spec_ada.mako: remove unused WITH Pierre-Marie de Rodat 2019-08-14 14:36:11 +02:00
97b9db5d64 Remove internal notices, redundant with "private" packages Pierre-Marie de Rodat 2019-08-14 14:23:11 +02:00
28e20951e5 Remove all conversions for bare nodes Pierre-Marie de Rodat 2019-08-14 12:32:46 +02:00
ec9caf3e81 Use a single discriminated record type for all bare nodes Pierre-Marie de Rodat 2019-08-12 12:18:13 +02:00
15daef0665 ASTNodeType: turn value_type_name into a property Pierre-Marie de Rodat 2019-08-14 10:23:09 +02:00
45ea029456 $.Implementation: add a Kind accessor function Pierre-Marie de Rodat 2019-08-14 10:20:07 +02:00
c28f3958eb parsers/transform_code_ada.mako: minor reformatting Pierre-Marie de Rodat 2019-08-14 10:13:57 +02:00
348c822d73 $.Common: generate kind subtype for abstract nodes with no derivation Pierre-Marie de Rodat 2019-08-14 10:11:41 +02:00
3396f9b46f Simplify the name of predicate closures Pierre-Marie de Rodat 2019-08-13 16:43:56 +02:00
5c4b6ea917 Add "pragma Unreferenced" when needed for various subp. formals Pierre-Marie de Rodat 2019-08-13 16:39:30 +02:00
40f7694b34 Keep the Is_Env_Populated name constant in a single place Pierre-Marie de Rodat 2019-08-13 17:20:12 +02:00
24632e45ba Move the "root_node_kind_name" template arg to a TypeRepo property Pierre-Marie de Rodat 2019-08-13 15:15:31 +02:00
fd7358466b Use the same naming scheme for Short_Image overrides as for properties Pierre-Marie de Rodat 2019-08-13 14:52:09 +02:00
f62fa57067 Rework the naming scheme for internal field accessors Pierre-Marie de Rodat 2019-08-12 16:10:58 +02:00
9075404a91 AbstractNodeData: introduce the "indexing_name" property Pierre-Marie de Rodat 2019-08-13 12:02:15 +02:00
8a302d39dd Use AbstractDataNode.original_name where appropriate Pierre-Marie de Rodat 2019-08-12 16:06:55 +02:00
e54387eb3c PropertyDef.base_property: switch to manual memoization Pierre-Marie de Rodat 2019-08-12 15:19:31 +02:00
d1bc4a4a08 AbstractNodeData: introduce the api_name property Pierre-Marie de Rodat 2019-08-12 13:32:29 +02:00
299a1150a9 Parser: factor out generation of the allocation call for nodes Pierre-Marie de Rodat 2019-08-12 12:10:46 +02:00
e97f211987 $.Implementation: move the Array_Alloc inst. above root node full view Pierre-Marie de Rodat 2019-08-01 16:20:06 +02:00
e3441389f1 langkit.utils.colors: Use built-in term colors Raphaël AMIARD 2019-08-14 17:33:26 +02:00
7856bc4be3 Remove unused extension expr 'exists' Raphaël AMIARD 2019-08-14 17:33:07 +02:00
b4eba7e026 Minor: remove unused import Raphaël AMIARD 2019-08-14 17:27:43 +02:00
f1ab2e71e6 Minor: remove dead code Raphaël AMIARD 2019-08-06 18:36:10 +02:00
79e5148723 S806-012: Fix CompileCtx.ext Raphaël AMIARD 2019-08-09 15:51:43 +02:00
b574a8acd6 S806-012: Move playground logic in `App` class in python main module Raphaël AMIARD 2019-07-26 18:08:56 +02:00
8974be14cc Move the Is_Env_Populated node field to the standard fields machinery Pierre-Marie de Rodat 2019-08-09 11:14:41 +02:00
50b4caa0d2 Encode all field names for nodes in internal generated code Pierre-Marie de Rodat 2019-07-26 16:28:02 +02:00
b3f4efcb3c Remove the root_node_(type_name|value_type) shortcuts Pierre-Marie de Rodat 2019-07-25 11:47:02 +02:00
76c7ccce01 Replace the now useless anonymous access formals for node primitives Pierre-Marie de Rodat 2019-07-25 11:27:54 +02:00
2e7e653ffe GDB helpers: update to handle tagless nodes Pierre-Marie de Rodat 2019-07-25 10:35:36 +02:00
96b250c63b GDB helpers: store node names as names.Name instances Pierre-Marie de Rodat 2019-07-25 10:25:02 +02:00
d1f0a46ed4 Remove tags in bare nodes Pierre-Marie de Rodat 2019-07-24 16:59:03 +02:00
7b907a5b96 pkg_implementation_body_ada.mako: replace last access-to-tag conversions Pierre-Marie de Rodat 2019-07-24 16:58:04 +02:00
51a60ef7df Collection expressions: do not rely on tagged types for nodes Pierre-Marie de Rodat 2019-07-24 16:50:23 +02:00
1ef77f68f1 Do not use the dot notation to read abstract fields Pierre-Marie de Rodat 2019-07-24 16:46:32 +02:00
ba36d3d4b9 PLE: do not rely on tagged types for nodes Pierre-Marie de Rodat 2019-07-24 13:13:12 +02:00
62411ac734 Update docstring for PropertyDef.require_untyped_wrapper Pierre-Marie de Rodat 2019-07-24 12:53:02 +02:00
46458019e2 Untyped property wrappers: do not rely on tagged types for nodes Pierre-Marie de Rodat 2019-07-24 12:52:21 +02:00
7a07085166 Properties logging: do not rely on tagged types for nodes Pierre-Marie de Rodat 2019-07-24 12:10:04 +02:00
07c8e53a22 properties/new_astnode_ada.mako: do not rely on tagged types for nodes Pierre-Marie de Rodat 2019-07-24 11:41:30 +02:00
3f6016f067 Parsers: manually initialize all non-parse fields Pierre-Marie de Rodat 2019-07-24 11:29:39 +02:00
6cffae05d8 properties/def_ada.mako: do not rely on tagged types for nodes Pierre-Marie de Rodat 2019-07-24 10:14:37 +02:00
8961a4e257 Domain: do not rely on tagged types for nodes Pierre-Marie de Rodat 2019-07-23 17:31:19 +02:00
bdd591aed4 OrderingTest: convert input nodes to the root node type Pierre-Marie de Rodat 2019-07-23 17:24:12 +02:00

... 39 40 41 42 43 ...