Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 1, 2023

• no more camlp5

  gares

  committed
  c58068e

  Copy full SHA for c58068e

Commits on Feb 28, 2023

• fix CHR trace

  gares

  committed
  70ff355

  Copy full SHA for 70ff355

Commits on Oct 19, 2022

• update doc version automatically

  gares

  committed
  499dd1a

  Copy full SHA for 499dd1a

Commits on Oct 18, 2022

• disable jekyll

  gares

  committed
  e047502

  Copy full SHA for e047502

• wip

  gares

  committed
  292c66a

  Copy full SHA for 292c66a

• make: keep doc sources for debugging

  gares

  committed
  44ebbe7

  Copy full SHA for 44ebbe7

• fix

  gares

  committed
  7b93630

  Copy full SHA for 7b93630

• Update Makefile

  gares

  committed
  7ab6cb3

  Copy full SHA for 7ab6cb3

• wip

  gares

  committed
  7cb5f17

  Copy full SHA for 7cb5f17

• Revert release rule.

  

  jwintz

  authored and

  gares

  committed
  63e20b4

  Copy full SHA for 63e20b4

• Add doc publish dep to release target.

  

  jwintz

  authored and

  gares

  committed
  d1dbbb4

  Copy full SHA for d1dbbb4

• - Apply elpi syntax highlighting

  Show description for 66a6f5f
  

  jwintz

  authored and

  gares

  committed
  66a6f5f

  Copy full SHA for 66a6f5f

• Working naive revision.

  

  jwintz

  authored and

  gares

  committed
  170a524

  Copy full SHA for 170a524

• Naive injection point prepared.

  

  jwintz

  authored and

  gares

  committed
  0564f59

  Copy full SHA for 0564f59

• Initial branch revision.

  

  jwintz

  authored and

  gares

  committed
  cfc9ae8

  Copy full SHA for cfc9ae8

Commits on Jun 24, 2022

• make release

  Show description for 66b0a6c
  gares

  committed
  66b0a6c

  Copy full SHA for 66b0a6c

Commits on Jun 2, 2022

• trace elaborator

  gares

  committed
  d79ec45

  Copy full SHA for d79ec45

Commits on Apr 18, 2022

• close changelog

  gares

  committed
  1791d7a

  Copy full SHA for 1791d7a

• [build] disable legacy_parser by default, see make config

  gares

  committed
  a630a03

  Copy full SHA for a630a03

• makefile: fix camlp5 detection

  gares

  committed
  2e6f460

  Copy full SHA for 2e6f460

Commits on Mar 29, 2022

• [make] print when legacy parser is off

  gares

  committed
  d4e08ed

  Copy full SHA for d4e08ed

• new lexer & parser

  gares

  committed
  efd5826

  Copy full SHA for efd5826

Commits on Mar 22, 2022

• [test] add SKIP variable

  gares

  committed
  c581d2f

  Copy full SHA for c581d2f

Commits on Dec 30, 2021

• [multicore] camlp5 parsing requires a lot more stack size

  gares

  committed
  8445fa0

  Copy full SHA for 8445fa0

Commits on Nov 26, 2021

• Merge tag 'v1.13.8'

  gares

  committed
  27fc35a

  Copy full SHA for 27fc35a

• make plugin loadable via findlib

  gares

  committed
  a63bdc0

  Copy full SHA for a63bdc0

Commits on Sep 2, 2021

• remove dead code in Make

  gares

  committed
  5f15507

  Copy full SHA for 5f15507

Commits on May 1, 2021

• remove ppxfindcache, requires ppx but works with migrate-pt 2.x

  gares

  committed
  709e3d9

  Copy full SHA for 709e3d9

Commits on Feb 9, 2021

• [ci] move to gh actions

  gares

  committed
  17a9eca

  Copy full SHA for 17a9eca

Commits on Sep 7, 2020

• Remove .install file hack

  Show description for d551495
  rgrinberg

  committed
  d551495

  Copy full SHA for d551495

Commits on Aug 21, 2020

• make: use /usr/bin/env bash rather than /bin/bash

  gares

  committed
  ca13a49

  Copy full SHA for ca13a49

Commits on May 5, 2020

• fix opam / dune-release

  gares

  committed
  f4182f4

  Copy full SHA for f4182f4

Commits on May 3, 2020

• backport makefile fix

  gares

  committed
  3d538e4

  Copy full SHA for 3d538e4

Commits on Apr 10, 2020

• port trace to trace ppxlib

  gares

  committed
  ee91df1

  Copy full SHA for ee91df1

Commits on Apr 6, 2020

• minimal deps: take re and ditch ppx_deriving.runtime

  Show description for fc98292
  gares

  committed
  fc98292

  Copy full SHA for fc98292

Pagination

Previous

Next