Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 22, 2021

• Refactor clightgen

  Show description for d329550
  xavierleroy

  committed
  d329550

  Copy full SHA for d329550

Commits on May 8, 2021

• Use the LGPL instead of the GPL for dual-licensed files

  Show description for 04f499c
  xavierleroy

  committed
  04f499c

  Copy full SHA for 04f499c

Commits on May 5, 2020

• Update the list of dual-licensed files

  Show description for b46c0c0
  xavierleroy

  committed
  b46c0c0

  Copy full SHA for b46c0c0

Commits on Jul 5, 2019

• New parser based on new version of the Coq backend of Menhir (AbsInt#276)

  Show description for 998f3c5
  

  jhjourdan

  authored and

  xavierleroy

  committed
  998f3c5

  Copy full SHA for 998f3c5

Commits on Jan 5, 2018

• Resynchronize the LICENSE file and the license headers in individual files (AbsInt#45)

  Show description for 9ccb6a2
  xavierleroy

  authored
  9ccb6a2

  Copy full SHA for 9ccb6a2

Commits on Feb 14, 2017

• Removed CMinor import. Bug 20992

  bschommer

  committed
  d000fe3

  Copy full SHA for d000fe3

Commits on Jun 30, 2016

• common/Determinism.v: dual-license with GPL

  Show description for db2445b
  xavierleroy

  committed
  db2445b

  Copy full SHA for db2445b

Commits on Jun 28, 2016

• LICENSE: update the list of files that are dual-licensed under the GPL

  xavierleroy

  committed
  282f8a0

  Copy full SHA for 282f8a0

Commits on Feb 19, 2016

• PR#87: include the BSD license in the LICENSE file.

  xavierleroy

  committed
  4afa316

  Copy full SHA for 4afa316

Commits on Jun 26, 2015

• Adapt LICENSE file to include AbsInt and how to obtain a commercial license.

  bschommer

  committed
  6b7b7a7

  Copy full SHA for 6b7b7a7

Commits on Jun 12, 2015

• Update the years.

  xavierleroy

  committed
  0e9eded

  Copy full SHA for 0e9eded

Commits on Apr 29, 2014

• Integration of Jacques-Henri Jourdan's verified parser.

  Show description for f1d236b
  

  xleroy

  committed
  f1d236b

  Copy full SHA for f1d236b

Commits on Feb 21, 2014

• Updates for release 2.2

  Show description for 5af4481
  

  xleroy

  committed
  5af4481

  Copy full SHA for 5af4481

Commits on Jun 17, 2013

• Updating LICENSE and license headers, continued.

  Show description for 1888e67
  

  xleroy

  committed
  1888e67

  Copy full SHA for 1888e67

• Update LICENSE file and headers for dual-licensed files.

  Show description for 754ecb6
  

  xleroy

  committed
  754ecb6

  Copy full SHA for 754ecb6

Commits on Jan 9, 2013

• Update for release 1.12

  Show description for 93a33f7
  

  xleroy

  committed
  93a33f7

  Copy full SHA for 93a33f7

Commits on Oct 8, 2012

• Make Clight independent of CompCert C.

  Show description for c6d2ef0
  

  xleroy

  committed
  c6d2ef0

  Copy full SHA for c6d2ef0

Commits on Jul 13, 2012

• Preparation for release 1.11

  Show description for 0714021
  

  xleroy

  committed
  0714021

  Copy full SHA for 0714021

Commits on Jun 28, 2012

• Use Flocq for floats

  Show description for 5312915
  

  xleroy

  committed
  5312915

  Copy full SHA for 5312915

Commits on Mar 11, 2012

• Minor updates

  Show description for e2fb435
  

  xleroy

  committed
  e2fb435

  Copy full SHA for e2fb435

Commits on Aug 23, 2011

• MAJ licence

  Show description for 8c697ac
  

  xleroy

  committed
  8c697ac

  Copy full SHA for 8c697ac

Commits on Oct 27, 2010

• License for Floataux.ml

  Show description for 63cc20f
  

  xleroy

  committed
  63cc20f

  Copy full SHA for 63cc20f

Commits on Mar 3, 2010

• Switching to the new C parser/elaborator/simplifier

  Show description for 891377c
  

  xleroy

  committed
  891377c

  Copy full SHA for 891377c

Commits on Mar 29, 2009

• Cleaned up configure script.

  Show description for a5f03d9
  

  xleroy

  committed
  a5f03d9

  Copy full SHA for a5f03d9

Commits on Jan 5, 2009

• Updates

  Show description for deebc6f
  

  xleroy

  committed
  deebc6f

  Copy full SHA for deebc6f

Commits on Jan 28, 2008

• Dates

  Show description for 7a0378b
  

  xleroy

  committed
  7a0378b

  Copy full SHA for 7a0378b

Commits on Jan 27, 2008

• Ajout license, README, copyright notices

  Show description for 877b434
  

  xleroy

  committed
  877b434

  Copy full SHA for 877b434

Loading