Commit Graph

Select branches

Hide Pull Requests

adelaett-fix-nix-ci-by-removing-it

adelaett-invariant-typing-default

afromher_verification

afromher_z3arrays

aides_logement

alex_master

api_apl

better_error

c_backend

ci-test

clerkpy

coq_backend

crun

dates_slicing

debugging_log

fix-build

fix_543

fix_551

fix_555

fix_558

fix_linebreaks_latex

gadt2

icfp21

improve_assertion_failure

improve_trace_printing

input_context_subscopes

list_printing

master

non_incremental_parser

nothunk

protz_121

protz_hawaii

protz_wa_lfo

r_tuples

reci

us121

us83

vacances

vbot@lsp-tools

wip

#1

#100

#104

#11

#110

#111

#116

#117

#119

#12

#121

#122

#123

#124

#126

#127

#128

#129

#13

#131

#132

#133

#135

#137

#138

#139

#14

#142

#143

#146

#150

#154

#155

#158

#159

#160

#163

#164

#165

#168

#169

#171

#173

#175

#176

#177

#178

#18

#184

#185

#186

#187

#188

#189

#19

#196

#197

#2

#20

#200

#202

#205

#206

#21

#210

#212

#213

#215

#216

#217

#218

#22

#220

#221

#222

#223

#224

#225

#227

#228

#229

#23

#230

#232

#233

#234

#235

#236

#239

#242

#244

#246

#249

#25

#251

#252

#256

#258

#259

#26

#260

#261

#262

#263

#264

#265

#266

#267

#268

#27

#270

#271

#272

#275

#276

#278

#279

#280

#283

#284

#285

#286

#287

#288

#289

#291

#292

#294

#295

#296

#297

#298

#299

#3

#30

#300

#302

#303

#304

#305

#306

#312

#313

#314

#315

#318

#319

#32

#320

#321

#322

#323

#324

#325

#326

#327

#328

#329

#33

#331

#333

#334

#335

#336

#337

#338

#339

#34

#340

#341

#343

#346

#347

#348

#349

#351

#352

#353

#354

#355

#356

#358

#361

#363

#364

#365

#367

#368

#369

#370

#374

#376

#377

#380

#381

#383

#385

#386

#387

#388

#391

#395

#396

#397

#4

#400

#401

#403

#404

#406

#407

#408

#409

#412

#413

#414

#415

#416

#417

#418

#419

#42

#420

#421

#422

#423

#424

#425

#426

#427

#428

#429

#43

#430

#432

#433

#434

#436

#437

#438

#439

#44

#440

#441

#446

#447

#448

#45

#450

#453

#457

#460

#461

#462

#463

#464

#465

#467

#469

#470

#471

#472

#474

#475

#476

#477

#477

#478

#48

#480

#481

#483

#484

#487

#488

#489

#490

#491

#492

#493

#494

#495

#496

#497

#498

#499

#5

#500

#501

#502

#503

#505

#506

#507

#509

#510

#511

#512

#515

#518

#519

#520

#522

#523

#524

#525

#526

#527

#528

#530

#531

#532

#533

#535

#537

#538

#54

#541

#542

#544

#545

#546

#547

#550

#552

#553

#554

#556

#556

#557

#559

#56

#560

#561

#562

#564

#565

#566

#568

#569

#57

#570

#571

#572

#573

#575

#576

#577

#578

#580

#581

#582

#583

#584

#586

#587

#588

#593

#593

#594

#595

#597

#6

#601

#602

#603

#604

#605

#606

#607

#608

#610

#611

#614

#615

#617

#618

#62

#620

#621

#622

#624

#624

#625

#626

#627

#629

#63

#630

#631

#632

#633

#634

#635

#636

#637

#638

#639

#640

#641

#642

#643

#659

#660

#661

#662

#663

#664

#665

#666

#669

#67

#670

#671

#671

#68

#683

#684

#688

#69

#70

#71

#72

#73

#75

#76

#77

#8

#80

#82

#84

#91

#92

#93

0.10.0

0.2.0

0.3.0

0.5.0

0.6.0

0.7.0

0.8.0

0.9.0

Mono Color

