8882622fix #4656Rui Barreiro8 years ago 1a7fa35Add regression test for #2349 (#4584)Ryan Scott8 years ago 3be1766Fix looped temporary allocations in mini-GMP (#4324)yanok9 years ago a6037b9Fin.restrict fix (#4337)Trevon Sutton9 years ago 1d19304Add test for REPL reporting abnormal :exec resultsIlya Yanok9 years ago 377d87a[ fix #4255 ] Not silently accepting invalid optionsGuillaume Allais9 years ago a6d701aAdd tests for #4282 and #4299Ilya Yanok9 years ago 9c8b3d4Add some buffer primitivesEdwin Brady9 years ago cf491baFirst attempt at implementing ST alternative for File.idr in Effects.Xefias9 years ago e3a5c14Add a test to demonstrate fix of PrettyPrint performance.Jan de Muijnck-Hughes9 years ago 2035d6cUse native `atan2` function from backendAlex Queiroz9 years ago be90757Make `div` and `mod` behave consistentlyAlex Queiroz9 years ago 19624c7Support backticked operators in sections (#4119)Jason Felice9 years ago ecc7bebMerge branch 'master' into js_iorefRui Barreiro9 years ago 01fdc75added c test using modifyIORef'Rui Barreiro9 years ago 3f7ae18Pass directives to C backend in given order (#4078)Alex Queiroz9 years ago 6d954d8Merge pull request #4073 from rbarreiro/exportiface_jsNiklas Larsson9 years ago 24e5a52turned off basic021 test on node, there is no way a foreign FFI_C call will work on javascriptRui Barreiro9 years ago 85707ceUnused importsJason Felice9 years ago 176b8ffMerge branch 'exportiface_js' of github.com:rbarreiro/Idris-dev into exportiface_jsRui Barreiro9 years ago 2eea508fixed point free functions, IO returning functions and added a test, all for js interfaces functionalityRui Barreiro9 years ago 921ac8fAdded Data.IORefEdwin Brady9 years ago 07b7138Merge pull request #4062 from steshaw/private-functionsEdwin Brady9 years ago f436c5fExpose `@` patterns to where functions (#4057)Jason Felice9 years ago 1f1155cDisable interactive017 (again).Steven Shaw9 years ago f047221Add (broken) test case for "private functions"Steven Shaw9 years ago 52c103fEnable test interactive017.Steven Shaw9 years ago 532ef6cMerge branch 'master' into fix/master/1211Edwin Brady9 years ago 416251fFixes #1211 : checking default impl in interfaces through parent constraints recursivelymandubian9 years ago cfd6084added test for js_unexpected_con_as_glob issue #3923Rui Barreiro9 years ago b9bad2dAdd tests for interactively adding a missing clauseMatthias Heinzel9 years ago fb55d38added a test for javascript ffi passing functionsRui Barreiro9 years ago 1f273b9Don't run the :exec test using the JS code generatorJonas De Vuyst9 years ago fa0d47cAdd test for :exec (+ fix for test/README.md)Jonas De Vuyst9 years ago aa0abbcPay attention to 'Force' in totality checkingEdwin Brady9 years ago 515ac42Interpreter tests (#3747)Chris Ford10 years ago 4a10e27Add Data.BufferEdwin Brady10 years ago a89330eChange meaning of 'data' in interfacesEdwin Brady10 years ago 95d226fFix a proof of VoidEdwin Brady10 years ago 3f0d399Add regression test for #3651.Ryan Scott10 years ago eed3117Take some more care with forcingEdwin Brady10 years ago ad016d9Termination check fix for 'Inf'Edwin Brady10 years ago 6dffcc7Fix reporting of infinite unificationEdwin Brady10 years ago 0ceaa30Deal with interfaces in totality differentlyEdwin Brady10 years ago 7e93d70Fix enumFromThenToEdwin Brady10 years ago 03f3980Fix package testing for windows. Fixes #3541Jan de Muijnck-Hughes10 years ago 61d5865New coverage checkerEdwin Brady10 years ago ddd53cdAdd a regression test.Matus Tejiscak10 years ago b0899ccLook deeper when coverage checkingEdwin Brady10 years ago 1c155dePrint interface constraints as a separate sectionOskar Wickström10 years ago