git.iko.soy/Idris-dev
on b56ef01 help sign in
history ofsrc/IRTS/CodegenC.hs
all commits
8fc6989Wrap GMP operations in a requireAllocEdwin Brady 713e485newBuffer should return a managed pointerEdwin Brady 1360ff7stylizeNiklas Larsson 631f3dbError when using closure as callback in C backendNiklas Larsson f7f8d92Tail calls via trampolines in C back endEdwin Brady d13fa5cStrip unreachable code/dataJorge Acereda d16e78fSmaller closureJorge Acereda a4c183cSet C language standard to C99 in runtime and codegen (#4308)Alex Queiroz 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