Skip to content
Snippets Groups Projects
Select Git revision
  • T1
  • T2
  • T3
  • cross
  • fix-mulmayoflo
  • float
  • i386
  • master default protected
  • upstream-testing
  • wip/T13
  • wip/ccall-expr
  • wip/hedgehog
  • wip/iterations
  • wip/mulmayoflo
  • wip/supersven/float_continued_ccall
  • wip/supersven/float_separated_expr_type
  • wip/update-docker
17 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.015Jul8Jun20May12Mar5417Feb22Jan17Dec18Jul120Jun1817Nov65229Oct27261114Aug3131Jul191312530Jun262330Nov292822Jun1524May24Jan2330Nov29262010987654Zero-extend sub-word arguments to CallishOpsmastermasterDiffer between effective and absolute equivalencewip/supersven/f…wip/supersven/float_separated_expr_typeAdd a debugging function to evaluate all sub-expressionsCommon error message for invalid float widthsFloating point C-Call (calling convention) testsReduce error message duplicationUse type level constraintsUpgrade GHC version in CIUpdate README.mkd TODO listUse floats in parsing roundtrip testAdd floating point to floating point conversionAdd floating point expressions (and tests)Add self-test to maingitlab-ci: Bump ci-imagesPort to Hedgehogwip/hedgehogwip/hedgehoggitlab-ci: Use reasonable number of quickcheck testsupstream-testingupstream-testingAdd Note summarizing tests and their motivationsRunGhc: Write buffer file in temporary directoryexpr: Introduce isDefinedexpr: Reenable generation of EShra nodesexpr: Only check for overflowing division if signedExpr: Ensure that shrinking division doesn't underflowgitlab-ci: Update DOCKER_REVwip/update-dockerwip/update-dockerSimplify mul2 reference implementationwip/T13wip/T13CallishOp: Test Op_Mul2 correctnessCallishOp: Add support for non-unary resultsNumber: Introduce boundsrun-it: Don't hack Trampoline.cmm into linkMigrate to debian12 for CIAvoid generating expressions with undefined behaviour.More informative message if the compiler dies.Test bswap callish opConsider load size when generating loads.Fix parsing roundtrip testwip/supersven/f…wip/supersven/float_continued_ccallAdd floating point to floating point conversionUse Union in C to access fp registers as wordsWIP: CCall works a bitFix MulMayOverflow and CCall tests for 64bit on 32bit.Fix division overflow checkUpgrade GHC version in CI