git.iko.soy/Idris-dev
on 2aaff41 help sign in
2aaff41Stop erasing binder types in executorDavid Raymond Christiansen 51a9b69Open files in binary modeDavid Raymond Christiansen 42dbdbeMerge pull request #1470 from edwinb/masterEdwin Brady 4c17201Merge pull request #1468 from shlevy/document-check-optionEdwin Brady a523c20Fix parameter identificationEdwin Brady da7470bDocument --check in --helpShea Levy 2092eedMerge pull request #1466 from edwinb/masterEdwin Brady 4c46b0eFix warning in io003 on clangEdwin Brady 86bf04cTruncate results in primitives002 testEdwin Brady 3a561b2Don't update after '?' when case splittingEdwin Brady ddced5cStore parameters in function typesEdwin Brady 783ddc3Invoke external code generatorEdwin Brady 44b38a6Fix implicits bugEdwin Brady c6574b4Added idris-c executableEdwin Brady 93f407dUse strings for code generatorsEdwin Brady 3d1a728Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 788f800Record import paths in ibcEdwin Brady 2a80b7cMerge pull request #1462 from jfdm/docs/manDavid Christiansen 8d9f0aeMerge pull request #1428 from trillioneyes/repl-definitionsDavid Christiansen 42c694cMore efficiency improvementsEdwin Brady 9b1d900Added nominal man-page.Jan de Muijnck-Hughes c79fb21Only undefine things once, even if they're referenced multiple timesAlyssa Carter 10a5bd6Tidy up the IState when classes are undefinedAlyssa Carter a37fc8aAdding a prettyprinted message for undefining namesAlyssa Carter ecea9adMerge branch 'master' into repl-definitionsAlyssa Carter 02f7c64Merge pull request #1461 from david-christiansen/issue/1460David Christiansen 95e1d27Merge pull request #1459 from david-christiansen/issue/1458David Christiansen 86b60b2Take .lidr syntax into account with :addmissingDavid Raymond Christiansen 8e94d31Merge pull request #1427 from david-christiansen/issue/1318David Christiansen 946c0daMerge pull request #1457 from david-christiansen/issue/1442David Christiansen 1267d64Strip ANSI codes from parser errors in IDEDavid Raymond Christiansen 40d07c4Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/1318David Raymond Christiansen 4fde861Add a Travis target for make lib_docDavid Raymond Christiansen d947282Merge pull request #1452 from hannesm/ideslave-socketDavid Christiansen 159a99cMerge pull request #5 from david-christiansen/ideslave-socketHannes Mehnert f7bd9f5Make --client use the correct handlesDavid Raymond Christiansen fa6652aMerge pull request #4 from david-christiansen/ideslave-socketHannes Mehnert 705dbe1Stop encoding prover messages as outputDavid Raymond Christiansen a34dbcfMerge pull request #3 from david-christiansen/ideslave-socketHannes Mehnert 02e8f8cSend prover errors back with spans instead of ANSIDavid Raymond Christiansen 4fe16a5read from handle rather than stdinHannes Mehnert a0ccc57move getNChar and getLen to IdeSlaveHannes Mehnert 2558c13load input properly, as requested by @MelvarHannes Mehnert abee538Merge pull request #2 from david-christiansen/ideslave-socketHannes Mehnert 480024cRemove all the handle argumentsDavid Raymond Christiansen 2418336Save some allocations in updateSolvedEdwin Brady d6057b5Search subterm for goal firstEdwin Brady bc3a9bfMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady ab36099Use a zipper-like proof stateEdwin Brady 1add7b7provide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason to have multiple clients at all!)Hannes Mehnert