git.iko.soy/Idris-dev
on d66da21 help sign in
history ofidris.cabal
all commits
e6a906aRemove tutorial from idris.cabalEdwin Brady 86a0c3aSet version to 0.9.10.1Edwin Brady 4f1b604Merge pull request #669 from Melvar/showstringEdwin Brady fcfbfaaMake GMP optional (default off)Edwin Brady 61281efUpdate language-java dependency to 0.2.6Melvar Chen 543cd7eStrictness improvementsEdwin Brady 772166dUpdate idris.cabal for DecidableEdwin Brady ba6f0efSeparate base into base and preludeEdwin Brady 873e824We need libs/Makefile too!Edwin Brady bcca7ecUpdate cabal to point at the right library dir!Edwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady 1e8c2a8Merge pull request #627 from markuspf/llvm-float-prim2Edwin Brady a9f9b05Add test033/run, test034/run to cabal fileMarkus Pfeiffer abf234dThere are no .idr files in test034Markus Pfeiffer 8e974c7Parser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependenciesAhmad Salim Al-Sibahi 254a452Add tests test033 and test034 to cabal fileMarkus Pfeiffer b23ac6eSupport for FreeBSDHannes Mehnert 0927e78minor cleanup; switch to idris-lang github urlHannes Mehnert 6f34ac1Use XML lib instead of string templating.Leif Warner 6221726Use xml lib to produce <dependencies/>.Leif Warner afef29eUpdate CHANGELOG and verison numberEdwin Brady defc795LLVM and FFI flags default to offEdwin Brady ee06cf1Make libffi support a cabal flagEdwin Brady f869396Add :addmissing REPL commandEdwin Brady 0548109Only bind to the localhost interface from REPL network socket.Leif Warner abf99a5Add proofsearch tactic, with :ps at the REPLEdwin Brady 217c3f3Merge pull request #563 from JanBessai/JavaRTSFixEdwin Brady d20f35cAdd --client optionEdwin Brady 467bb68Java RTS Version bump to include isNull, Maven POM gets installed correctlyJan Bessai 3729d95Add CaseSplit.hs and Command (not yet implemented)Edwin Brady 3544af3Update version number to 0.9.9.3Edwin Brady 221e1a7Merge branch 'feature/nocolourrepl' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/nocolourreplEdwin Brady 1d64535Fix parsers dependency to == 0.9Edwin Brady 514d582Fixes idris-lang/Idris-dev#512Ahmad Salim Al-Sibahi 6367eb5Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 170da61Propagate '%assert_total' to with blocksEdwin Brady 480a28bFix broken build caused by 3fdf1a03Benjamin Saunders 463752dMerge pull request #521 from raichoo/masterEdwin Brady db96d75Add a 'compute' before elaboration to expand type synonyms etcEdwin Brady 549627cjavascript: switch to jsbnraichoo 631fc46Further splitting of ParserEdwin Brady 67fb9ccSplit Parser.hs into several filesEdwin Brady 6469b16Fixed Trifecta version to 1.1 until future versions work againAhmad Salim Al-Sibahi 7ae55f9Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Christiansen d114d39Add test031 to cabal fileDavid Christiansen c7cf1f0Refactored the build inside Setup.hs and the various Makefiles.Gabe McArthur bef8dceUpdate version number to 0.9.9.2Edwin Brady 73bdc53Refactoring of parser to Trifecta, documenting and updating some items/fixing some issues.Ahmad Salim Al-Sibahi 39bc4c4Merge pull request #485 from lambdadomain/masterEdwin Brady 3ab35beUpdate version numberEdwin Brady