Commits

Breadcrumbs

History for

on1.0

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 13, 2018

• Extend syntax for code position.

  Show description for de5cd4a
  strub

  committed
  de5cd4a

  Copy full SHA for de5cd4a

Commits on Jul 7, 2018

• Add syntax for cast in expr/form: (e :~ ty)

  strub

  committed
  b75dc92

  Copy full SHA for b75dc92

Commits on Jun 12, 2018

• New tactic for static unrolling of "for-loops"

  Show description for ba545a9
  

  bgregoir

  authored and

  strub

  committed
  ba545a9

  Copy full SHA for ba545a9

Commits on Feb 12, 2018

• update copyrights

  strub

  committed
  5b2f5a7

  Copy full SHA for 5b2f5a7

Commits on Dec 19, 2017

• New tactic: solve

  Show description for 7bc73a4
  strub

  committed
  7bc73a4

  Copy full SHA for 7bc73a4

Commits on Dec 14, 2017

• New IP: //> & ||>

  Show description for 34d6e51
  strub

  committed
  34d6e51

  Copy full SHA for 34d6e51

Commits on Nov 15, 2017

• New tactic: wlog (without loss of generality).

  Show description for 89618eb
  strub

  committed
  89618eb

  Copy full SHA for 89618eb

Commits on Jun 15, 2017

• New tactic: replace.

  Show description for d6e9a3c
  

  Cécile BARITEL-RUET

  authored and

  strub

  committed
  d6e9a3c

  Copy full SHA for d6e9a3c

Commits on Mar 4, 2017

• update files headers (copyright)

  strub

  committed
  cd4a4d0

  Copy full SHA for cd4a4d0

Commits on Oct 26, 2016

• kill warnings

  strub

  committed
  2c150a9

  Copy full SHA for 2c150a9

Commits on Aug 9, 2016

• New variants of i.p. <*>

  Show description for c4a059e
  strub

  committed
  c4a059e

  Copy full SHA for c4a059e

Commits on Jul 14, 2016

• async-while prototype implementation (to be tested)

  strub

  committed
  c17c154

  Copy full SHA for c17c154

Commits on Feb 23, 2016

• Abstract PCRE in the EcRegexp module

  strub

  committed
  11eccbe

  Copy full SHA for 11eccbe

Commits on Feb 17, 2016

• fix parsing/printing of %r

  strub

  committed
  78a448c

  Copy full SHA for 78a448c

Commits on Jan 21, 2016

• progress*-like intro-pattern.

  Show description for dda4828
  strub

  committed
  dda4828

  Copy full SHA for dda4828

Commits on Jan 20, 2016

• i-p/r-w: //# (= // + /#)

  strub

  committed
  2ecf68b

  Copy full SHA for 2ecf68b

Commits on Jan 18, 2016

• Change syntax for inductive predicates:

  Show description for d7e8efd
  strub

  committed
  d7e8efd

  Copy full SHA for d7e8efd

Commits on Jan 4, 2016

• remove trailing whitespaces

  strub

  committed
  537c4f5

  Copy full SHA for 537c4f5

Commits on Jan 3, 2016

• COPYRIGHT (2016 / headers)

  strub

  committed
  17cc307

  Copy full SHA for 17cc307

Commits on Dec 14, 2015

• Simplification i-p/rw that do not break the product compatibility.

  Show description for 2c7b624
  strub

  committed
  2c7b624

  Copy full SHA for 2c7b624

• Lexems <-, ->, <<-, ->> can now be glued together.

  strub

  committed
  0cc8001

  Copy full SHA for 0cc8001

Commits on Dec 13, 2015

• New intro-pattern: <*>

  Show description for 9ac065f
  strub

  committed
  9ac065f

  Copy full SHA for 9ac065f

Commits on Dec 10, 2015

• Remove intro

  Show description for af20d68
  strub

  committed
  af20d68

  Copy full SHA for af20d68

• Remove generalize

  Show description for 4c8a037
  strub

  committed
  4c8a037

  Copy full SHA for 4c8a037

Commits on Dec 9, 2015

• Add 'eta-reduction'.

  strub

  committed
  db4fb1a

  Copy full SHA for db4fb1a

• New tactic: suff.

  Show description for eec0e23
  strub

  committed
  eec0e23

  Copy full SHA for eec0e23

Commits on Dec 8, 2015

• Add an option to clear abbrev. when cloning.

  Show description for b591634
  strub

  committed
  b591634

  Copy full SHA for b591634

Commits on Dec 4, 2015

• ring is now callable from rewrite.

  Show description for b0ecba5
  strub

  committed
  b0ecba5

  Copy full SHA for b0ecba5

Commits on Dec 2, 2015

• Remove unusable /#= rw action + add /# as a i-p.

  strub

  committed
  ac800ec

  Copy full SHA for ac800ec

• Parsing rules for notations/abbreviations.

  strub

  committed
  16caef0

  Copy full SHA for 16caef0

Commits on Nov 30, 2015

• New rewrite construct: /#, /#=

  Show description for 24322f5
  strub

  committed
  24322f5

  Copy full SHA for 24322f5

Commits on Nov 24, 2015

• Change ops. priority.

  Show description for fd1b087
  strub

  committed
  fd1b087

  Copy full SHA for fd1b087

Commits on Nov 6, 2015

• Allow to admit/abort a proof with the admit/abort in place of qed

  strub

  committed
  0b8a735

  Copy full SHA for 0b8a735

Commits on Nov 4, 2015

• Update files headers (license)

  strub

  committed
  cc5c708

  Copy full SHA for cc5c708

Commits on Nov 2, 2015

• New choice operator / deletation of choice vernacular command.

  strub

  committed
  544815d

  Copy full SHA for 544815d

Pagination

Previous

Next