Commits

Breadcrumbs

History for

on84273c7

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 15, 2013

• no message

  coonz

  committed
  796a83f

  Copy full SHA for 796a83f

Commits on Jul 14, 2013

• change in Hoare documentation structure

  coonz

  committed
  d7575c2

  Copy full SHA for d7575c2

Commits on Jul 13, 2013

• Progress on modules, plan for functors, some informal descriptions for judgements.

  fdupress

  committed
  376d4d0

  Copy full SHA for 376d4d0

Commits on Jul 12, 2013

• Progress on modules

  fdupress

  committed
  3573c72

  Copy full SHA for 3573c72

• Some text on ambient logic and predicates.

  fdupress

  committed
  482ebb8

  Copy full SHA for 482ebb8

• no message

  gbarthe

  committed
  4e54819

  Copy full SHA for 4e54819

Commits on Jul 11, 2013

• starting a pass on started.tex

  gbarthe

  committed
  a3c41ba

  Copy full SHA for a3c41ba

• change on while rule

  coonz

  committed
  f1047dd

  Copy full SHA for f1047dd

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

  fdupress

  committed
  87dbcc8

  Copy full SHA for 87dbcc8

• Rewriting the bug tracking, adding documentation about the documentation.

  fdupress

  committed
  e7068e4

  Copy full SHA for e7068e4

• doc tactics.tex

  coonz

  committed
  786d5e9

  Copy full SHA for 786d5e9

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

  coonz

  committed
  498540b

  Copy full SHA for 498540b

• doc tactics.tex

  coonz

  committed
  50960e5

  Copy full SHA for 50960e5

• Progress on theories

  fdupress

  committed
  0c78f05

  Copy full SHA for 0c78f05

• Some cleanup of empty and moved sections. Some typesetting.

  fdupress

  committed
  799cc7c

  Copy full SHA for 799cc7c

• Updating the installation instructions.

  fdupress

  committed
  6fc7bca

  Copy full SHA for 6fc7bca

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

  fdupress

  committed
  b458fd2

  Copy full SHA for b458fd2

• Adding braces around listing captions (to allow commas).

  fdupress

  committed
  2f23b74

  Copy full SHA for 2f23b74

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

  coonz

  committed
  8442150

  Copy full SHA for 8442150

• changes in doc

  coonz

  committed
  d631371

  Copy full SHA for d631371

Commits on Jul 10, 2013

• Some tacticals.

  strub

  committed
  47393d5

  Copy full SHA for 47393d5

• more on ambient.

  strub

  committed
  8c1ae6d

  Copy full SHA for 8c1ae6d

• More on ambient logic.

  strub

  committed
  44d54b7

  Copy full SHA for 44d54b7

• changed layout / fonts.

  strub

  committed
  8ee3f42

  Copy full SHA for 8ee3f42

• Remove awesome system for ambient tactics in doc

  

  Davy Guillaume

  authored and

  Davy Guillaume

  committed
  8a953d9

  Copy full SHA for 8a953d9

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

  coonz

  committed
  c0291ca

  Copy full SHA for c0291ca

• more on tactic documentation

  coonz

  committed
  0ac03e0

  Copy full SHA for 0ac03e0

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

  fdupress

  committed
  e812487

  Copy full SHA for e812487

• Some progress.

  fdupress

  committed
  917b18e

  Copy full SHA for 917b18e

• More on ambient logic.

  strub

  committed
  3aa3889

  Copy full SHA for 3aa3889

Commits on Jul 9, 2013

• more on ambient logic.

  strub

  committed
  ee83235

  Copy full SHA for ee83235

• More on ambient logic.

  strub

  committed
  e2678e4

  Copy full SHA for e2678e4

Commits on Jul 7, 2013

• adaption to new rnd rule

  coonz

  committed
  f28bbae

  Copy full SHA for f28bbae

• small tactics.tex changes

  coonz

  committed
  94ea17f

  Copy full SHA for 94ea17f

Commits on Jul 5, 2013

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

  Show description for 95c4bb8
  coonz

  committed
  95c4bb8

  Copy full SHA for 95c4bb8

Pagination

Previous

Next