git.iko.soy/Idris-dev
on master help sign in
history of44dd3be..master
compare
1280aeaFixed width integer truncationBenjamin Saunders 25d1e1fFix comparison return values and implement Integer truncationBenjamin Saunders 114221aForgotten fileBenjamin Saunders 4b2570eCleanupBenjamin Saunders 21c9f6fLStrEqBenjamin Saunders cca0ac0Fix case on strings and bigintsBenjamin Saunders 7e29890Fixed-width integer comparisonBenjamin Saunders b0709a7Integer comparisonBenjamin Saunders 4479377Fix Integer primsBenjamin Saunders 6861795DelintedBenjamin Saunders 93522bcObject and executable outputsBenjamin Saunders 6b69f14CleanupBenjamin Saunders 4072b67Check for nulls in ChkCaseBenjamin Saunders 9130ddaFix nonsense codegen for SConBenjamin Saunders 7b3afd5CleanupBenjamin Saunders e8ae2f4Fix incorrect phi terminating ChkCaseBenjamin Saunders f553076LLVM codegen: Print runtime errorsBenjamin Saunders 961e0f7LLVM codegen iteration 3 draft 1Benjamin Saunders 14ee023Skeleton of stub-generating LLVM codegenBenjamin Saunders f8ea178Include test suite in sdistBenjamin Saunders 18e926bSlightly cleaner segregationBenjamin Saunders 91b016aRemove libidris_rts.a from data-files as it does not belong in the sdist and is installed by the MakefileBenjamin Saunders ae4ca22Adjust travis-ci script to test distribution generated by `cabal sdist`Benjamin Saunders fb8cc6aMerge pull request #370 from SimonJF/decidable_list_tupleEdwin Brady 8981c61Merge pull request #366 from LeifW/fix_missing_pom.xmlEdwin Brady 336760dMerge pull request #365 from Ralith/fix-missing-js-sourcesEdwin Brady 69df55bAdd DecEq instances for list and tupleSimon Fowler 8bb6d3aAdd missing pom.xml files to extra-source-files to fix cabal sdist.Leif Warner efa5738Add missing idris sources for javascript to extra-source-files to fix cabal sdistBenjamin Saunders 4bebb72Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady d858016Change Show instance for Nat to show integersEdwin Brady 8dedc4bMerge pull request #364 from Ralith/base-version-cleanupEdwin Brady be36353Merge pull request #362 from david-christiansen/cmdline-execEdwin Brady 77bf616Merge pull request #358 from david-christiansen/unite-the-primitivesEdwin Brady b66e4a9Merge pull request #357 from andreas23/masterEdwin Brady b467eeaMerge pull request #354 from yfyf/add_bash_completionEdwin Brady 7af449cUpdate CHANGELOG to reflect recent additions and fixesEdwin Brady 031ffb4Integer literals for Fin If the elaborator can construct a proof that it is within bounds, integet literals can be used for Fins. Otherwise, a cryptic error message will be given.Edwin Brady 9c11754Added %unifyLog construct For debugging purposes %unifyLof t will give a trace of unification problems while elaborating t Also, log levels 6 and above will give the traceEdwin Brady ce7e45bEXPERIMENTAL: Syntax for applying functions by expected type "t <== f" applies a function f to arguments in such a way that it returns something of type t. The <== is a placeholder syntax until someone comes up with something better. (Alternative: t by f, but that uses up a new keyword)Edwin Brady f8401d5Remove old ifdefs for supporting base<4 since we require base>=4Benjamin Saunders db18c51Add scriptsDavid Christiansen 656f219Special-case prim__believe_meDavid Christiansen fc79985Unify primitive implementations between evaluator and executorDavid Christiansen 6c72a24Fix spelling of Xor prims. This fixes issue #356.Andreas Bogk 1579621Allow Execute to import primitives without cycleDavid Christiansen 55ec9cbRemove unused importDavid Christiansen 334fdd0Make primitive implementations act on Const rather than ValueDavid Christiansen 127cc70Implement 'pretty' for B{8,16,32,64}Edwin Brady 4fcacceUpdate for idris 0.9.8.1Benjamin Saunders