Commits

Branch selector

 master

User selector

olaure01

Datepicker

All time

Commit History

Commits on Apr 1, 2020

• Add changelog for PR #11249

  olaure01

  committed
  2542ba1

  Copy full SHA for 2542ba1

• Add changelog for PR #11335

  olaure01

  committed
  3f222e4

  Copy full SHA for 3f222e4

• Add complementary results about Permutation

  olaure01

  committed
  f6b0f54

  Copy full SHA for f6b0f54

Commits on Jan 10, 2020

• missing space

  olaure01

  committed
  1c950aa

  Copy full SHA for 1c950aa

Commits on Jan 5, 2020

• apply suggestions of @anton-trunov

  olaure01

  committed
  33e024f

  Copy full SHA for 33e024f

• clean some indentations

  olaure01

  committed
  9089588

  Copy full SHA for 9089588

Commits on Dec 24, 2019

• Add statements with output in Type

  olaure01

  committed
  33a3cd8

  Copy full SHA for 33a3cd8

Commits on Dec 6, 2019

• additional statements on flat_map

  olaure01

  committed
  73e1dd6

  Copy full SHA for 73e1dd6

• additional statements on map and Forall

  olaure01

  committed
  221343b

  Copy full SHA for 221343b

• integration of statements for nth

  olaure01

  committed
  197ef55

  Copy full SHA for 197ef55

• add elt_eq_unit

  olaure01

  committed
  d7ee99a

  Copy full SHA for d7ee99a

• integration of statements for Exists and Forall

  olaure01

  committed
  c4e9063

  Copy full SHA for c4e9063

• integration of list_sum and list_max

  olaure01

  committed
  02313d1

  Copy full SHA for 02313d1

• integration of statements for repeat

  olaure01

  committed
  0c770a4

  Copy full SHA for 0c770a4

• integration of statements for NoDup

  olaure01

  committed
  fd8c1c5

  Copy full SHA for fd8c1c5

• integration of additional statements for incl

  olaure01

  committed
  42ca228

  Copy full SHA for 42ca228

• integration of statements for remove

  olaure01

  committed
  17380ea

  Copy full SHA for 17380ea

• integration of statements for In

  olaure01

  committed
  f86a2a6

  Copy full SHA for f86a2a6

• integration of statements for incl

  olaure01

  committed
  f3db25e

  Copy full SHA for f3db25e

• integration of statements for rev

  olaure01

  committed
  f2e42b1

  Copy full SHA for f2e42b1

• integration of statements for concat and flat_map

  olaure01

  committed
  84379df

  Copy full SHA for 84379df

• integration of statements for seq

  olaure01

  committed
  791c9b2

  Copy full SHA for 791c9b2

• integration of statements related to last element

  olaure01

  committed
  235ea69

  Copy full SHA for 235ea69

• integration of Exists_or and Forall_and

  olaure01

  committed
  0a6cfa0

  Copy full SHA for 0a6cfa0

• redundancy between skipn_node and skipn_all

  olaure01

  committed
  53231ac

  Copy full SHA for 53231ac

Commits on Nov 27, 2019

• remove *.vos and *.vok file in "make clean"

  olaure01

  committed
  c3266d7

  Copy full SHA for c3266d7

• missing "

  olaure01

  committed
  e2fc604

  Copy full SHA for e2fc604

Commits on Nov 19, 2018

• Typo: comment does not match code

  olaure01

  committed
  02654cf

  Copy full SHA for 02654cf