Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 6, 2023

• Adapt to stdlib renamings and fixes a mispelled constructor.

  herbelin

  committed
  e8d2106

Commits on Apr 6, 2021

• Disable native compile in test suite

  Show description for 1969eeb
  SkySkimmer

  authored
  1969eeb

Commits on Nov 22, 2020

• Fix Makefile for test-suite

  proux01

  committed
  c19a148

Commits on Nov 12, 2019

• Renable template polymorphism check

  proux01

  committed
  e936f02

Commits on Aug 6, 2019

• Examples: disable template polymorphism check

  vbgl

  committed
  40355d9

Commits on Nov 5, 2018

• Fix/improve test-suite/Makefile & Make the CI job run the test suite

  Show description for c996a36
  erikmd

  committed
  c996a36

Commits on Jul 30, 2018

• Make test suite compile.

  proux01

  committed
  7deba50

Commits on Nov 23, 2016

• make ide now compiles Parametricity.vo

  aa755

  committed
  42b2623

Commits on Nov 14, 2016

• Only Parametricity Module doesn't work. Revived all test-cases,

  Show description for 9857563
  aa755

  committed
  9857563

Commits on Aug 1, 2015

• Just in case

  mlasson

  committed
  91426f4

Commits on Jul 27, 2015

• Minor commit (sync. with current trunk)

  mlasson

  committed
  f2004f6

Commits on Jun 4, 2015

• Big update

  mlasson

  committed
  94bbd57

Commits on Jan 21, 2015

• Fix some bugs/typos in examples.

  mlasson

  committed
  6e88a97

• new test suite

  mlasson

  committed
  7f687a2

Commits on Jan 5, 2015

• Fix small bug in name generation.

  mlasson

  committed
  294069e

Commits on Dec 17, 2014

• modules

  mlasson

  committed
  d7cf2bc

Commits on Nov 21, 2014

• bug.v

  mlasson

  committed
  1cdbbef

Loading