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

89ee799c43 Make AbstractExpression hashable Pierre-Marie de Rodat 2020-05-11 16:20:05 +02:00
995b512bc9 lexer.char_set.CharSet: fix a typo (__le__ should be __lt__) Pierre-Marie de Rodat 2020-05-11 15:59:32 +02:00
37cc741f14 CompileCtx.exceptions_by_section: avoid None/str comparisons Pierre-Marie de Rodat 2020-05-11 14:55:11 +02:00
44851cc18c langkit.lexer.regexp: introduce deterministic ordering for NFAState Pierre-Marie de Rodat 2020-05-11 14:50:20 +02:00
68f701a518 stylechecks: update for Python3 Pierre-Marie de Rodat 2020-05-11 14:23:01 +02:00
f3e5e73c9e create-project.py: fix a Python3 syntax error Pierre-Marie de Rodat 2020-05-11 12:18:42 +02:00
ff5e8ff55b langkit.diagnostics: make Location hashable Pierre-Marie de Rodat 2020-05-11 12:13:28 +02:00
834b66f6fd OCaml bindings: fix a bug in types dependency tracking Pierre-Marie de Rodat 2020-05-14 16:54:06 +02:00
bb8f3a8ed4 contrib/python_parse_1: remove testcase Pierre-Marie de Rodat 2020-05-18 15:08:32 +02:00
1ec1e74f65 Fix new pyflakes diagnostics Pierre-Marie de Rodat 2020-05-18 12:33:35 +02:00
627e4094d0 RA22-015: Ensure error reporting without crashes in more cases Raphaël AMIARD 2020-03-23 13:19:16 +01:00
69ce8616cc RA22-015: Split array_list_methods test Raphaël AMIARD 2020-05-05 13:30:23 +02:00
6839c7ee7f RA22-015: Split traits test Raphaël AMIARD 2020-05-05 13:28:30 +02:00
4a9fb6c601 RA22-015: Split named_params test Raphaël AMIARD 2020-05-05 13:26:00 +02:00
29b405618a RA22-015: Split enum_subclasses test Raphaël AMIARD 2020-05-05 13:24:13 +02:00
d08895bfef RA22-015: Split mismatching_actuals test Raphaël AMIARD 2020-05-05 13:22:18 +02:00
031f2d13af RA22-015: Split bool_type & invalid dot call tests Raphaël AMIARD 2020-05-05 13:20:45 +02:00
54d7fd0977 RA22-015: Split lambda test Raphaël AMIARD 2020-05-05 13:15:22 +02:00
46ee197286 RA22-015: Split base_type_methods test Raphaël AMIARD 2020-05-05 13:10:27 +02:00
d73e297970 RA22-015: Split generic_fn_instantiation test Raphaël AMIARD 2020-05-05 13:07:49 +02:00
49c3ae377e RA22-015: Split implicit_instantiations_2 test Raphaël AMIARD 2020-05-05 12:58:52 +02:00
ad52a0283a RA22-015: Split basic_subtyping test Raphaël AMIARD 2020-05-05 12:53:30 +02:00
98747abae3 RA22-015: create custom driver for lkt_resolve tests Raphaël AMIARD 2020-05-05 12:43:57 +02:00
598ad81cd9 RA22-015: Move lkt_semantic test Raphaël AMIARD 2020-05-05 12:14:04 +02:00
5d81574d6a RA22-015: correct operations from base type test Raphaël AMIARD 2020-05-05 12:04:26 +02:00
278f149606 RA22-015: Add basic subtyping Raphaël AMIARD 2020-03-23 14:50:56 +01:00
eb1e70f1b6 RA22-015: remove dead branch in dsl_unparse Raphaël AMIARD 2020-03-23 10:41:26 +01:00
4e14e1f2b3 RA22-015: don't emit EnvAssoc Raphaël AMIARD 2020-03-23 10:41:05 +01:00
0abb525458 C API: fix signature of array method arguments in header Pierre-Marie de Rodat 2020-04-29 11:31:29 +02:00
d4d95d39c1 Python API: fix generation of __slots__ for single-field structs Pierre-Marie de Rodat 2020-04-27 15:43:59 +02:00
f352c7a361 Python API: do not dec_ref C array values when coming from struct fields Pierre-Marie de Rodat 2020-04-27 15:42:41 +02:00
69e5f782c4 C API: fix signature of array method arguments in header Pierre-Marie de Rodat 2020-04-27 15:39:11 +02:00
5980384f5a $.Iterators: fix an error in the package's code example Pierre-Marie de Rodat 2020-04-27 11:43:18 +02:00
693177648d lexical_envs/env_get_all: fix coding style Pierre-Marie de Rodat 2020-04-27 11:04:43 +02:00
0cae98331a RA22-015: fix initialization of Location from python backtraces Raphaël AMIARD 2020-04-24 10:53:27 +02:00
9c46364621 T421-021: Return foreign results in Env.get(*) Raphaël AMIARD 2020-04-22 14:34:26 +02:00
d586fa2209 Fix the computation of precise list element field types Pierre-Marie de Rodat 2020-04-22 15:11:37 +02:00
8f6f59b3db grammar/precise_types: new testcase Pierre-Marie de Rodat 2020-04-22 15:00:03 +02:00
937fec44e2 stylechecks: improve docstring handling a2c2-2020-stable Pierre-Marie de Rodat 2020-04-02 17:37:51 +02:00
f989c3ae3f Minor: remove useless main.py test file Raphaël AMIARD 2020-04-03 12:58:25 +02:00
b02ec40d0c T402-029: add test for enum checks Raphaël AMIARD 2020-04-03 12:55:47 +02:00
fc66aec04e T402-029: add test for enum in struct Raphaël AMIARD 2020-04-02 16:34:24 +02:00
30e044d774 T402-029: Emit Trace_Image for enum types Raphaël AMIARD 2020-04-01 15:32:45 +02:00
26560ed990 T402-029: Default values for enums. Raphaël AMIARD 2020-04-01 14:47:03 +02:00
5b7522edef T103-024: Fix bug in precise element types computation. Romain Beguet 2020-04-02 11:17:35 +02:00
c8ad67f598 Minor: remove useless main.py in testcase. Romain Beguet 2020-04-01 15:16:53 +02:00
7a09f9823f $.Implementation.Update_After_Reparse: fix invalid memory reads Pierre-Marie de Rodat 2020-03-30 11:56:30 +02:00
2c35d01191 Lexical env: fix a memory leak in Lexical_Env_Image Pierre-Marie de Rodat 2020-03-30 11:46:06 +02:00
bf9e45c98f lexical_envs/sorted_foreign: fix stdout mixup on Windows Pierre-Marie de Rodat 2020-03-30 11:31:48 +02:00
b2a77997db RA22-015: Add conflicting actuals check in instantiation inference Raphaël AMIARD 2020-03-27 11:44:40 +01:00
7c381c615a RA22-015: handle ref errors in CallExpr.check_correctness Raphaël AMIARD 2020-03-20 15:58:04 +01:00
3920f0de73 RA22-015: add iterator trait Raphaël AMIARD 2020-03-20 13:15:46 +01:00
b9ead6070e RA22-015: create scopes for lambda exprs Raphaël AMIARD 2020-03-20 15:31:09 +01:00
838a7edbca RA22-015: remove many assert_bare calls Raphaël AMIARD 2020-03-20 15:30:40 +01:00
0b8ce7b8a8 RA22-015: fix rel operators' typing Raphaël AMIARD 2020-03-20 15:30:12 +01:00
25ef86e25a RA22-015: dsl_unparse: filter_map -> filtermap Raphaël AMIARD 2020-03-20 14:05:48 +01:00
edf0317499 RA22-015: generic function call instantiation inference Raphaël AMIARD 2020-03-20 13:30:19 +01:00
cf608018df RA22-015: minor typo fix Raphaël AMIARD 2020-03-20 13:18:07 +01:00
6f642a7ee9 RA22-015: type ErrorOnNull and ParenExpr Raphaël AMIARD 2020-03-20 13:16:48 +01:00
27d75e1913 RA22-015: explicit instantiation of generic functions Raphaël AMIARD 2020-03-20 13:11:32 +01:00
a63bff0ee3 RA22-015: make BaseValDecl.get_type public Raphaël AMIARD 2020-03-20 13:08:54 +01:00
69dd2b385d RA22-015: make operations from base type available Raphaël AMIARD 2020-03-20 13:06:00 +01:00
7e4cf8766a RA22-015: update expr_type_impl's doc Raphaël AMIARD 2020-03-20 13:04:42 +01:00
65ac1b3e13 RA22-015: small adjustments to expr_type_impl Raphaël AMIARD 2020-03-20 12:57:27 +01:00
9a440714d4 RA22-015: add some comments Raphaël AMIARD 2020-03-20 12:56:10 +01:00
062f34bc90 RA22-015: lambda arguments type inference Raphaël AMIARD 2020-03-20 11:45:46 +01:00
8561825c06 RA22-015: correct LKNode.bool_type Raphaël AMIARD 2020-03-20 09:41:56 +01:00
d96e5258f7 RA22-015: rename String -> S Raphaël AMIARD 2020-03-20 11:49:48 +01:00
56b2a49b71 RA22-015: add NO_EXC_CACHING to contrib/lkt Raphaël AMIARD 2020-03-20 09:40:57 +01:00
5dab1571b2 RA22-015: cleanup syntax for casts and type checks Raphaël AMIARD 2020-03-19 16:10:00 +01:00
e5357ae48a RA22-015: cleanup method vs field emission Raphaël AMIARD 2020-03-19 08:58:54 +01:00
625534ad6e RA22-015: fix lkt_resolve to use the whole buffer Raphaël AMIARD 2020-03-20 09:48:23 +01:00
b62ea136b0 langkit.env: minor refactoring Pierre-Marie de Rodat 2020-03-24 16:43:05 +01:00
12ec472424 Keep foreign nodes sorted in lexical envs Pierre-Marie de Rodat 2020-03-24 15:08:07 +01:00
7844e643b5 Forbid foreign synthetic nodes in lexical envs Pierre-Marie de Rodat 2020-03-20 16:03:52 +01:00
6f1e3e58f0 Lkt: fix DotExpr.referenced_decl to propagate errors as SemanticResult Pierre-Marie de Rodat 2020-03-26 17:34:29 +01:00
9f54bd4f3e contrib/lkt_semantic: avoid name clashes Pierre-Marie de Rodat 2020-03-27 11:58:04 +01:00
7a5b31b524 langkit.vim: fix handling of quote escapes in string literals Pierre-Marie de Rodat 2020-03-26 12:33:48 +01:00
fe5bf0c995 RA22-015: Unparse comments inside property calls. Romain Beguet 2020-03-25 11:45:51 +01:00
fe8663a24c RA22-015: Unparse comments inside boolean binops. Romain Beguet 2020-03-25 11:43:57 +01:00
6b72a7d30c RA22-015: Remove double unparsing of expression. Romain Beguet 2020-03-25 11:38:42 +01:00
cc3f03ce60 Tutorial: add instructions to setenv the generated library Pierre-Marie de Rodat 2020-03-25 17:51:36 +01:00
a6062636a0 lexical_envs/dump_envs: add flushes for Windows Pierre-Marie de Rodat 2020-03-23 11:58:01 +01:00
3aa26ad4cf Lexical envs: fix a typo Pierre-Marie de Rodat 2020-03-20 15:06:30 +01:00
a33c0222c7 Bind the dump_lexical_env helper to the C/Python APIs Pierre-Marie de Rodat 2020-03-19 17:08:52 +01:00
639fdf57e6 T319-012: Fix invalid propagation of arg_expr in dsl_unparse. Romain Beguet 2020-03-19 11:10:23 +01:00
7c040956e2 RA22-015: Check correctness of function calls wrt. arity Raphaël AMIARD 2020-03-13 16:30:26 +01:00
092a3af16c RA22-015: Fix enum class subclasses scoping Raphaël AMIARD 2020-03-13 15:45:20 +01:00
3b0a7fe6f4 RA22-015: refactor static_match_params Raphaël AMIARD 2020-03-13 15:24:47 +01:00
124511a7c0 RA22-015: Resolve names of params in calls with named params Raphaël AMIARD 2020-03-13 15:32:30 +01:00
0f08978f7b RA22-015: pretty error messages in lkt_resolve.py Raphaël AMIARD 2020-03-13 15:23:29 +01:00
3450374bda RA22-015: add --check-only param to lkt_resolve.py Raphaël AMIARD 2020-03-13 15:22:31 +01:00
7b26d39f63 RA22-015: Reorganise value declarations Raphaël AMIARD 2020-03-13 15:06:10 +01:00
13e6398244 RA22-015: Use traits to share behavior in Array/ASTList Raphaël AMIARD 2020-03-11 18:13:44 +01:00
910a912e0a RA22-015: Test traits Raphaël AMIARD 2020-03-11 18:14:22 +01:00
ba6bed4225 RA22-015: Add traits Raphaël AMIARD 2020-03-11 18:07:16 +01:00
517c0fcca4 Update coverage buffers dumping code after recent GNATcoverage changes Pierre-Marie de Rodat 2020-03-17 15:28:03 +01:00
17d3c0a031 contrib/lkt_import: spawn subprocesses Pierre-Marie de Rodat 2020-03-17 10:50:31 +01:00
0d9ef993b8 Testsuite: define LKT_PATH in drivers rather than in testcases Pierre-Marie de Rodat 2020-03-16 17:17:01 +01:00
1455ee51fb Lkt: use the native OS path separator for LKT_PATH Pierre-Marie de Rodat 2020-03-16 16:29:04 +01:00

... 34 35 36 37 38 ...