git.iko.soy/Idris-dev
on e65d0fa help sign in
history ofsrc/IRTS/CodegenC.hs
all commits
7282c0aSome optimisation of case treesEdwin Brady de1d865Much improved inliningEdwin Brady d47e95bRemove some redundancy in case treesEdwin Brady c3987ccChange default C compiler flagsEdwin Brady 3d2e39aPrefix for pasting in identifiers in C FFINiklas Larsson 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 2035d6cUse native `atan2` function from backendAlex Queiroz ac88f4fFix generation of bignum literalsAlex Queiroz 242dfc7Fix generation of integer literals in the C backendAlex Queiroz 83bb62fUnused binds (#4067)Jason Felice d4bd8e6Clean up unused imports (#4065)Jason Felice 9d69b47Merge pull request #3973 from idris-lang/revert_rwsNiklas Larsson b5424dfRevert "Merge pull request #3896 from melted/codegen_rws"Niklas Larsson ab65a30Merge branch 'master' of Idris-dev into issue3796Edmund Smith 5d7388bMove extensions into source filesEdwin Brady 2af672aRun haskell-stylishNiklas Larsson 2fc1fc6Implement a RWS monad for the C backendNiklas Larsson 312094eFix character escaping of codegenJ.W 3280526Use toUpper to convert NaN and Infinity to C namesEdmund Smith 3e4752fFix name decorationEdwin Brady 2debf36Use offset for substr if possibleEdwin Brady ce5e330Add StringBuffer to Prelude.StringsEdwin Brady 36aaf7fC style changes while porting rts to 9front (#3596)joe9 4a5c677Add 'idris_crash'Edwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan b949b28Fix build system dir inconsistencies.Jan de Muijnck-Hughes 93520b4Make C codegen fail more.Jan de Muijnck-Hughes acb2efbprim__vm needs to take a World referenceEdwin Brady 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