Mercurialhaskabelle / shortlog
summary | shortlog | changelog | graph | tags | branches | files | gz
(0) -100 -60 +60 +100 +300 tip
 
2008-12-10 haftmann 2008-12-10 removed tools direcotry nicta changeset | files
2008-12-10 haftmann 2008-12-10 removed bin/import_only nicta changeset | files
2008-12-09 Patrick Bahr 2008-12-09 created XML Schema describing the XML configuarion file format nicta changeset | files
2008-12-09 Patrick Bahr 2008-12-09 merge nicta changeset | files
2008-12-08 Patrick Bahr 2008-12-08 custom theories get renamed properly now nicta changeset | files
2008-12-04 Patrick Bahr 2008-12-04 minor bug fixes nicta changeset | files
2008-12-04 Patrick Bahr 2008-12-04 fixed translation of as-patterns nicta changeset | files
2008-12-01 Patrick Bahr 2008-12-01 changed translation of labelled field syntax: * primrec defintion for accessor functions * removed "arbitrary"-equations * changed update syntax translation (using update functions) nicta changeset | files
2008-11-30 Patrick Bahr 2008-11-30 fixed guard translation (it's now incomplete) nicta changeset | files
2008-11-30 Patrick Bahr 2008-11-30 included explicit LANGUAGE pragmas where needed nicta changeset | files
2008-10-26 Patrick Bahr 2008-10-26 fixed dependency checking bug nicta changeset | files
2008-10-25 Patrick Bahr 2008-10-25 some bug fixes + revised examples nicta changeset | files
2008-10-24 Patrick Bahr 2008-10-24 added explicit default line that delivers arbitrary on constructors without the considered field nicta changeset | files
2008-10-24 Patrick Bahr 2008-10-24 changed some names nicta changeset | files
2008-10-23 Patrick Bahr 2008-10-23 monadic environment updates nicta changeset | files
2008-10-22 Patrick Bahr 2008-10-22 implemented dependency checking of fields and constructors nicta changeset | files
2008-10-22 Patrick Bahr 2008-10-22 implemented translations of mutual recursive data types nicta changeset | files
2008-10-20 Patrick Bahr 2008-10-20 exteded record translation to support common fields nicta changeset | files
2008-10-20 Patrick Bahr 2008-10-20 translation of record style data constructors implemented nicta changeset | files
2008-10-17 Patrick Bahr 2008-10-17 reimplemented loading of imported modules now modules are not any more translated several times if they are imported several times nicta changeset | files
2008-10-16 Patrick Bahr 2008-10-16 implemented translation of type declarations (aka type synonyms) nicta changeset | files
2008-10-16 Patrick Bahr 2008-10-16 implemented preprocessing of closures rewrote some code using Data.Generics.Env nicta changeset | files
2008-10-14 Patrick Bahr 2008-10-14 added support for replacing and accumulating environments nicta changeset | files
2008-10-14 Patrick Bahr 2008-10-14 added support for environment passing to SYB nicta changeset | files
2008-10-04 Patrick Bahr 2008-10-04 documented the TH generator combinators nicta changeset | files
2008-10-04 Patrick Bahr 2008-10-04 documented Configuration.hs nicta changeset | files
2008-10-03 Patrick Bahr 2008-10-03 added support for unit type nicta changeset | files
2008-10-03 Patrick Bahr 2008-10-03 added ad-hoc handling of lifts: * lifts can be declared in the config * added cabal files nicta changeset | files
2008-10-02 Patrick Bahr 2008-10-02 added ad-hoc monad translation: * configurability extended to allow customisation of how monadic code is translated * added some example modules for monads, shadowing, closures and let bindings * now supports the $ operator * configurable translation of do expressions nicta changeset | files
2008-09-29 Patrick Bahr 2008-09-29 removed Testing.hs nicta changeset | files
2008-09-29 Patrick Bahr 2008-09-29 implemented custom module importing (not thoroughly tested though) nicta changeset | files
2008-09-24 Patrick Bahr 2008-09-24 extended configuration system: * customisations are passed to the lexical analysis (though not used yet) through reader monad nicta changeset | files
2008-09-23 Patrick Bahr 2008-09-23 added configuration system: * parsing of configuration files * main takes now a configuration file as an argument that has all necessary information * customisation of translation is not yet implemented nicta changeset | files
2008-09-19 Patrick Bahr 2008-09-19 merged nicta changeset | files
2008-09-19 Patrick Bahr 2008-09-19 added comments nicta changeset | files
2008-09-19 Patrick Bahr 2008-09-19 QuickCheck generators + properties; comments; monads * hide monads behind newtype definitions * further comments added * template haskell code for generating quickcheck data generators * QuickCheck generators added using template functions * some quickcheck properties (in Preprocess.hs) - nothing really fancy, just to get used to quickcheck nicta changeset | files
2008-09-19 Patrick Bahr 2008-09-19 removed automatic analysis of dependencies from all build targets since it touches all source files hence a manual call "make depend" is necessary if structure changes nicta changeset | files
2008-09-17 Patrick Bahr 2008-09-17 QuickCheck + comments_ * stated to integrate QuickCheck * wrote template functions to generate QuickCheck generators * added further comments nicta changeset | files
2008-09-11 Patrick Bahr 2008-09-11 removed debugging code nicta changeset | files
2008-09-11 Patrick Bahr 2008-09-11 merged nicta changeset | files
2008-09-11 Patrick Bahr 2008-09-11 made compatible with haddock 2 nicta changeset | files
2008-09-10 Patrick Bahr 2008-09-10 merged changeset | files
2008-09-09 Patrick Bahr 2008-09-09 added comments changeset | files
2008-09-09 Patrick Bahr 2008-09-09 added comments; restructuring changeset | files
2008-09-09 Patrick Bahr 2008-09-09 makefile: bugfixes, dirs changed changeset | files
2008-09-09 Patrick Bahr 2008-09-09 restructured makefile: * added further abstraction from names and directories * added target to generate haddock implementation documentaion * added target to build optimised binary * added comments * added targets to create necessary directories changeset | files
2008-09-09 Patrick Bahr 2008-09-09 added script to only _import_ Haskell files changeset | files
2008-09-09 Patrick Bahr 2008-09-09 Main restructured; import functions restructured changeset | files
2008-09-05 Patrick Bahr 2008-09-05 commented LexEnv; haddock added to makefile changeset | files
2008-09-04 Patrick Bahr 2008-09-04 added comments to LexEnv changeset | files
2008-09-01 Patrick Bahr 2008-09-01 merge changeset | files
2008-09-01 Patrick Bahr 2008-09-01 changed ConversionUnit type; implemented preprocessing output function nicta changeset | files
2008-08-31 Patrick Bahr 2008-08-31 fixed and beautified the makefile nicta changeset | files
2008-08-31 Patrick Bahr 2008-08-31 restructuring; makefile * moved entry point for executable to the new file Main.hs * remove interface file * added makefile nicta changeset | files
2008-08-29 Patrick Bahr 2008-08-29 adding tools * Parsing * unlit nicta changeset | files
2008-12-08 Tobias Ritweiler 2008-12-08 merge changeset | files
2008-12-08 Tobias Ritweiler 2008-12-08 changed import to Main changeset | files
2008-12-08 haftmann 2008-12-08 checks for doc-src explicitly changeset | files
2008-12-08 haftmann 2008-12-08 backported to Isabelle 2008 changeset | files
2008-12-08 haftmann 2008-12-08 stubs for regression infrastructure changeset | files
(0) -100 -60 +60 +100 +300 tip
haskabelle