git.iko.soy/Idris-dev
on 228ffdb help sign in
history ofsrc/IRTS/CodegenJava.hs
all commits
f151deeMangling of keyword "const"Jan Bessai dc91b01Java FFI: imports included and dependencies downloaded via mavenJan Bessai a567873Proper executable and object file creation via maven + need for run_java tests removedJan Bessai 4358581Refactored Java backend to be more monadic and to allow for the future extension of globalsJan Bessai a98444cRemoved some unnecessary closuresJan Bessai 43056d6Backend support for JavaJan Bessai f855d0fFix a few missing module referencesBenjamin Saunders f50f006Expand backend control options and infrastructureBenjamin Saunders 16a6c95Set up for adding new compiler back ends more easilyEdwin Brady