git.iko.soy/Idris-dev
on master help sign in
history off5f4fbe..master
compare
2fdccaaInitial commit of integrating test suite to cabal build.Jan de Muijnck-Hughes d579139Merge pull request #2920 from jfdm/fix-interface-preludeJan de Muijnck-Hughes 74926ffRenamed Prelude.Classes to Prelude.InterfacesJan de Muijnck-Hughes f7a9c28Tweak implicit name rulesEdwin Brady be33df4Force sharing of TT sub terms when loading ibcEdwin Brady 313db8bMerge pull request #2921 from melted/regex_goodbyeNiklas Larsson 070cdf1Remove the troublesome dependency on regex-compatNiklas Larsson 6203dc7expanded file modesAistis Raulinaitis a1b640aMerge pull request #2907 from melted/testrunnerNiklas Larsson 2e05621Remove the runtest.pl scriptNiklas Larsson db1e1feMerge pull request #2917 from melted/fix_ansi_errorNiklas Larsson 78c0051Convert trifecta's pretty-printed error messages in PkgNiklas Larsson 06453bcMerge pull request #2916 from Melvar/fix-reflect-nativetyNiklas Larsson bd26521Fix reflection of NativeTy valuesMelvar Chen 7932b7fAdd a test for the C heap.Matus Tejiscak e81cb80Merge pull request #2914 from DmitryTsygankov/stack_nixosNiklas Larsson e181731Merge pull request #2913 from melted/setup_tweakNiklas Larsson 60e11f7Bump up the stack resolver versionDmitry Tsygankov d0da898Use cabal function for dirNiklas Larsson b3b7bb7Merge pull request #2912 from melted/link_iconNiklas Larsson 567c01cAdd instructions to deploy with stack on NixOS. Remove the resolver version from the documentationDmitry Tsygankov 796f3dcStack: Add the Nix package dependenciesDmitry Tsygankov f9e19d7Bump up the stack resolver versionDmitry Tsygankov c6d8703Update documentation on C heap.Matus Tejiscak f1c6f25Add the idris icon to the windows buildNiklas Larsson cf7501dAdd warning.Matus Tejiscak b63d554Add C heap documentation.Matus Tejiscak 557fbe3Clean up C heap RTS code.Matus Tejiscak da2fb8dPosix setEnv has a different signature.Niklas Larsson e8c6f5cConditionally import setEnv on old GHCNiklas Larsson 8bffef4Merge pull request #2908 from melted/make_fixNiklas Larsson d1144dcMake a haskell test runnerNiklas Larsson 028868eSet target explicitly for test_cNiklas Larsson 8fb4f7fChanged the '[static]' annotation to '%static', for uniformity with the rest of the language.Ahmad Salim Al-Sibahi 4e5474aMerge pull request #2904 from melted/par_onNiklas Larsson 1ca661aReenable parallel testingNiklas Larsson 21f0db3Add [static] + fix erasure warnings in Data.Bits.Matus Tejiscak 6f26996Merge pull request #2902 from melted/condense_outputNiklas Larsson 704a60dMerge pull request #2901 from melted/fix_testsNiklas Larsson 5d9112dUse only one line of output per testNiklas Larsson 6b4cb6fFix insertion into C heap.Matus Tejiscak 920282fKeep track of test stats and print the failed tests at the endNiklas Larsson bf37049Improve C heap.Matus Tejiscak b0e8b12make the tests respect the IDRIS env variableNiklas Larsson 9a04ed3Merge pull request #2900 from melted/fix_pkg004Niklas Larsson 18d0204Remove escapes from expected output in pkg004Niklas Larsson 9c75a0bAdd a C data interface in the RTS code.Matus Tejiscak 83421efAdd CData to Idris.Matus Tejiscak 1daf221Blindly implement the C heap in the RTS.Matus Tejiscak 374b18eFix class->interface in HTML docsEdwin Brady