git.iko.soy/Idris-dev
on e105606 help sign in
e105606Add missing details to CHANGELOGEdwin Brady 4a177a3Add missing test file (sorry!)Edwin Brady ab385cdGenerate rewriting lemmas for data typesEdwin Brady 40182daModify the way of finding rewriting lemmaEdwin Brady b66865fReinstate checking of rewrite result typeEdwin Brady b92f7acNew implementation of rewriteEdwin Brady 33a08b9Merge pull request #3086 from jfdm/deprecate-project-outputJan de Muijnck-Hughes 4de5a73Deprecate the `MavenProject` output option.Jan de Muijnck-Hughes 546d22cMerge pull request #3076 from jfdm/make-ibcsubdir-work-for-ipkgsJan de Muijnck-Hughes 6076be4Merge pull request #3085 from david-christiansen/ttname-deceqDavid Christiansen a2dc0f2Fix %freeze when names are ambiguousEdwin Brady 46f94c1Implement DecEq TTNameDavid Christiansen 0c517d6Fixes #499 allowing packages to be installed to custom location.Jan de Muijnck-Hughes 7daba78Merge pull request #3084 from jfdm/fix-formatting-of-changelogJan de Muijnck-Hughes 3e0b8adHarmonisation of formatting for CHANGELOG.Jan de Muijnck-Hughes cdfb84eMerge pull request #3081 from melted/load_perfNiklas Larsson 09a18bfMerge pull request #3079 from jfdm/fix-cli-help-for-hardware-optsJan de Muijnck-Hughes 4f34b2aAdd getEntry to each processing functionNiklas Larsson 838cc38Generalise help messages for Hardware Specific Options.Jan de Muijnck-Hughes bb4a84bMerge pull request #3074 from jfdm/remove-old-thingsJan de Muijnck-Hughes c7bac29Extended syntax for 'with' blocksEdwin Brady 2b79682Prettify Formating of `CmdOptions.hs`.Jan de Muijnck-Hughes 751fb32Updated man page with new options.Jan de Muijnck-Hughes 4755a72Backdated man page and update year in CLI Help.Jan de Muijnck-Hughes 743e0d6Removed deprecated command line flags.Jan de Muijnck-Hughes 8df6b32prim__believeMe needs to be considered totalEdwin Brady faa58adFix evaluation of non-total thingsEdwin Brady 716b6a0Merge pull request #3067 from ahmadsalim/fix/sensibledependentpairDavid Christiansen ba53b91Merge pull request #3071 from jfdm/fix-cli-and-pkg-optionsJan de Muijnck-Hughes 62b4876Allow certain CLI options to work when using iPKG files.Jan de Muijnck-Hughes 3dc2d6bMerge pull request #3072 from melted/tweak_igonreJan de Muijnck-Hughes 80045daAdd generated doc dirs to .gitignoreNiklas Larsson 3eacf1cMake command line options accessible to package parser.Jan de Muijnck-Hughes 78d463eMerge pull request #3070 from jfdm/jmitchell-fix/master/cleanup-deprecated-ffiJan de Muijnck-Hughes 256a139Updated test suite such that tutorial007 is not run under JS.Jan de Muijnck-Hughes 0a4aac7Fix up issues relating to changes in Idris.Jan de Muijnck-Hughes 5700147Merge branch 'fix/master/cleanup-deprecated-ffi' of https://github.com/jmitchell/Idris-dev into jmitchell-fix/master/cleanup-deprecated-ffiJan de Muijnck-Hughes 02b81acMerge pull request #3069 from trofi/masterNiklas Larsson abfb3ddidris.cabal: allow zip-archive-0.3Sergei Trofimovich 7a59d10Merge pull request #3062 from melted/load_lessNiklas Larsson 91e8cf8Add location for No pattern clauses errorEdwin Brady 0222012Merge pull request #2911 from ziman/bits-staticJan de Muijnck-Hughes 8db1a2dMerge pull request #3064 from jfdm/doc-env-varsJan de Muijnck-Hughes e60a749Use type/term pun gotten from parsing to elaborate dependent pairs, instead of the current approach where this is guessed by type being placeholder.Ahmad Salim Al-Sibahi 88241edFixes #2932 with better documentation.Jan de Muijnck-Hughes fd6898eAdd changelog itemNiklas Larsson efde939Simplify the loading messNiklas Larsson 3ef1ce1Merge pull request #3063 from jfdm/doc-version-bumpsJan de Muijnck-Hughes 2137e10Updated document versions to 0.11 and updated tutorial pdf.Jan de Muijnck-Hughes c4f3c1eDon't read so much when just changing the reexport status of a moduleNiklas Larsson