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

a73e571ae0 Minor: Correct docstring Raphael Amiard 2016-06-29 17:11:37 +02:00
f49ac0a4df OA27-034: Add Predicate_1/2 for convenience Raphael Amiard 2016-06-29 17:07:59 +02:00
7f2895b84e OA27-034: Add N_Predicate. Raphael Amiard 2016-06-29 12:31:54 +02:00
10d9434b95 compile_context.py: fix a typo Pierre-Marie de Rodat 2016-07-13 10:04:10 +02:00
920c3d5b7e Libmanage.py: fix setenv for Cygwin setups Pierre-Marie de Rodat 2016-07-06 11:33:09 +02:00
b8f4280640 ASTNode: minor error message formatting adjustment Pierre-Marie de Rodat 2016-06-30 12:00:41 +02:00
d723f581e3 Make the diagnostic_context method available in AbstractNodeData Pierre-Marie de Rodat 2016-06-30 12:05:03 +02:00
4a3337fa49 utils.common_ancestor: consider only first parents Pierre-Marie de Rodat 2016-06-30 12:28:30 +02:00
e7646601cf StructMetaclass: make error message for Struct properties more localized Pierre-Marie de Rodat 2016-06-30 11:28:45 +02:00
2bc95c4908 Remove ASTNode and Struct from holders in StructMetaclass Pierre-Marie de Rodat 2016-06-29 17:09:50 +02:00
e2903496ab StructMetaclass: another try at refactoring the inheritance check Pierre-Marie de Rodat 2016-06-29 17:02:33 +02:00
668a202f14 Inline and remove StructMetaclass.extract_dct_fields Pierre-Marie de Rodat 2016-06-29 15:27:36 +02:00
9730d24fbe Further simplify AbstractNode filtering in dicts Pierre-Marie de Rodat 2016-06-29 15:19:38 +02:00
fbbd6d692e Make code generation agnostic to AST node children indexes Pierre-Marie de Rodat 2016-06-29 15:14:04 +02:00
7d8d0ac1a3 CompileContext: replace bind_env_hook with a constructor argument Pierre-Marie de Rodat 2016-06-29 14:52:41 +02:00
ffd099105a Automatically add source files in extensions/src to the generated lib Pierre-Marie de Rodat 2016-06-29 14:46:19 +02:00
d298f481c7 diagnostics: remove context and replace all uses with Context Pierre-Marie de Rodat 2016-06-29 10:32:07 +02:00
24c2fbc4cc Merge types for Array_Utils arrays and expression DSL base array types Pierre-Marie de Rodat 2016-06-29 10:26:40 +02:00
343d759dba Fix comment about indexes handling in code generation Pierre-Marie de Rodat 2016-06-29 10:25:03 +02:00
8b023d7345 Langkit_Support.Bump_Ptr.Vectors: fix statistical facts in comments Pierre-Marie de Rodat 2016-06-29 10:15:27 +02:00
6c99a0b2a8 EmptyArray: add designator in generated code Pierre-Marie de Rodat 2016-06-29 10:11:24 +02:00
83f6149384 astnode_type_ada.mako: add a comment to make IN OUT passing explicit Pierre-Marie de Rodat 2016-06-29 10:08:28 +02:00
9feb02f856 Fix a typo in docstring Pierre-Marie de Rodat 2016-06-29 10:02:34 +02:00
e01e281843 Refine docstring wording for context ref-counting primitives Pierre-Marie de Rodat 2016-06-29 10:00:59 +02:00
be957ef1c8 Handle locations for grammars spanning over multiple source files Pierre-Marie de Rodat 2016-07-01 17:54:19 +02:00
56827d56c1 OA28-063: Equations allow null Raphael Amiard 2016-06-29 17:18:17 +02:00
0e0dfe2180 OA28-063: Disallow No expr on array types Raphael Amiard 2016-06-29 12:37:25 +02:00
175dd036c7 Minor: remove useless pragma Raphael Amiard 2016-06-29 12:20:29 +02:00
5f68e8d7ee Minor: style fix in test Raphael Amiard 2016-06-21 12:35:48 +02:00
98b380c9cf OA28-063: Only allow No expr on some types Raphael Amiard 2016-06-29 11:22:21 +02:00
67dc0cec50 OA27-034: Base Dyn_Predicate on Predicate. Raphael Amiard 2016-06-29 11:02:13 +02:00
391886b109 OA28-063: Create temps for No expressions with ptr types Raphael Amiard 2016-06-28 13:01:01 +02:00
334eb31c71 OA27-034: Add test for deferred predicates Raphael Amiard 2016-06-28 11:54:51 +02:00
d50a1efb06 OA27-034: Add support for deferred predicates on logic variables Raphael Amiard 2016-06-27 15:12:13 +02:00
8f4df6432d OA27-034: Add Elements primitive to Cheap_Sets Raphael Amiard 2016-06-27 13:23:39 +02:00
5f299cc6e8 OA27-034: Add test for Cheap_Sets Raphael Amiard 2016-06-27 12:51:42 +02:00
fac1e2e7b1 OA27-034: Add Langkit_Support.Cheap_Sets Raphael Amiard 2016-06-27 12:51:30 +02:00
d02a7f2bfc P627-009: Add testsuite driver for langkit_support Raphael Amiard 2016-06-27 12:33:32 +02:00
0dc8ddf9b5 OA27-034: Add LogicTrue/LogicFalse to the logic DSL Raphael Amiard 2016-06-24 14:20:36 +02:00
07544d5282 OA28-063: Refine error msg for abstract props w. runtime check Raphael Amiard 2016-06-24 14:20:03 +02:00
51a8af547f OA28-063: Allow unreferenced arguments in properties Raphael Amiard 2016-06-24 14:19:10 +02:00
4bfbe37736 OA28-063: Cast node type when necessary in logic eq Raphael Amiard 2016-06-23 12:37:43 +02:00
b3c4ed89ed OA28-063: Allow defered types in IsA expression Raphael Amiard 2016-06-23 11:50:21 +02:00
20291b6ac3 P303-009: assert -> check_source_language Raphael Amiard 2016-06-23 11:46:49 +02:00
bee3c57e71 OA28-063: Fix bug in logic vars equality Raphael Amiard 2016-06-23 11:46:22 +02:00
5e4a2225ee OA28-063: Correct bug in Let expression. Raphael Amiard 2016-06-23 11:45:22 +02:00
e9723af497 OA28-063: Add exists expression Raphael Amiard 2016-06-23 11:44:41 +02:00
85d509cb15 OA27-034: Correct bug in cast_or_raise Raphael Amiard 2016-06-21 16:23:34 +02:00
33e2478284 Minor: remove type annotations in If expr Raphael Amiard 2016-06-21 12:29:46 +02:00
123fba9463 Minor: Enhance docstring Raphael Amiard 2016-06-20 17:58:02 +02:00
5551dde03e OA28-063: Make IsNull expr work on any type with nullexpr Raphael Amiard 2016-06-20 17:57:39 +02:00
6620de9944 Minor: Remove unused import Raphael Amiard 2016-06-20 17:56:39 +02:00
3e5aa670fe OA28-063: Make No expr work on any type with a nullexpr Raphael Amiard 2016-06-20 17:55:41 +02:00
bb1947c3ae OA28-063: Correct Struct.nullexpr, return a str Raphael Amiard 2016-06-20 17:55:10 +02:00
251ebea519 Minor: Correct exception msg in EquationType Raphael Amiard 2016-06-20 17:54:34 +02:00
c6d0f6c261 OA28-063: Make EquationType a ptr type as should be Raphael Amiard 2016-06-20 17:54:19 +02:00
e211df024f OA28-063: Add an _exposed flag to CompiledType Raphael Amiard 2016-06-20 17:52:40 +02:00
f0e85508c0 O413-018: Make Relation.Inc_Ref null safe Raphael Amiard 2016-06-20 17:47:27 +02:00
6a9954efa7 O413-018: Add LogicAnd/LogicOr operations Raphael Amiard 2016-06-17 15:45:32 +02:00
9b01472b2b O413-018: Change first index of Relation_Array Raphael Amiard 2016-06-17 15:45:01 +02:00
aee6383ac3 O413-018: Adalog - Add test for variadics Raphael Amiard 2016-06-17 15:05:02 +02:00
9c7a0c83a7 O413-018: Adalog - Correct bug in variadics Raphael Amiard 2016-06-17 15:04:48 +02:00
017d67c129 Make Get for lexical environments bounds agnostic Pierre-Marie de Rodat 2016-06-28 16:46:38 +02:00
229ff60739 StructMetaClass: rename into StructMetaclass (casing) Pierre-Marie de Rodat 2016-06-28 16:33:08 +02:00
202895d8e3 StructMetaClass: simplify fields processing Pierre-Marie de Rodat 2016-06-28 15:58:16 +02:00
d7b3544a0d NodeMacro: create a class method to refactor StructMetaClass.__new__ Pierre-Marie de Rodat 2016-06-28 15:38:55 +02:00
c4bdbb168f StructMetaClass: spring reorganization! Pierre-Marie de Rodat 2016-06-28 13:15:46 +02:00
074559c575 Add a testcase for env_spec rejection on Struct subclasses Pierre-Marie de Rodat 2016-06-28 13:02:11 +02:00
23d6022962 StructMetaClass: reject env_spec on Struct subclasses Pierre-Marie de Rodat 2016-06-28 13:02:11 +02:00
4c2236a80e StructMetaClass: clarify error messages for inheritance checks Pierre-Marie de Rodat 2016-06-28 12:36:49 +02:00
8b96788be8 StructMetaClass: cleanup ASTNode and Struct handling Pierre-Marie de Rodat 2016-06-28 12:27:41 +02:00
4a381c1966 StructMetaClass: clarify and complete inheritance checks description Pierre-Marie de Rodat 2016-06-28 12:21:31 +02:00
9ac0bff9f6 Minor additions to fix PyCharm warnings Pierre-Marie de Rodat 2016-06-27 17:24:56 +02:00
0a798e4fd2 Move StructMetaClass.fields_dict to AbstractNodeData Pierre-Marie de Rodat 2016-06-27 17:09:05 +02:00
d02280f485 Add a testcase to check that Struct inheritance is rejected Pierre-Marie de Rodat 2016-06-27 13:11:46 +02:00
25427ba952 StructMetaClass: provide diagnostic context for source language checks Pierre-Marie de Rodat 2016-06-27 13:10:04 +02:00
ff25cc1c3d diagnostics: add a Context class for reusable context managers Pierre-Marie de Rodat 2016-06-27 13:16:44 +02:00
62465137dc Fix a typo in error message Pierre-Marie de Rodat 2016-06-27 13:09:28 +02:00
1d495eac79 Make it easy to use Array_Utils package instances in code generation Pierre-Marie de Rodat 2016-06-23 16:22:19 +02:00
382a5e025b Switch arrays of diagnostics to 1-based indexes in Ada APIs... Pierre-Marie de Rodat 2016-06-23 16:14:44 +02:00
4718531b0b Switch all Ada sequences to 1-based indexes... Pierre-Marie de Rodat 2016-06-23 15:22:43 +02:00
1ffc7327a9 Langkit_Support.Bump_Ptr.Vectors: add First/Last_Index primitives Pierre-Marie de Rodat 2016-06-23 15:08:36 +02:00
ab86008f27 Make code generation Array_Utils bounds agnostic Pierre-Marie de Rodat 2016-06-23 12:35:12 +02:00
af60070e26 Make code generation Token_Index bounds agnostic Pierre-Marie de Rodat 2016-06-23 12:06:55 +02:00
fec1745ab1 Remove magical token index constants in the parsers templates Pierre-Marie de Rodat 2016-06-23 16:08:10 +02:00
8c01da551c Make Langkit_Support.Token_Data_Handlers code index-agnostic Pierre-Marie de Rodat 2016-06-23 11:54:45 +02:00
84878d24fc Make Langkit_Support.Bump_Ptr.Vectors code index-agnostic Pierre-Marie de Rodat 2016-06-23 11:32:56 +02:00
1921a67936 Langkit_Support.Bump_Ptr.Vectors: remove unused item in chunks Pierre-Marie de Rodat 2016-06-23 11:06:38 +02:00
24c5045efa Make Langkit_Support.Vectors code index-agnostic Pierre-Marie de Rodat 2016-06-23 10:11:09 +02:00
41024f8004 Properties: add an empty array literal expression Pierre-Marie de Rodat 2016-06-22 16:11:26 +02:00
d30e4901e6 Properties: add a missing inc-ref in code generation for Then exprs. Pierre-Marie de Rodat 2016-06-22 14:31:30 +02:00
a4553522e2 AST: Move Children_Env and Node_Env to the public API Pierre-Marie de Rodat 2016-06-20 17:53:46 +02:00
072160f87e Extend the environment hook so that it can alter initial_env Pierre-Marie de Rodat 2016-06-20 12:55:17 +02:00
6cc8bd8fbc Properties: make .resolve_unique raise a Property_Error on empty results Pierre-Marie de Rodat 2016-06-20 15:53:53 +02:00
98291b0176 Langkit_Support.Relative_Get: accept unconstrained sequence types Pierre-Marie de Rodat 2016-06-20 15:52:54 +02:00
b5921d26f0 Analysis: avoid infinite Populate_Lexical_Env recursions Pierre-Marie de Rodat 2016-06-20 10:42:18 +02:00
6e2ca35572 Add a testcase for the use of unbound env hook Pierre-Marie de Rodat 2016-06-17 16:15:01 +02:00
4e21b24c55 Add a user friendly error message for the use of unbound env hook Pierre-Marie de Rodat 2016-06-17 16:13:14 +02:00
7fa5aa5987 Add language spec location information to CompiledTypes Pierre-Marie de Rodat 2016-06-17 16:13:14 +02:00
aa4fcf58ae Adalog: fix minor compilation warnings Pierre-Marie de Rodat 2016-06-17 15:25:04 +02:00

... 90 91 92 93 94 ...