git.iko.soy/Idris-dev
on master help sign in
history of019faba..master
compare
6be29b3Merge pull request #2008 from jfdm/sphinx-docDavid Christiansen 4e34dfdUpdate library list in cabal fileDavid Raymond Christiansen b06f843Merge pull request #2017 from reuleaux/issue2004David Christiansen 6ba74daMerge pull request #2005 from david-christiansen/ahmadsalim-testing/cstaticanalysisDavid Christiansen 4887599Merge pull request #2018 from david-christiansen/issue/2010David Christiansen 800601dignore constraints of the form: "x <= x"Ozgur Akgun b681600using a strict data type for domains instead of a pairOzgur Akgun ee4d1cbavoiding repeated checksOzgur Akgun 22914ecanother tweak, do not register unary constraintsOzgur Akgun 00e9e93do not print the involved variables in the case of an errorOzgur Akgun 488fe79using the strict version of the state monadOzgur Akgun aceabb1using sets instead of listsOzgur Akgun ef50150UpdatesJan de Muijnck-Hughes 4373184Added records to changelog.Sune Alkærsig d29fc05Add note to CONTRIBUTING about base/contribDavid Raymond Christiansen 5a1d6a1Remove name of Idris from code blockDavid Raymond Christiansen 4e88ac8Updated readme and removed style-guide.Jan de Muijnck-Hughes f1f4abdRemoved Contributing.mdJan de Muijnck-Hughes 4eec42cadding some comments and removing redundant importsOzgur Akgun e62ca0fLast minute update to classes.Jan de Muijnck-Hughes 5ed857bMerge remote-tracking branch 'refs/remotes/upstream/master' into ahmadsalim-testing/cstaticanalysisDavid Raymond Christiansen 2a58905fix cppcheck cmdlineDavid Raymond Christiansen 5ddd024Merge remote-tracking branch 'refs/remotes/upstream/master' into library-reorgDavid Raymond Christiansen 13ebfcfFix partiality in executor and give better errorDavid Raymond Christiansen 673bb99Fixed the last set (hopefull) of errors from the pandoc conversion.Jan de Muijnck-Hughes e5b50deMerge pull request #1968 from Chobbes/heap_fixesEdwin Brady 4a2ef38store the "involved" constraints next to the domain of a var. will help with error reporting.Ozgur Akgun ab3b3dbMerge pull request #2016 from idris-lang/revert-1967-gc_mallocEdwin Brady dbe0a3cCheck class arguments for injectivityEdwin Brady b70f2f1Updated license to be CC0 and restored missing section.Jan de Muijnck-Hughes 5b5da7atypo in unique001 test correctedAndreas Reuleaux 03b7516Revert "GC check allocation of new heap."Edwin Brady 3e40420adjust test unique003 with --consolewidth for use with -f cursesAndreas Reuleaux 5d4d793adjust test tutorial006 with --consolewidth for use with -f cursesAndreas Reuleaux 9596463Merge branch 'master' into agda-style-recordsSune Alkærsig 7d42ba2Changed tests for new record syntax.Sune Alkærsig 7e43af7Changed libs to new record syntax.Sune Alkærsig f36a8f7Revamped record elaboration.Sune Alkærsig 2a7d6a9adjust test totality008 with --consolewidth for use with -f cursesAndreas Reuleaux 001fb4aMerge remote-tracking branch 'upstream/master' into issue2004Andreas Reuleaux d0310fdadjust test unique002 with --consolewidth for use with -f cursesAndreas Reuleaux 7da6edaadjust test unique001 with --consolewidth for use with -f cursesAndreas Reuleaux 343e956adjust test totality007 with --consolewidth for use with -f cursesAndreas Reuleaux 742cf9cAdd script to put library docs in a tarball.David Raymond Christiansen 2d311c1Fixes from library reorgDavid Raymond Christiansen 694bdf6adjust test totality006 with --consolewidth for use with -f cursesAndreas Reuleaux 446d99dMerge pull request #1967 from Chobbes/gc_mallocEdwin Brady 999412fadjust test totality004 with --consolewidth for use with -f cursesAndreas Reuleaux c193a40adjust test totality003 with --consolewidth for use with -f cursesAndreas Reuleaux d9482aeadjust test totality002 with --consolewidth for use with -f cursesAndreas Reuleaux