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 Aug 11, 2016

• Do not use hash-cons based ordering in places where a stable order in needed.

  Show description for 59c8860
  strub

  committed
  59c8860

Commits on Jan 4, 2016

• remove trailing whitespaces

  strub

  committed
  537c4f5

Commits on Jan 3, 2016

• COPYRIGHT (2016 / headers)

  strub

  committed
  17cc307

Commits on Dec 16, 2015

• Internals: ax_spec is no more a form option

  strub

  committed
  51b29d2

Commits on Aug 18, 2015

• Update license info.

  strub

  committed
  4f6f2f1

Commits on Jul 28, 2015

• axiom can now be tagged for better proof specification in cloning.

  Show description for c2523f3
  strub

  committed
  c2523f3

Commits on Jan 4, 2015

• Update copyright.

  strub

  committed
  d34d443

Commits on Oct 23, 2014

• Refactor EcCoreLib, starting to split core ones from stdlib ones.

  Show description for 17f63ec
  strub

  committed
  17f63ec

Commits on Sep 18, 2014

• improve algebra tactic.

  bgregoir

  committed
  71629f0

Commits on Sep 17, 2014

• CeCill-B -> CeCill-C

  Show description for 6a0b71e
  strub

  committed
  6a0b71e

Commits on Sep 9, 2014

• ring tactic with coeffs / powers modulus

  strub

  committed
  bcfbe9c

Commits on Jun 22, 2014

• Update copyright on all source files.

  strub

  committed
  3c18074

Commits on Jun 5, 2014

• Remove duplicated subgoal in fieldeq.

  bgregoir

  committed
  86c3829

• Extend strongRing with field.

  bgregoir

  committed
  ec23837

• Fixing bug in fieldeq.

  bgregoir

  committed
  607a077

• Restore and improve StrongRing

  bgregoir

  committed
  bbfad45

Commits on Apr 7, 2014

• Refactor all tactics using new proof engine.

  Show description for 3423f87
  strub

  committed
  3423f87

Commits on Feb 8, 2014

• Fixing alpha conversion pb in ring

  bgregoir

  committed
  80fb75a

Commits on Feb 6, 2014

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

  bgregoir

  committed
  c09a5a8

• Link between inner ring type-class and generic one.

  strub

  committed
  fb1117d

• first version of alg-eq

  bgregoir

  committed
  0dddee2

• Change the way of building proof for alg_norm

  bgregoir

  committed
  aa4376c

• first version of the algnorm tactic.

  bgregoir

  committed
  b47c2be

Commits on Jan 22, 2014

• Fix lemma names for ring.

  strub

  committed
  72cea5a

• Refactoring of ring tactic:

  Show description for 4e98b4f
  bgregoir

  committed
  4e98b4f

Commits on Dec 12, 2013

• Remove unused module opening + activate related ocamlc warnings.

  strub

  committed
  64d2cc5

Commits on Nov 20, 2013

• Put EcReduction behing an interface, fixing various small perf. bugs.

  strub

  committed
  e82b366

Commits on Sep 2, 2013

• Move out non core logic proof nodes from base logic.

  strub

  committed
  c886df0

Commits on Aug 13, 2013

• Better translation of 0 / 1 when an embedding is active.

  strub

  committed
  430ad85

• Fix encoding of 0 when ring is used on [int] (s.t. no embedding of int to ring)

  strub

  committed
  7dafce1

• Check that AlgTactic is loaded before declaring / using a ring/field.

  strub

  committed
  84273c7

• Fix ring declaration / ring tactic. Now working on positive tests.

  strub

  committed
  e1fd1f4

• ring/field declaration.

  strub

  committed
  3d6db0a

Pagination

PreviousNext