git.iko.soy/Idris-dev
on 2bf2038 help sign in
history ofsrc/IRTS/CodegenC.hs
all commits
08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 0896073Added documentation for modules.Jan de Muijnck-Hughes d13d6b3Get the names of the Bit types right!Edwin Brady 6c4074bExport Bits types as C functionsEdwin Brady 4de5a73Deprecate the `MavenProject` output option.Jan de Muijnck-Hughes ed2c73bFix handling of multiple value functions as C callbacksNiklas Larsson 197ce4cCreate a new VM if started on a thread without one.Niklas Larsson e376625Add conversion CPtr to PtrNiklas Larsson d2c0907Implement primitives for accessing floatsNiklas Larsson f3cb75fIncrease the stack reserved on WindowsNiklas Larsson 9467e61Merge pull request #2903 from ziman/c-heapNiklas Larsson 347fa38Merge branch 'master' into c-heapMatus Tejiscak d52a696Get more data from bigint when truncatingNiklas Larsson 91d583eImprove C FFINiklas Larsson b290280Implement support for C callbacksNiklas Larsson fe71b95Implement primitive memory access functionsNiklas Larsson 28c596bDo not split arguments indiscriminately on spacesNiklas Larsson 83421efAdd CData to Idris.Matus Tejiscak d3becccAdd support for logical and, or, shl, shr for big intsJurriën Stutterheim 609835eAllow an extension on tempfilesNiklas Larsson fc3229fUse "" instead of <> for includesNiklas Larsson 066e890Substring as primitiveDavid Raymond Christiansen 8564250Allow pattern matching on BitX constantsNiklas Larsson 8809bf2Ensure that the backend output is UTF8Niklas Larsson 4fae6d4Fix compiler warning on pointer equality testEdwin Brady 6517a95Add primitive for equality on PtrEdwin Brady 548b533Remove -msse2 flag which breaks the build on non-x86 machines (consider -march=native?).Christopher Schwaab ac80229Add feature to add compiler flags from environment with IDRIS_CFLAGSNiklas Larsson f09605bRequire unique global names in TTDavid Raymond Christiansen a0f1c25Fix indenting of small case blocksNiklas Larsson 9d7c50aOverdid the external primitivesEdwin Brady 95eee3cRemove no longer used primitives from TTEdwin Brady fc02362Support externally defined primitivesEdwin Brady 8472966Remove Buffer/BitVectors from compiler/C rtsEdwin Brady c413280String in C is now UTF8 encodedEdwin Brady 5ae43bbSupport IO in foreign exportsEdwin Brady d4371e6Generate interface files for C->Idris callsEdwin Brady e4cf620Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 1950393Use FDesc for foreign targetEdwin Brady 39e4eb0IO primitives tweak to support JSEdwin Brady 9150698Primitive type for world stateEdwin Brady d5377beNew language-dependent FFIEdwin Brady 72e03b6compiler (currently) should also use sse2 due rts changesHeather 76ad506Don't give up when compiling TypesEdwin Brady e57170dNeed to separate flags when invoking gccEdwin Brady 6dafd18Added bit vectors to the C backendMattias Lundell 052e3beFix JS code generationEdwin Brady 5faaba9More information runtime error for missing caseEdwin Brady f7b72a6Use idris_alloc for GMP allocationEdwin Brady 27d6b04Call gcc using rawSystemMelvar Chen