git.iko.soy/Idris-dev
on master help sign in
history of7e43af7..master
compare
a39fef3Merge branch 'fix/print-semantics' of https://github.com/jfdm/Idris-dev into jfdm-fix/print-semanticsDavid Raymond Christiansen cfbb866Merge pull request #2006 from david-christiansen/issue/1790David Christiansen 30fe3d7Update cabal file for reorganizationDavid Raymond Christiansen db5b385Initial reorganization into contribDavid Raymond Christiansen 39ba432Merge pull request #2002 from david-christiansen/better-fin-errorDavid Christiansen 6d768bbMore information if a function is overappliedEdwin Brady 15ab5d5Better error message for qed in expressionsDavid Raymond Christiansen e4358f0Fix cppcheck error and make more robustDavid Raymond Christiansen b0c03c1Merge branch 'testing/cstaticanalysis' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-testing/cstaticanalysisDavid Raymond Christiansen ebac088Annotate provenance termsDavid Raymond Christiansen 6c26814Add IDE command for showing TTDavid Raymond Christiansen 01c4f2aA bit more unification error provenanceEdwin Brady 75f6c2dAdd :core to the REPLDavid Raymond Christiansen bb013f0Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 771ae4aMake IDE mode default to 70 character terminalsDavid Raymond Christiansen 3d87454TT pretty-printing - also in elab debugDavid Raymond Christiansen 179c704Record provenance of types in 'fill' errorsEdwin Brady 9546bd4Ignore accessibility when recheckingEdwin Brady 426d052Add provenance flag to unification errorsEdwin Brady 535346dUse Set to remove duplicate constraintsEdwin Brady 5d5ec50Properly highlight bound variables in elaborator debugDavid Raymond Christiansen 75a9c8fShow hole context and goals in elaborator debugDavid Raymond Christiansen b04d0cbMinor, minor readability improvement to Fin.idrDavid Raymond Christiansen 45ef649Data.Graph & Data.PolyhedraMark Farrell 8858c1aBasic handling of elaborator debugger invocationsDavid Raymond Christiansen 02d0078Add beginning of elaborator debugging errorsDavid Raymond Christiansen e39a9a2Merge remote-tracking branch 'refs/remotes/origin/wip/tactical' into wip/tacticalDavid Raymond Christiansen ec617e8Updated changelogJan de Muijnck-Hughes 5ea6aa0Address semantic differences in putting things to STDOUT.Jan de Muijnck-Hughes 05bc594Add Quotable changes to CHANGELOGDavid Raymond Christiansen 8f9ac37Generalized alloc_heap so it could be reused for garbage collection.Calvin Beck d6d07ffGC check allocation of new heap.Calvin Beck a54ea34Added more options to cppcheckAhmad Salim Al-Sibahi 42fe4f7Added `then` to bash ifAhmad Salim Al-Sibahi 95e4222Added static analysis to C RTSAhmad Salim Al-Sibahi 663b670Add `until` function to prelude.Robert Clipsham