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 9cfd0c2adjust test with --consolewidth for use with -f cursesAndreas Reuleaux12 years ago d0a9bebadjust tests with --consolewidth for use with -f cursesAndreas Reuleaux12 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 73da7d4adjust tests with --consolewidth for use with -f cursesAndreas Reuleaux12 years ago 7a91805adjust test with --consolewidth for use with -f cursesAndreas Reuleaux12 years ago 62419f4set console width / adjust tests by using --consolewidth to make them work with the curses flagAndreas Reuleaux12 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 b989e36dead code: renderWidth nowhere usedAndreas Reuleaux12 years ago d36f582Move comment about error reflection back homeDavid Raymond Christiansen12 years ago aa33865Merge remote-tracking branch 'upstream/master' into issue2004Andreas Reuleaux12 years ago 1bf2731issue #2004 resolved by --consolewith cmd line paramAndreas Reuleaux12 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 2a2468fMerge pull request #2009 from david-christiansen/wip/tacticalDavid Christiansen12 years ago 84019b6Fix quasiquoted Raw binder termsDavid Raymond Christiansen12 years ago 361efb5Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen12 years ago 147149bAdd 'determining parameters' for classesEdwin Brady12 years ago 2a70296Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen12 years ago c2dc6ecAllow new-style tactics to declare function signaturesDavid Raymond Christiansen12 years ago af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes12 years ago c66df51Propagate unification solutions into types on 'P'Edwin Brady12 years ago be9ffc9Proper error message for missing eliminatorsEdwin Brady12 years ago 5ce7362Type class resolution fixEdwin Brady12 years ago b493858Add -f execonly to omit library/rts buildsEdwin Brady12 years ago 88623c7Give Travis's cppcheck an explicit file listDavid Raymond Christiansen12 years ago e6d1cfd(.) should reduce with only two argumentsEdwin Brady12 years ago