Commits

Branch selector

 compcert-certikos

User selector

bschommer

Datepicker

All time

Commit History

Commits on Jul 31, 2017

• Merge branch 'master' of github.com:AbsInt/CompCert

  bschommer

  committed
  0aa08f5

  Copy full SHA for 0aa08f5

• Warning for Skylake/Kabylake systems.

  bschommer

  authored
  b132e95

  Copy full SHA for b132e95

Commits on Jul 27, 2017

• Merge branch 'master' of github.com:AbsIntPrivate/CompCert

  bschommer

  committed
  7abffab

  Copy full SHA for 7abffab

Commits on Jul 26, 2017

• Integrated fixup code in estimated size.

  Show description for c310fe9
  bschommer

  committed
  c310fe9

  Copy full SHA for c310fe9

Commits on Jul 24, 2017

• Added annot to json dump.

  bschommer

  committed
  dcdd7e3

  Copy full SHA for dcdd7e3

Commits on Jul 19, 2017

• Print_annot should produce a string.

  bschommer

  committed
  32d25a3

  Copy full SHA for 32d25a3

Commits on Jul 14, 2017

• No verbose debug info in default mode.

  Show description for 2a78e5f
  bschommer

  committed
  2a78e5f

  Copy full SHA for 2a78e5f

Commits on Jul 12, 2017

• Constprop strength reduction (AbsInt#17)

  Show description for 2ee3bc6
  

  bschommer

  authored and

  xavierleroy

  committed
  2ee3bc6

  Copy full SHA for 2ee3bc6

Commits on Jul 5, 2017

• Merge branch 'master' of github.com:AbsIntPrivate/CompCert

  bschommer

  committed
  1971ab6

  Copy full SHA for 1971ab6

Commits on Jun 29, 2017

• Adopted section names in AsmToJson.

  bschommer

  committed
  01bac82

  Copy full SHA for 01bac82

Commits on Jun 28, 2017

• Revert "Update git ignore spec"

  Show description for 048df07
  bschommer

  committed
  048df07

  Copy full SHA for 048df07

• Merge branch 'master' of /common/repositories/git/tools/compcert

  bschommer

  committed
  8a7e65c

  Copy full SHA for 8a7e65c

• Formatted json printing.

  Show description for 6bece63
  bschommer

  committed
  6bece63

  Copy full SHA for 6bece63

Commits on Jun 26, 2017

• Added a little bit more compilation info to sdump.

  Show description for 1530f96
  bschommer

  committed
  1530f96

  Copy full SHA for 1530f96

Commits on Jun 20, 2017

• Added pseudo instruction for inline asm.

  Show description for 66ba0d6
  bschommer

  committed
  66ba0d6

  Copy full SHA for 66ba0d6

Commits on May 9, 2017

• Make redefinition of composite a fatal error.

  Show description for 7eaaa6a
  bschommer

  committed
  7eaaa6a

  Copy full SHA for 7eaaa6a

Commits on May 5, 2017

• Print 64bit constants for rldimn and rldimi.

  bschommer

  committed
  ac1f753

  Copy full SHA for ac1f753

• Merge branch 'master' of github.com:AbsInt/CompCert

  bschommer

  committed
  77907cd

  Copy full SHA for 77907cd

Commits on May 3, 2017

• More asserts.

  bschommer

  committed
  2bbb20d

  Copy full SHA for 2bbb20d

• Hybrid 64bit/32bit PowerPC port

  Show description for 7873af3
  bschommer

  authored
  7873af3

  Copy full SHA for 7873af3

Commits on Apr 28, 2017

• Always generate .merlin and _CoqProject files.

  bschommer

  committed
  befe864

  Copy full SHA for befe864

Commits on Apr 10, 2017

• Assert instead of unit.

  Show description for 04eb987
  bschommer

  committed
  04eb987

  Copy full SHA for 04eb987

• Filter out functions earlier. Bug 21343

  bschommer

  committed
  108dc2f

  Copy full SHA for 108dc2f

Commits on Apr 7, 2017

• Fix name of function. Bug 21378

  bschommer

  committed
  6839592

  Copy full SHA for 6839592

• Do not generate code for "inline definitions"

  Show description for 6cfc4da
  bschommer

  committed
  6cfc4da

  Copy full SHA for 6cfc4da

• Add optimization option finline.

  Show description for 2086ba4
  bschommer

  committed
  2086ba4

  Copy full SHA for 2086ba4

Commits on Apr 3, 2017

• Replace 'decide equality' in powerpc/Op.v. Bug 21332

  bschommer

  committed
  8d4562d

  Copy full SHA for 8d4562d

Commits on Mar 24, 2017

• Added handling if s.sloc <> s1.sloc

  Show description for 1c15347
  bschommer

  committed
  1c15347

  Copy full SHA for 1c15347

• Emit line stmt after labels in general. Bug 21232

  bschommer

  committed
  911b89d

  Copy full SHA for 911b89d

• Do not emit line info before case stmt.

  Show description for b6b5aae
  bschommer

  committed
  b6b5aae

  Copy full SHA for b6b5aae

Commits on Mar 20, 2017

• Better fix for problems with quoting in files.

  Show description for 361253d
  bschommer

  committed
  361253d

  Copy full SHA for 361253d

• Quote directory for comp_dir entry.

  Show description for 5bfa005
  bschommer

  committed
  5bfa005

  Copy full SHA for 5bfa005

Commits on Mar 8, 2017

• Added missing dltl to dall.

  bschommer

  committed
  de24549

  Copy full SHA for de24549

Commits on Feb 23, 2017

• Add a switch to generate a _CoqProject file.

  bschommer

  committed
  44b63eb

  Copy full SHA for 44b63eb

Commits on Feb 21, 2017

• Added check for large arrays.

  Show description for 1e867c8
  bschommer

  committed
  1e867c8

  Copy full SHA for 1e867c8

Pagination

Previous

Next