Skip to content
Snippets Groups Projects
Select Git revision
  • CPP22_if_lifting
  • CPP22_main
  • master default protected
  • patched_for_velus
  • riscV-cmov
  • ssa
  • v3.9_kvx_fix1
  • csix-PhD
  • v3.9_kvx
  • submission_OOPSLA2021_AARCH64_KVX
  • submission_OOPSLA2021_RISCV
  • v3.8+ssa_aarch64_postpass
  • v3.8_aarch64_postpass
  • v3.8_kvx_instructions_fixed
  • v3.8_kvx
  • v3.8
  • PLDI_2021_before_anonymization
  • v3.7_mppa_2020-04-01
  • v3.7
  • v3.6_mppa_2019-09-20
  • v3.6
  • july2019
  • RTLblock_unbounded_blocks
  • v3.5_k1c_1.2
  • v3.5_k1c_1.1
  • v3.5_k1c_1.0
26 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.09Apr15Mar14131210928Nov1029Oct282724Sep211410842121Aug18414Jul8729Jun2826May23109852117Apr1310972130Mar29281312119873217Feb31Jan27251312816Dec19Nov181032130Oct2515Sep28Aug272621201817165325Jul155Jun17Apr29Mar282627Feb2629Jan117542131Dec30292127Sep11Aug9131Jul27258731May3019Apr171615131227Mar19428Jan2778Dec613Nov331Oct30271728Aug26654323Mar523Jan11Nov27Oct2623222019Sep181716118765417Jul1129Jun86526Apr9Mar16Feb109Renamed Machconcr into Machsem.Merge of branch "unsigned-offsets":Revised handling of sizeof(string-literal)Special case for while(1), for(..., 1, ...) and do ... while(0) loops.Update for 1.8.1Update for 1.8.1 releasev1.8.1v1.8.1Incompatibility 8.3 / 8.3pl1Comment char for DiabSlightly nicer semantics for initializationMore global initialization work done and proved in Coq.Initializers for global variables: compile-time evaluation of expressions done in Coq (module Initializers), using the same primitives as those for CompCert C's semantics.Undesirable optimization of 'print'Bitfields: MSB-to-LSB in addition to LSB-to-MSBRevised signed/unsigned char handling.Improved test harnessUpdated for Coq 8.3pl1. Some cleanups in test/*/Makefile.Treat "char" as unsigned OR signed depending on the configuration.Use movapd instead of movsd for xmm reg-reg move: it avoids partial register stalls, resulting in tiny speedups.In StructAssign: be careful not to duplicate accesses to a volatile variable.float->int conversions, continued: weaker axiomatization.Float.intoffloat and Float.intuoffloat are now partial functions.Various algorithmic improvements that reduce compile times (thanks Alexandre Pilkiewicz):License for Floataux.mlInconsistent treatment of "lone" zero-width bit fieldsBizarre use of struct valuev1.8v1.8Update for release 1.8Typo in doc commentMemory.v: added drop_perm operationNo crash if nonexistent input file.CommentsImprovements for int8 and int16 storesUpdates for IA32-Cygwin.Updated++ on volatile not supported.Update: adding __builtin_annotationSimplified stdlib wrapper; use it only under MacOS XSupport for __builtin_fmax and __builtin_fminBetter emulation of long long as a struct.Merge of the reuse-temps branch:Semantics of annotations