Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 15, 2023

• Merge pull request ott-lang#104 from MSoegtropIMC/fix-opam-windows

  Show description for e83e5e4
  palmskog

  authored
  e83e5e4

  Copy full SHA for e83e5e4

Commits on Dec 14, 2023

• Fix opam build on Windows (MinGW cygwin cross)

  MSoegtropIMC

  committed
  6ce881f

  Copy full SHA for 6ce881f

Commits on Feb 16, 2023

• Merge pull request ott-lang#99 from omasanori/patch-1

  Show description for 831da5d
  PeterSewell

  authored
  831da5d

  Copy full SHA for 831da5d

• Fix dead links to papers in README

  omasanori

  authored
  07f9799

  Copy full SHA for 07f9799

Commits on Jan 19, 2023

• Update release instructions a little

  Show description for 2867de2
  bacam

  committed
  2867de2

  Copy full SHA for 2867de2

Commits on Jan 18, 2023

• Support bytecode targets in opam

  bacam

  committed
  0d97779

  Copy full SHA for 0d97779

Commits on Jan 16, 2023

• Rebuild documentation

  bacam

  committed
  62ac70f

  Copy full SHA for 62ac70f

• Bump version to 0.33

  bacam

  committed
  23ddc33

  Copy full SHA for 23ddc33

Commits on Dec 2, 2022

• minimal _CoqProject change to enable compatibility with Coq 8.17 and beyond

  palmskog

  committed
  c6b0c2c

  Copy full SHA for c6b0c2c

Commits on Dec 1, 2022

• Add missing dependency on ocamlgraph, update OCaml version

  

  bacam

  authored and

  tperami

  committed
  bd89321

  Copy full SHA for bd89321

• OCaml 5.0 compatibility

  Show description for e332d2f
  

  bacam

  authored and

  tperami

  committed
  e332d2f

  Copy full SHA for e332d2f

Commits on Oct 4, 2022

• Add lex-comment hom to specify the comment start

  tperami

  committed
  742922a

  Copy full SHA for 742922a

Commits on Apr 25, 2022

• Fit licence and deps in ott.opam

  tperami

  committed
  a77fae5

  Copy full SHA for a77fae5

• Update maintainer

  tperami

  committed
  0d295f8

  Copy full SHA for 0d295f8

• Fix typo in README.md

  tperami

  committed
  82ddffe

  Copy full SHA for 82ddffe

Commits on Mar 9, 2022

• Bump version number in opam file to 0.32

  tperami

  committed
  2dbca5f

  Copy full SHA for 2dbca5f

• rebuild manual

  PeterSewell

  committed
  9e6e11e

  Copy full SHA for 9e6e11e

• Bump to version 0.32

  tperami

  committed
  2740739

  Copy full SHA for 2740739

• Fix opam file

  tperami

  committed
  8b597ae

  Copy full SHA for 8b597ae

Commits on Mar 8, 2022

• Fix addition of extra pipe characters with isasyn

  

  jvanbruegge

  authored and

  tperami

  committed
  1ac3a4c

  Copy full SHA for 1ac3a4c

• Update baseline for test1 fix

  tperami

  committed
  80ee3e9

  Copy full SHA for 80ee3e9

Commits on Mar 7, 2022

• Fix tests/test1.ott for Isabelle

  tperami

  committed
  7b539c2

  Copy full SHA for 7b539c2

• Add new regression baseline for March 2022

  tperami

  committed
  e24a424

  Copy full SHA for e24a424

• Require minimum version of menhir

  tperami

  committed
  2da98b6

  Copy full SHA for 2da98b6

• Allow recent Coq version with coq-ott in opam

  tperami

  committed
  0d066b5

  Copy full SHA for 0d066b5

• Fix regression machinery for Coq

  tperami

  committed
  6a02125

  Copy full SHA for 6a02125

• coq-ott compatible with Coq 8.14

  

  pi8027

  authored and

  tperami

  committed
  8321af7

  Copy full SHA for 8321af7

Commits on Mar 4, 2022

• make README slightly more informative

  PeterSewell

  committed
  09cbe36

  Copy full SHA for 09cbe36

Commits on Mar 3, 2022

• Remove embedded PPrint and add corresponding opam tests

  tperami

  committed
  611f301

  Copy full SHA for 611f301

• Allow recent PPrint version in opam file

  tperami

  committed
  ac14552

  Copy full SHA for ac14552

• Add relative path to ott binary in 1Bsemantics example

  

  k4rtik

  authored and

  tperami

  committed
  b14831a

  Copy full SHA for b14831a

• Enable automated testing of the OCaml code generation

  

  kit-ty-kate

  authored and

  tperami

  committed
  c63da95

  Copy full SHA for c63da95

• Update the copies of PPrint bundled in tests/menhir_tests/.

  

  fpottier

  authored and

  tperami

  committed
  0381317

  Copy full SHA for 0381317

• tests/menhir_tests: refer to PPrint instead of PPrintEngine.

  

  fpottier

  authored and

  tperami

  committed
  9929955

  Copy full SHA for 9929955

• Refer to PPrint instead of PPrintEngine and PPrintCombinators.

  

  fpottier

  authored and

  tperami

  committed
  403d72d

  Copy full SHA for 403d72d

Pagination

Previous

Next