Commits

Breadcrumbs

History for

on1.0

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 12, 2018

• update copyrights

  strub

  committed
  5b2f5a7

Commits on Mar 4, 2017

• update files headers (copyright)

  strub

  committed
  cd4a4d0

Commits on Jan 4, 2016

• remove trailing whitespaces

  strub

  committed
  537c4f5

Commits on Jan 3, 2016

• COPYRIGHT (2016 / headers)

  strub

  committed
  17cc307

Commits on Aug 18, 2015

• Update license info.

  strub

  committed
  4f6f2f1

Commits on Jan 4, 2015

• Update copyright.

  strub

  committed
  d34d443

Commits on Sep 17, 2014

• CeCill-B -> CeCill-C

  Show description for 6a0b71e
  strub

  committed
  6a0b71e

Commits on Jun 22, 2014

• Update copyright on all source files.

  strub

  committed
  3c18074

Commits on Dec 14, 2013

• sim works now on proc

  bgregoir

  committed
  f2e05e2

Commits on Dec 12, 2013

• Remove unused module opening + activate related ocamlc warnings.

  strub

  committed
  64d2cc5

• Don't allow pvar in operator bodies.

  strub

  committed
  abef6ff

Commits on Oct 13, 2013

• TC: typing updated.

  strub

  committed
  e04ec33

Commits on Oct 10, 2013

• TypeClass: unification algorithm is now TC aware.

  strub

  committed
  c01afac

Commits on Oct 7, 2013

• Merge local stash w.r.t ufind based unification.

  strub

  committed
  f89bf89

Commits on Sep 6, 2013

• Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/easycrypt/easycrypt

  Show description for fd1d8e1
  bgregoir

  committed
  fd1d8e1

• small refactoring

  bgregoir

  committed
  de7d02a

Commits on Sep 3, 2013

• move out RND.

  strub

  committed
  70386ae

Loading