Commits

Branch selector

 v2.9.2

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 5, 2021

• [ 2.9.2-rc ] CHANGELOG

  andreasabel

  committed
  3a59802

• [ fix #356 ] trust the user's "layout toplevel" declaration

  andreasabel

  committed
  78fb571

• [ #363 ] C: clone duplicate uses in definitions to get absyn _tree_

  andreasabel

  committed
  3265143

• [ #348 ] C: add clone_* methods for AST types

  andreasabel

  committed
  71db99e

• [ #314 ] C: move posixC declaration code to new module Backend.C.Common

  andreasabel

  committed
  3472c72

• [ #348 ] C: prefix deallocators with free_ to match current snake-case style

  andreasabel

  committed
  120a86c

Commits on May 27, 2021

• [ stack ] updated .yaml files for 8.10.3/4 and 9.0.1

  andreasabel

  committed
  0cae2af

Commits on May 22, 2021

• [ #368 ] CHANGELOG

  andreasabel

  committed
  98b9828

• [ fixed #368 ] Haskell: missing imports for position tokens

  andreasabel

  committed
  3bb050a

Commits on May 19, 2021

• [ #363 ] C: fix doctest for prDefH

  andreasabel

  committed
  94cc080

• [ docs ] set default highlighting language

  andreasabel

  committed
  1f9df77

• [ fix #362 ] document 'define'

  andreasabel

  committed
  fbb2c93

Commits on May 18, 2021

• [ #363 #366 ] CHANGELOG

  andreasabel

  committed
  228e2ef

• [ #363 ] test case: Norell's example for 'define'

  andreasabel

  committed
  4945079

• [ #366 ] Haskell printer: indentation after '}' was sometimes dropped

  andreasabel

  committed
  d19c4f4

• [ #363 #287 ] fixed for C++: cons, sanitization of keywords

  andreasabel

  committed
  2dbcb9b

• [ #363 ] fixed for Haskell/Functor

  andreasabel

  committed
  b420b9e

• [ #363 ] fixed for Agda: list and Integer literals

  andreasabel

  committed
  df4db41

• [ #363 #287 ] fixed for Ocaml: cons, sanitization of keywords

  andreasabel

  committed
  d67f07e

• [ #366 ] OCaml printer: '}' after '{' should not be indented

  andreasabel

  committed
  a3b50a9

• [ #366 ] C/C++/Java printer: output '};' etc. on same line

  andreasabel

  committed
  fbe953a

• [ #363 #287 ] fixed for Java

  andreasabel

  committed
  fdbac3b

• [ #363 ] C: fixed define with list expressions

  andreasabel

  committed
  8eccfdc

• [ #363 refactor ] retain typing information constructed by TypeChecker

  andreasabel

  committed
  7808875

Commits on May 17, 2021

• [ #363 refactor ] Pretty Rule/Cat instead of Show Rule/Cat

  andreasabel

  committed
  860980e

• [ #363 ] move predicates isNilFun etc. to IsFun class

  andreasabel

  committed
  c106dc3

• [ #363 ] Pretty Exp' instead of Show Exp

  andreasabel

  committed
  742034c

Commits on May 2, 2021

• [ boot ] LBNF parser with latest BNFC

  andreasabel

  committed
  204e60b

• [ fixed #359 ] Haskell: printString instead of instance Print String

  andreasabel

  committed
  5e94845

• [ #366 ] updated test case output

  andreasabel

  committed
  53fcf9c

• [ #358 ] regression test

  andreasabel

  committed
  b54dcef

• [ #359 ] Haskell: fixed printing of String lists

  andreasabel

  committed
  8fc03a1

• [ fixed #366 ] Printers: render } on new line

  andreasabel

  committed
  510e2a2

• [ #358 ] CHANGELOG

  andreasabel

  committed
  083d170

• [ #358 clean ] purged getSeparatorByPrecedence

  andreasabel

  committed
  5e564f7

Pagination

PreviousNext