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

183a07e30b Add a testcase for Env usage validity checking wrt. implicit envs Pierre-Marie de Rodat 2016-12-01 12:05:53 +01:00
16e88df25e Expressions: check that property calls are valid wrt. implicit envs Pierre-Marie de Rodat 2016-12-01 11:57:58 +01:00
043f27960a Associate a custom __repr__ method to env_get in abstract expressions Pierre-Marie de Rodat 2016-12-01 11:41:08 +01:00
0bfb7d9f27 Associate a custom __repr__ method to eval_in_env abstract expressions Pierre-Marie de Rodat 2016-12-01 11:29:10 +01:00
f6127bebdb auto_attr_custom: make it possible to provide a custom __repr__ method Pierre-Marie de Rodat 2016-12-01 11:26:00 +01:00
77429582e9 Testsuite: add an option to disable Langkit_Support/Adalog auto builds Pierre-Marie de Rodat 2016-12-01 10:47:06 +01:00
13c7372823 Expressions: check that Env is currently bound when resolving it Pierre-Marie de Rodat 2016-12-01 10:31:17 +01:00
624423d88e Add a testcase for has_implicit_env consistency checks Pierre-Marie de Rodat 2016-12-01 10:49:02 +01:00
7577d65738 Introduce the has_implicit_env property attribute Pierre-Marie de Rodat 2016-12-01 09:48:49 +01:00
ad167436e3 Polyfill: propagate changes from Libadalang Pierre-Marie de Rodat 2016-12-01 10:41:35 +01:00
3b0be9994e Polyfill: propagate changes from Libadalang Pierre-Marie de Rodat 2016-12-01 10:40:38 +01:00
17ed2d6729 P506-012: Simplify env code Raphael Amiard 2016-12-01 15:53:39 +01:00
180dce01c5 Minor: boxes and comments Raphael Amiard 2016-12-01 15:34:06 +01:00
755edae6b9 P506-012: Do_Env_Actions -> Pre_Env_Actions Raphael Amiard 2016-12-01 15:05:55 +01:00
0ae9c1ba79 Minor: Template reindent Raphael Amiard 2016-12-01 15:01:21 +01:00
ede4cc27c6 P506-012: Simplify env actions Raphael Amiard 2016-12-01 13:37:45 +01:00
77b4741636 P506-012: Remove obsolete in-out Current_Env and associated comment Raphael Amiard 2016-12-01 13:24:13 +01:00
caf86b1da8 Minor: correct indentation in template Raphael Amiard 2016-12-01 12:30:29 +01:00
dae04d67e5 P506-012: Add comment sections in do_env_actions Raphael Amiard 2016-12-01 11:21:20 +01:00
dfd4b2dbab P506-012: Second part of dynamic env links Raphael Amiard 2016-12-01 11:20:51 +01:00
7230eb9793 Testsuite: (hopefully) ultimate GNATpython/polyfill import fix Pierre-Marie de Rodat 2016-12-01 10:07:14 +01:00
28623d7984 Python API: add an extension point for exception classes Pierre-Marie de Rodat 2016-11-30 13:54:10 +01:00
67d1ff3286 Testsuite: fix gnatpython/polyfill imports to be the same Pierre-Marie de Rodat 2016-11-30 11:30:48 +01:00
74f2a27dbe PB28-031: Correct python API Raphael Amiard 2016-11-29 11:45:36 +01:00
9c430845a6 P506-012: First part of dynamic env links. Raphael Amiard 2016-11-29 11:01:06 +01:00
b56fdb91ef Minor: Better reporting when building deps in testsuite Raphael Amiard 2016-11-29 11:34:55 +01:00
db0d54795b P506-012: Simplify Env.group Raphael Amiard 2016-11-28 18:18:07 +01:00
423e8a6a97 P506-012: Env.get transitively explores refd envs Raphael Amiard 2016-11-28 18:17:28 +01:00
fc18b038d6 PB25-014: Remove Inline_Always Raphael Amiard 2016-11-25 18:21:23 +01:00
55ff64dbb2 Bind AnalysisContext.get_from_provider in the Python API Pierre-Marie de Rodat 2016-11-25 18:21:44 +01:00
50c813b7e7 Partially bind the unit file provider machinery to the Python API Pierre-Marie de Rodat 2016-11-25 18:20:36 +01:00
a4556e1dfe Minor reformatting Pierre-Marie de Rodat 2016-11-25 18:19:18 +01:00
c4a4f77e3d Make Unit_File_Provider_Interface a limited interface Pierre-Marie de Rodat 2016-11-24 18:15:13 +01:00
a83e25fbab Introduce extension points for unit file providers in C API Pierre-Marie de Rodat 2016-11-24 18:05:47 +01:00
63ce73aa0d Let Langkit users provide documentation for their own entities Pierre-Marie de Rodat 2016-11-24 18:03:47 +01:00
133c70b734 Make Make templates for documentation local to the compile context Pierre-Marie de Rodat 2016-11-24 17:57:25 +01:00
b89e32b679 C API: bind Analysis_Unit.Get_Unit_From_Provider Pierre-Marie de Rodat 2016-11-24 15:17:09 +01:00
8777a93662 Ada API: add an analysis unit primitive to get an unit from unit name Pierre-Marie de Rodat 2016-11-24 12:37:51 +01:00
648f66f0f8 Enhance error message when source file cannot be open Pierre-Marie de Rodat 2016-11-24 11:53:41 +01:00
b117a725b8 Extend the Unit_File_Providers interface to handle unit body/specs Pierre-Marie de Rodat 2016-11-23 16:46:35 +01:00
3b2f0fd276 Unit_File_Providers: add a Get_File primitive that takes a Text name Pierre-Marie de Rodat 2016-11-23 16:03:07 +01:00
bc96466659 C API/unit file providers: rename get_file to get_file_from_node Pierre-Marie de Rodat 2016-11-22 16:34:21 +01:00
dc1789ce73 PB22-019: Allow Tok parser to match specific text Raphael Amiard 2016-11-22 12:12:00 +01:00
26be47218c Minor - parsers: update doc and type annotation Raphael Amiard 2016-11-22 11:21:02 +01:00
84379123c5 PB21-018: Allow covariance in list parser Raphael Amiard 2016-11-21 17:42:16 +01:00
2ea4ec8054 PB21-018 - node print: Don't crash on tokens with no text Raphael Amiard 2016-11-21 13:30:26 +01:00
8bf957b6b0 Minor: style and doc in utils.py Raphael Amiard 2016-11-20 15:53:08 +01:00
218c8eb408 Add unit file providers bindings to the C API Pierre-Marie de Rodat 2016-11-17 17:07:43 +01:00
46ca461b0d Add a machinery so that users can provide custom unit to files mappings Pierre-Marie de Rodat 2016-11-16 17:46:30 +01:00
016a029127 PB16-035: Add test for invalid bind Raphael Amiard 2016-11-17 15:00:03 +01:00
d1685cca2f PB03-023 - Adalog: Use custom equal for Unify_LR Raphael Amiard 2016-11-16 18:28:13 +01:00
3f6524a7fd P303-009 - reset_langkit: Correctly reset T TypeRepo Raphael Amiard 2016-11-16 16:07:59 +01:00
e348be0379 O413-018: Don't always eval Traces with complex expressions Raphael Amiard 2016-11-16 16:06:57 +01:00
f0158baad9 PB03-023: Remove support for == between logic vars Raphael Amiard 2016-11-16 13:02:49 +01:00
93b315d40b PB16-035: Add custom equality option to logic Bind Raphael Amiard 2016-11-16 12:59:49 +01:00
222c2012aa create-project.py: update root_grammar_class call after recent changes Pierre-Marie de Rodat 2016-11-16 14:11:07 +01:00
db1aec252f Make AST node dumpers do dispatching calls to Kind_Name Pierre-Marie de Rodat 2016-11-16 13:12:19 +01:00
b1e33e671a Polyfill: propagate changes from Libadalang Pierre-Marie de Rodat 2016-11-16 12:17:47 +01:00
5239f9aae8 Polyfill: propagate changes from Libadalang Pierre-Marie de Rodat 2016-11-16 11:59:17 +01:00
cec234b6a6 Parsers: fix Transform code gen to properly produce ghost AST nodes Pierre-Marie de Rodat 2016-11-15 09:58:20 +01:00
3a90371399 Fix root AST node's token_start/end fields documentation for ghost nodes Pierre-Marie de Rodat 2016-11-14 18:33:33 +01:00
c49ccf2ef9 Python API: add comparison and hashing functions to Sloc and SlocRange Pierre-Marie de Rodat 2016-11-14 15:39:59 +01:00
3e140ce802 interactive main: add sloc lookup handling to file processing mode Pierre-Marie de Rodat 2016-11-14 15:39:50 +01:00
e7496347ae Langkit_Support.Slocs: reformat and document Compare's implem. a bit Pierre-Marie de Rodat 2016-11-15 10:16:42 +01:00
ccad19a484 Langkit_Support.Slocs: use self-explaining formal names in Compare Pierre-Marie de Rodat 2016-11-14 13:14:27 +01:00
7c810579d9 Add a testcase to check that List parsers reject non-AST node subparsers Pierre-Marie de Rodat 2016-11-10 13:47:03 +01:00
ed35ad6560 Parsers: forbid lists of anything else than AST node Pierre-Marie de Rodat 2016-11-10 13:46:14 +01:00
460e40635e Move CompiledType.list_type to ASTNode Pierre-Marie de Rodat 2016-11-10 13:35:10 +01:00
01dfc8fd3b Update testcases so that they don't rely on parsers for lists of tokens Pierre-Marie de Rodat 2016-11-10 13:47:43 +01:00
a5e73be3de Testsuite: update root_grammar_class uses for generic list type addition Pierre-Marie de Rodat 2016-11-10 13:34:07 +01:00
928740a68d Minor: fix style Raphael Amiard 2016-11-10 11:11:01 +01:00
e25fc9e153 PB03-023: Fix adalog tests Raphael Amiard 2016-11-10 10:55:50 +01:00
659e452a7d Revamp the AST debug dumpers Pierre-Marie de Rodat 2016-11-09 17:29:55 +01:00
ed64967509 Ada list templates: remove an useless access type declaration Pierre-Marie de Rodat 2016-11-09 16:39:57 +01:00
df6266b80d First attempt at removing manual str interpolation for value type name Pierre-Marie de Rodat 2016-11-09 16:36:41 +01:00
42c175137b Harmonize list type names between the DSL and the generated library Pierre-Marie de Rodat 2016-11-09 16:22:58 +01:00
2ed140daeb Remove an obsolete (and wrong) comment Pierre-Marie de Rodat 2016-11-09 16:07:41 +01:00
096fd7df0a Make it possible for root list types to be abstract Pierre-Marie de Rodat 2016-11-09 16:00:42 +01:00
8a143f6a67 Minor reformatting Pierre-Marie de Rodat 2016-11-09 14:58:27 +01:00
99ec4c4323 Introduce an abstract AST node derived type for all AST lists Pierre-Marie de Rodat 2016-11-09 14:57:30 +01:00
b158073248 Remove the legacy $_List AST node kind Pierre-Marie de Rodat 2016-11-09 11:30:22 +01:00
248019c433 PB03-023: Allowing conv_prop to be null in bind generation Raphael Amiard 2016-11-09 12:43:21 +01:00
fdf209435b PB03-023: Decouple logic binder and converter generation Raphael Amiard 2016-11-03 18:03:33 +01:00
177b27e44b PB03-023: Bind instantiates full unify Raphael Amiard 2016-11-03 17:42:51 +01:00
1b64a78fab PB03-023: Introduce PropertyDef.uid and use it for binder identity Raphael Amiard 2016-11-03 17:43:49 +01:00
b161998064 PB03-023: Move generation of logic binders on the context Raphael Amiard 2016-11-09 12:42:01 +01:00
05dda976bc PB03-023: Generalize bind behavior Raphael Amiard 2016-11-03 13:35:59 +01:00
4f4578ea6b PB03-023: Adalog - allow general custom unify with convert Raphael Amiard 2016-11-03 13:02:23 +01:00
f6f5f9de6d Minor: remove erroneous assert Raphael Amiard 2016-11-08 19:05:49 +01:00
0acda03b53 PB08-014: Opt uses Pick rt. Row when passed several parsers Raphael Amiard 2016-11-08 19:05:38 +01:00
7b31a3559e PB08-014: List parser can take a list of sub-parsers Raphael Amiard 2016-11-08 19:04:11 +01:00
bda57df5da PB08-014: Add Pick utility parser Raphael Amiard 2016-11-08 19:01:18 +01:00
8372a01b2c PB08-014: Shorter parsing forms based on node instantiations. Raphael Amiard 2016-11-08 14:59:02 +01:00
9a29c85097 Allow users to subclass ASTNode.list_type() Pierre-Marie de Rodat 2016-11-08 14:05:09 +01:00
bb3e04e624 Parsers templates: disable warnings for unreferenced Bump_Ptr instances Pierre-Marie de Rodat 2016-11-08 14:00:09 +01:00
f222babdfa Use specific kinds for AST lists in the Python API Pierre-Marie de Rodat 2016-11-08 13:38:40 +01:00
f60313f3ed Transform parser: ignore Tok inputs with keep=False Pierre-Marie de Rodat 2016-11-08 10:21:39 +01:00
0d3d841ba8 Transform parser: add more consistency checks for input fields Pierre-Marie de Rodat 2016-11-08 10:07:39 +01:00
856fc8fd8b Transform parser: reject List inputs Pierre-Marie de Rodat 2016-11-08 10:07:39 +01:00
836e43d5f8 Automatically make the root grammar type abstract Pierre-Marie de Rodat 2016-11-08 10:30:55 +01:00

... 87 88 89 90 91 ...