• 1f2e8772c5
  Merge 990722993e into 42a6c43f20 Louis Gesbert 2024-09-13 16:33:47 +0000
• 990722993e C backend: WIP handling mixed const/non-const inits crun Louis Gesbert 2024-09-13 18:21:23 +0200
• 2e312c3814 C backend: fix a few priority and closure-env cast issues Louis Gesbert 2024-09-13 18:20:12 +0200
• c27f1c4007 C backend: all tests pass but modules Louis Gesbert 2024-09-13 12:22:10 +0200
• 313eff47a3 scalc translation: simplify local bindings implem Louis Gesbert 2024-09-13 12:19:45 +0200
• 22a16c2b8a C backend: better ensure consistent declarations and mallocs Louis Gesbert 2024-09-13 10:12:34 +0200
• ff18ee0267 Marvelous hack to handle lazy constant initialisation in C Louis Gesbert 2024-09-11 17:52:11 +0200
• e1b5e2cac6 Scalc printer: be explicit about inits Louis Gesbert 2024-09-11 16:27:26 +0200
• 42a6c43f20
  Add the possibility to override inputs of included files (#688) master vbot 2024-09-11 15:37:24 +0200
• 601dc80e3d
  Add the possibility to override inputs of included files vbot 2024-09-11 14:46:32 +0200
• d0bc112912 Properly link and use dates_calc into the C runtime, and use header files Louis Gesbert 2024-09-10 18:28:50 +0200
• 20c37495b5 Fix the date - duration operator to handle date rounding mode Louis Gesbert 2024-09-10 18:26:34 +0200
• 26077d60e1
  #683 follow-up (#684) Denis Merigoux 2024-09-10 14:59:24 +0200
• f1a134143d
  Syntax cheat-typo follow-up: add spacing vbot 2024-09-10 14:23:19 +0200
• 87d38d23d0
  Syntax cheat typo (#683) vbot 2024-09-10 14:19:24 +0200
• 6970b38c5f
  Fixes #680 Denis Merigoux 2024-09-10 10:55:03 +0200
• d3f4b58f2f Some more scalc/c/renaming tweaks Louis Gesbert 2024-09-06 18:08:42 +0200
• 77607ace25 Renaming: forbid use of x within <e> in let x = <e> in ... Louis Gesbert 2024-09-06 17:08:44 +0200
• 62d9270c95 We can keep scope idents capitalised in Python Louis Gesbert 2024-09-06 15:38:43 +0200
• 06937a0a78 One more fix for variable names in scalc Louis Gesbert 2024-09-06 14:28:02 +0200
• 2ef266681b Fix the application of naming rules on the scalc translation Louis Gesbert 2024-09-05 18:14:44 +0200
• 9c10e7f427 Scalc backends: inline arguments of enums Louis Gesbert 2024-09-05 16:56:18 +0200
• 6dad83e8bc Scalc translation: rework to avoid unneeded intermediate vars Louis Gesbert 2024-09-05 13:53:28 +0200
• e91bf3bab8 Renaming: use __N suffixes rather than just N Louis Gesbert 2024-09-05 14:22:26 +0200
• 0e220ba47c C runtime fixes Louis Gesbert 2024-09-04 18:40:39 +0200
• 316d171a6a
  Rename file Denis Merigoux 2024-09-05 14:04:21 +0200
• 26185c9ec1
  Fix #675 Denis Merigoux 2024-09-05 14:03:29 +0200
• 59d6103cd2 Cleanup commented code (in particular related to scalc SpecialOps) Louis Gesbert 2024-09-04 11:18:47 +0200
• 634de675a2 Fix a few remaining renaming glitches Louis Gesbert 2024-09-02 12:15:14 +0200
• 7747c994ec
  allow building for more systems (#665) Denis Merigoux 2024-09-03 12:17:06 +0200
• cb88cb07a1 Reformat Louis Gesbert 2024-08-30 15:58:52 +0200
• e97f2dd092 Fixes to renamings, scalc and C backend Louis Gesbert 2024-08-30 15:00:13 +0200
• 5088832d0b Update test references Louis Gesbert 2024-08-30 11:51:27 +0200
• 4c354d723f OCaml backend: only export public idents Louis Gesbert 2024-08-30 11:01:38 +0200
• 329fa6c9a4 Renaming: ensure stability of type idents as well Louis Gesbert 2024-08-30 10:56:42 +0200
• 69202b97a4 Forward visibility information on struct/enums Louis Gesbert 2024-08-29 17:01:30 +0200
• f2ac1e39cc Move struct_or_enum type to generic TypeIdent.t Louis Gesbert 2024-08-29 16:26:51 +0200
• 2d9b2edc9d Renaming: make renaming of public idents stable Louis Gesbert 2024-08-29 15:03:38 +0200
• 671ada52e7 Forward visibility information of scopes/topdefs in the ctx Louis Gesbert 2024-08-28 16:47:49 +0200
• 2f78d05174 Merge remote-tracking branch 'origin/master' into crun Louis Gesbert 2024-08-30 15:41:47 +0200
• b42be4ab57 Lcalc: enable correct renaming of idents when printing Louis Gesbert 2024-08-27 12:38:33 +0200
• 395d9b9d66 Printer: print the actual variables binding scopes, topdefs Louis Gesbert 2024-08-27 10:47:59 +0200
• a971260cab Closure conversion: restore non-transformation of higher order ops under a flag Louis Gesbert 2024-08-26 16:51:41 +0200
• 9450e3a3f7 Manpage improvements Louis Gesbert 2024-08-26 15:48:43 +0200
• 7819a0a855 Python backend: fix handling of operations that can raise Louis Gesbert 2024-08-26 15:44:00 +0200
• 4e5b47b5f3 Tweak the interpreter to transparently support closures as operator args Louis Gesbert 2024-08-23 12:21:33 +0200
• d3d7bf9921 Plugin loader: improve message on failed load Louis Gesbert 2024-08-23 15:01:21 +0200
• 7aefdb555f Closure conversion: discard special handling of fct ops Louis Gesbert 2024-08-23 14:45:56 +0200
• dd7b21bd20 Fix: avoid hard failure on position printing when file changed Louis Gesbert 2024-08-23 14:16:55 +0200
• da101ea612 Implement lifting of positions at the scalc level Louis Gesbert 2024-08-20 15:39:11 +0200
• 38a15e4677 C backend: workaround renaming of position idents Louis Gesbert 2024-08-09 18:35:52 +0200
• f69f87aaf7 Fix renaming of the Option enum constructors Louis Gesbert 2024-08-09 17:12:47 +0200
• 7def9a20f4 Merge commit origin/master into crun Louis Gesbert 2024-08-30 15:27:01 +0200
• 8e8b8827dd
  Cleanup nested matches (#669) Louis Gesbert 2024-08-30 13:50:56 +0200
• 35c862f906 Cleanup a bit the generation of the HandleExceptions operator Louis Gesbert 2024-08-27 13:24:07 +0200
• 3cbfa5f258 Generalise optimisation of nested matches Louis Gesbert 2024-08-27 16:56:38 +0200
• 78eaa16435
  Renaming idents, second stage: use proper renaming in scalc and Python (#666) Louis Gesbert 2024-08-28 20:39:33 +0200
• 8e91dcb281 Apply suggestions from code review Louis Gesbert 2024-08-28 14:09:02 +0200
• 9fa5f91e3a Python printer: add some parens to be safe Louis Gesbert 2024-08-09 11:10:47 +0200
• 5d61963a93 Reformat Louis Gesbert 2024-08-08 15:51:52 +0200
• e9abbf9bd8 Scalc change: switch only on variables Louis Gesbert 2024-08-08 15:06:03 +0200
• 14a378a33d Translation to scalc: fix renaming in blocks Louis Gesbert 2024-08-08 12:03:53 +0200
• f565e84dae Restore special handling of the option enum in scalc backends Louis Gesbert 2024-08-07 18:33:22 +0200
• 081e07378a Renaming: move to its own module Louis Gesbert 2024-08-07 18:03:10 +0200
• 1b6da0b572 reformat (renaming in scalc) Louis Gesbert 2024-08-07 17:44:39 +0200
• 1230f787d6 Renaming: use in the scalc translation and in Python Louis Gesbert 2024-08-07 17:43:14 +0200
• d23544de39 Apply suggestions from code review Louis Gesbert 2024-08-28 14:00:07 +0200
• 8b06511915 Renaming: more customisation Louis Gesbert 2024-08-06 16:41:52 +0200
• acc13867bf Fix: return module items in file order Louis Gesbert 2024-08-06 12:41:57 +0200
• dbfd05155b Fix: Expr.map was missing types in logs Louis Gesbert 2024-08-06 12:41:30 +0200
• b9156bb60e Implement safe renaming of idents for backend printing Louis Gesbert 2024-08-05 17:08:36 +0200
• e83103ecf7 Update and fix CI Louis Gesbert 2024-08-28 11:57:42 +0200
• 223d175c51 CI: fix for use of local opam switch ci-test Louis Gesbert 2024-08-28 14:53:20 +0200
• ed84772f9c Alpine again missed some package dependencies ? Louis Gesbert 2024-08-28 14:03:57 +0200
• a400cd8803
  Apply suggestions from code review Louis Gesbert 2024-08-28 14:00:07 +0200
• 787de00235 CI: add texlive-dvi to build the docs Louis Gesbert 2024-08-28 13:43:17 +0200
• e6a5480368 Testing CI update Louis Gesbert 2024-08-28 11:57:42 +0200
• 8405301632 Reformat Louis Gesbert 2024-08-09 12:24:34 +0200
• edb8db9ada Implement expansion of equality tests Louis Gesbert 2024-07-31 22:34:50 +0200
• f462202d9f
  Merge 48498ef466 into 1d7b63523e Denis Merigoux 2024-08-09 11:50:20 +0200
• 3f6d8bf358 Tweaks in scalc Louis Gesbert 2024-07-31 18:04:53 +0200
• 84651a33f2 C backend: now passing all array tests Louis Gesbert 2024-07-30 14:38:26 +0200
• 1fc0e920c6 C backend: mark const everything that can be Louis Gesbert 2024-07-17 17:53:35 +0200
• 1f739d6d89 C backend: Lift position declarations Louis Gesbert 2024-07-17 14:18:32 +0200
• efa0a52684 Optimisations: simplify default terms with no exceptions Louis Gesbert 2024-07-17 11:02:29 +0200
• 60a5d219bc C backend: do more initialisations at declaration Louis Gesbert 2024-07-16 18:54:55 +0200
• 7cd277e752 C backend: handle enums Louis Gesbert 2024-07-16 14:19:05 +0200
• 9bdd965fd7 C backend: cleanup static ITE, cleanup printer Louis Gesbert 2024-07-16 11:23:16 +0200
• 5d5e18b41b C backend: improve layout Louis Gesbert 2024-07-15 18:13:10 +0200
• 1f7712fa90 Add monomorphised Eq operator on booleans Louis Gesbert 2024-07-15 17:31:05 +0200
• 7f256f0bc9 C backend: more progress, fixed handling of closures Louis Gesbert 2024-07-15 17:19:46 +0200
• 34a8c6fe96 C backend: now tests/arithmetic/good/rounding.catala_en seems to run Louis Gesbert 2024-07-12 18:27:45 +0200
• 74ce54020a Disable polymorphic equality Louis Gesbert 2024-07-12 17:17:55 +0200
• bd7961b6e7 Some more work in progress for the C backend Louis Gesbert 2024-07-12 16:53:21 +0200
• e113702754 C runtime: it appears monomorphisation is not needed at this point Louis Gesbert 2024-07-12 11:15:15 +0200
• 62260f8246 WIP C runtime Louis Gesbert 2024-07-12 11:14:58 +0200
• 7fad2f84c4 C runtime: all these operators Louis Gesbert 2024-07-10 10:36:10 +0200
• cbda06e214 C runtime: dumber and faster allocator Louis Gesbert 2024-07-10 10:06:49 +0200
• 58234d1a6a WIP: completing the C runtime Louis Gesbert 2024-07-09 18:13:35 +0200
• 1d7b63523e
  Introduce modules in toml config (#663) Louis Gesbert 2024-08-08 14:44:12 +0200