6bac17badjust tests with --consolewidth for use with -f cursesAndreas Reuleaux12 years ago ebf9838Only check for errors with cppcheck in TravisDavid Raymond Christiansen12 years ago 81b6b29Update CHANGELOGDavid Raymond Christiansen12 years ago e1f139aLibrary rearrangement done.David Raymond Christiansen12 years ago a281e23Class resolution should not use private instancesEdwin Brady12 years ago ebac3cbgetting rid of InfInt, turned out not to be neededOzgur Akgun12 years ago 517dbd2Var is a newtypeOzgur Akgun12 years ago 174876cstarted reimplementing universe checkingOzgur Akgun12 years ago 8ab6beaMerge remote-tracking branch 'upstream/master' into issue2004Andreas Reuleaux12 years ago 5de1cd8adjust tests with --consolewidth for use with -f cursesAndreas Reuleaux12 years ago f4aaf01Guard !! in forgetEnvEdwin Brady12 years ago 41d0309Move Algebra to contrib properlyDavid Raymond Christiansen12 years ago 174395bMerge remote-tracking branch 'upstream/master' into issue2004Andreas Reuleaux12 years ago a5e76fcadjust tests with --consolewidth for use with -f cursesAndreas Reuleaux12 years ago af65583Move more less-supported things to contribDavid Raymond Christiansen12 years ago 2be0cf8Merge remote-tracking branch 'upstream/master' into library-reorgDavid Raymond Christiansen12 years ago 9367f93Fix cabal fileDavid Raymond Christiansen12 years ago 0d4d8dbMore library rearrangingDavid Raymond Christiansen12 years ago f4554ebDelete DecEq FloatDavid Raymond Christiansen12 years ago e6c5588Move Network code to contribDavid Raymond Christiansen12 years ago 15737d9Trickiness with implicits in dependent classesEdwin Brady12 years ago 059dafbMove System.Concurrency.Raw back to baseDavid Raymond Christiansen12 years ago 4297666Merge remote-tracking branch 'refs/remotes/upstream/master' into ahmadsalim-testing/cstaticanalysisDavid Raymond Christiansen12 years ago cfd6dbcStart of defining functions in TacticalDavid Raymond Christiansen12 years ago d36f582Move comment about error reflection back homeDavid Raymond Christiansen12 years ago fb871ddUpdated Makefile to build docs.Jan de Muijnck-Hughes12 years ago 2e010b9Extracted listings for prompts into external files.Jan de Muijnck-Hughes12 years ago f572cd0Fixed version number in conf to be 0.9.17Jan de Muijnck-Hughes12 years ago 6d188c4Begin to use a sum type for post-elab IState tweaksDavid Raymond Christiansen12 years ago af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes12 years ago 88623c7Give Travis's cppcheck an explicit file listDavid Raymond Christiansen12 years ago 30fe3d7Update cabal file for reorganizationDavid Raymond Christiansen12 years ago db5b385Initial reorganization into contribDavid Raymond Christiansen12 years ago e4358f0Fix cppcheck error and make more robustDavid Raymond Christiansen12 years ago b0c03c1Merge branch 'testing/cstaticanalysis' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-testing/cstaticanalysisDavid Raymond Christiansen12 years ago aca1148Merge branch 'master' into agda-style-recordstdidriksen12 years ago 45ef649Data.Graph & Data.PolyhedraMark Farrell12 years ago b5372b5Removed argument customization for now.Sune Alkærsig12 years ago 681d876Merge branch 'master' into agda-style-recordsSune Alkærsig12 years ago 8f9ac37Generalized alloc_heap so it could be reused for garbage collection.Calvin Beck12 years ago d6d07ffGC check allocation of new heap.Calvin Beck12 years ago 6f0aff3Updated standard library to new record syntax.Sune Alkærsig12 years ago 173703dAdded new (co)record syntax.Sune Alkærsig12 years ago a54ea34Added more options to cppcheckAhmad Salim Al-Sibahi12 years ago 42fe4f7Added `then` to bash ifAhmad Salim Al-Sibahi12 years ago 95e4222Added static analysis to C RTSAhmad Salim Al-Sibahi12 years ago 663b670Add `until` function to prelude.Robert Clipsham12 years ago