Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 3, 2018

• Use Travis CI to test the build

  oleks

  committed
  a1c8f32

  Copy full SHA for a1c8f32

• Add missing _ in revision_history.txt

  oleks

  committed
  7bd6669

  Copy full SHA for 7bd6669

Commits on Jan 18, 2018

• unbreak latex

  PeterSewell

  committed
  2d0087e

  Copy full SHA for 2d0087e

• unbreak build

  PeterSewell

  committed
  34182a6

  Copy full SHA for 34182a6

Commits on Jan 17, 2018

• break build

  PeterSewell

  committed
  6dda960

  Copy full SHA for 6dda960

• deliberately break generation of latex

  PeterSewell

  committed
  2975512

  Copy full SHA for 2975512

Commits on Jan 15, 2018

• import from svn: rsem/ott/1Bsemantics to github ott/examples/1Bsemantics

  PeterSewell

  committed
  bd2aa3b

  Copy full SHA for bd2aa3b

• update README

  PeterSewell

  committed
  bd0831f

  Copy full SHA for bd0831f

• update README

  PeterSewell

  committed
  a423777

  Copy full SHA for a423777

• rename caml_typedef poster to poster_rules

  Show description for a10a12c
  PeterSewell

  committed
  a10a12c

  Copy full SHA for a10a12c

• import sources for OCaml_light posters from rsem/ott/old_pre_github/examples/caml/ttvsi

  PeterSewell

  committed
  eb413d9

  Copy full SHA for eb413d9

• Merge pull request ott-lang#22 from proofengineering/fix-coq-ocaml-light

  Show description for 0c381b3
  PeterSewell

  authored
  0c381b3

  Copy full SHA for 0c381b3

• adhere better to indentation conventions

  palmskog

  committed
  d578c48

  Copy full SHA for d578c48

• fix Coq compilation of caml_typedef.v in OCaml Light example

  palmskog

  committed
  97262eb

  Copy full SHA for 97262eb

• wib

  PeterSewell

  committed
  2e573a0

  Copy full SHA for 2e573a0

Commits on Jan 14, 2018

• de-bitrot so that OCaml_light latex builds

  PeterSewell

  committed
  569c056

  Copy full SHA for 569c056

Commits on Jan 13, 2018

• put [[ ]] in com inside $ $ to follow current Ott behaviour

  PeterSewell

  committed
  3d17c87

  Copy full SHA for 3d17c87

• copy ocaml_light sources from svn rsem/ott/old_pre_github/examples/caml

  PeterSewell

  committed
  1a0b493

  Copy full SHA for 1a0b493

Commits on Dec 5, 2017

• Merge pull request ott-lang#19 from bacam/master

  Show description for 8dc09bc
  PeterSewell

  authored
  8dc09bc

  Copy full SHA for 8dc09bc

• Add missing case of Lem auxparam type name hack when it's hom

  bacam

  committed
  d1a3852

  Copy full SHA for d1a3852

Commits on Nov 30, 2017

• doc wib

  PeterSewell

  committed
  0d3d504

  Copy full SHA for 0d3d504

• wib

  PeterSewell

  committed
  5642c17

  Copy full SHA for 5642c17

• wib

  PeterSewell

  committed
  a476f3f

  Copy full SHA for a476f3f

• - partial update of user guide

  Show description for aefc13c
  PeterSewell

  committed
  aefc13c

  Copy full SHA for aefc13c

Commits on Nov 27, 2017

• release 0.27

  hannesm

  committed
  d771999

  Copy full SHA for d771999

• update revision history for next version

  PeterSewell

  committed
  0c087f7

  Copy full SHA for 0c087f7

• Merge branch 'master' of https://github.com/ott-lang/ott

  PeterSewell

  committed
  d8fa808

  Copy full SHA for d8fa808

• experimentally turn off Isabelle mono lemmas, which seem not to work and perhaps are not needed for recent Isabelle versions

  PeterSewell

  committed
  a85a6b0

  Copy full SHA for a85a6b0

• setup for Jenkins (tmp)

  

  francesco-zappa-nardelli

  committed
  8ab5a7b

  Copy full SHA for 8ab5a7b

• add isabelle loops to config file

  PeterSewell

  committed
  65eb326

  Copy full SHA for 65eb326

• text versions of baselines

  PeterSewell

  committed
  8d2078a

  Copy full SHA for 8d2078a

• Merge branch 'master' of github.com:ott-lang/ott

  PeterSewell

  committed
  f003049

  Copy full SHA for f003049

• regression:

  Show description for 728b492
  PeterSewell

  committed
  728b492

  Copy full SHA for 728b492

• sample baseline for Jenkins experiments

  

  francesco-zappa-nardelli

  committed
  b351a57

  Copy full SHA for b351a57

• - remove automatic import of Isabelle Multiset library (AFAICS the only use was in some peterson example, and the import gives an Isabelle error)

  Show description for 2ed8c51
  PeterSewell

  committed
  2ed8c51

  Copy full SHA for 2ed8c51

Pagination

Previous

Next