| f2a94d2 | Ivo Gabe de Wolff | 17 September 2019, 13:01:42 UTC | Fix comment | 17 September 2019, 13:01:42 UTC |
| c361aa8 | Ivo Gabe de Wolff | 15 May 2019, 11:36:59 UTC | Initial work on region inference | 15 May 2019, 11:36:59 UTC |
| ce72101 | Ivo Gabe de Wolff | 20 April 2019, 18:59:32 UTC | Annotate Lam expressions with strictness | 20 April 2019, 18:59:32 UTC |
| 4c78ea3 | Ivo Gabe de Wolff | 04 April 2019, 10:15:03 UTC | Fixes for core types | 04 April 2019, 10:15:03 UTC |
| 9fda861 | Ivo Gabe de Wolff | 22 March 2019, 17:17:50 UTC | Distinguish different types of Int literals Add createFunction | 22 March 2019, 17:17:50 UTC |
| 6a0230f | Ivo Gabe de Wolff | 20 March 2019, 09:04:11 UTC | Remove type synonyms using customs | 20 March 2019, 09:04:11 UTC |
| 171501e | Ivo Gabe de Wolff | 19 March 2019, 22:56:09 UTC | Fix type synonyms in core | 19 March 2019, 22:56:09 UTC |
| 9ed367f | Ivo Gabe de Wolff | 18 March 2019, 14:25:23 UTC | Remove type arguments from type synonyms They can be replaced by forall types | 18 March 2019, 14:25:23 UTC |
| 8b3cabe | Ivo Gabe de Wolff | 15 March 2019, 11:40:26 UTC | Explicit instantiation of constructor in patterns Replace ConTag with ConTuple, as we do not use the tag in ConTag any more | 15 March 2019, 11:40:26 UTC |
| 18f57c3 | Ivo Gabe de Wolff | 15 March 2019, 09:07:11 UTC | Add type synonyms to core | 15 March 2019, 09:07:11 UTC |
| cf6bd7a | Ivo Gabe de Wolff | 14 March 2019, 14:51:42 UTC | Use Ints instead of Ids for type variables | 14 March 2019, 14:51:42 UTC |
| 0e43311 | Ivo Gabe de Wolff | 13 March 2019, 20:24:00 UTC | Add application of values to types | 13 March 2019, 20:24:00 UTC |
| 7f734d2 | Ivo Gabe de Wolff | 11 March 2019, 16:59:44 UTC | Add helper functions for types | 11 March 2019, 16:59:44 UTC |
| 023f763 | Ivo Gabe de Wolff | 06 March 2019, 07:32:34 UTC | Add Forall expression | 06 March 2019, 07:32:34 UTC |
| 0b8a7fc | Ivo Gabe de Wolff | 28 February 2019, 21:01:16 UTC | Add Kind to forall types | 28 February 2019, 21:01:16 UTC |
| 114a368 | Ivo Gabe de Wolff | 28 February 2019, 11:30:34 UTC | Add toplevel types, fixes to parser | 28 February 2019, 11:30:34 UTC |
| 8c5e453 | Ivo Gabe de Wolff | 27 February 2019, 10:05:28 UTC | Add types to toplevel declarations in Core | 27 February 2019, 10:05:28 UTC |
| 2178234 | Ivo Gabe de Wolff | 26 February 2019, 08:16:59 UTC | Add types to Core data type | 26 February 2019, 08:16:59 UTC |
| fc80b24 | Hage, J. (J) | 16 September 2017, 17:32:04 UTC | Added README.md | 16 September 2017, 17:32:04 UTC |
| 43d931b | Hage, J. (J) | 15 September 2017, 20:34:18 UTC | Add gitignore file | 15 September 2017, 20:34:18 UTC |
| 1e1b4c1 | Hage, J. (J) | 15 September 2017, 20:27:03 UTC | Changing location of repository to github. | 15 September 2017, 20:27:03 UTC |
| b17f9e4 | 3361063 | 10 May 2017, 06:14:52 UTC | Add documentation and some instances in Lvm.Common | 10 May 2017, 06:14:52 UTC |
| 2e08a0a | 3361063 | 10 May 2017, 06:14:51 UTC | Provide a pure interface for import resolution The gist of it: lvmImport :: (Id -> IO FilePath) -> Module v -> IO (Module v) +lvmImport' :: Monad m => (Id -> m (Module v)) -> Module v -> m (Module v) Considering Identity is an instance of Monad, this is, de facto, pure code. | 10 May 2017, 06:14:51 UTC |
| bbf285a | 3361063 | 09 May 2017, 16:10:45 UTC | Fix empty directory name handling and deprecate slashify | 09 May 2017, 16:10:45 UTC |
| 09c3155 | Jurriaan Hage | 12 January 2016, 21:30:56 UTC | Changes for compatibility with Ghc 7.10.3 | 12 January 2016, 21:30:56 UTC |
| 5431f82 | Jurriaan Hage | 29 May 2015, 10:07:21 UTC | New config | 29 May 2015, 10:07:21 UTC |
| 16e4efa | Jurriaan Hage | 29 August 2014, 13:09:53 UTC | The Makefile can now construct a source distribution/. | 29 August 2014, 13:09:53 UTC |
| 62fd3f6 | Jurriaan Hage | 21 August 2014, 14:09:21 UTC | Bumped verison number. | 21 August 2014, 14:09:21 UTC |
| 9887d55 | Jurriaan Hage | 21 August 2014, 10:43:02 UTC | Dealing with path issues under windows 1 | 21 August 2014, 10:43:02 UTC |
| b665a23 | Jurriaan Hage | 22 July 2014, 11:54:21 UTC | Hopefully this fixes the issues on Windows, and still ahve some sanity checking on the paths to the prefix. | 22 July 2014, 11:54:21 UTC |
| 4667c86 | Bastiaan Heeren | 22 July 2014, 11:47:21 UTC | - removed no-cygwin flag (deprecated) - commented sanity checks for absolute directories (does not work for C:\Users\bhr\AppData\Roaming\cabal\bin) | 22 July 2014, 11:47:21 UTC |
| 8dd9cc8 | Jurriaan Hage | 21 July 2014, 20:04:40 UTC | A few fixes to make things complile again. | 21 July 2014, 20:04:40 UTC |
| 4151477 | Jurriaan Hage | 18 July 2014, 13:31:38 UTC | Discovered an error in the configure script that harms us on Linux. | 18 July 2014, 13:31:38 UTC |
| 46f5117 | Jurriaan Hage | 18 July 2014, 13:20:38 UTC | Two fixes: 1. exchanging order of libraries and object files in linking since some gcc's demand this nowadays 2. for macosx: avoid the -fno-defer-pop flag since clang does not like it | 18 July 2014, 13:20:38 UTC |
| 0f56588 | Jurriaan Hage | 30 August 2013, 12:54:24 UTC | some debug statements removed from configure | 30 August 2013, 12:54:24 UTC |
| ab13074 | Jurriaan Hage | 30 August 2013, 11:43:03 UTC | Upgrade to Cabal 1.18 that fixes an issue that lvmrun does not end up where I want it. | 30 August 2013, 11:43:03 UTC |
| 1fada20 | Jurriaan Hage | 01 March 2013, 14:22:05 UTC | It seems I have now succeeded in Cabalizing lvmrun. Please check, and read the lvmrun.cabal for some more details. Issues that might still give trouble is that we hard-code where the lvmrun should go, and cannot leave that to Cabal. | 01 March 2013, 14:22:05 UTC |
| 54dad77 | Bastiaan Heeren | 08 November 2012, 11:27:33 UTC | BSD license | 08 November 2012, 11:27:33 UTC |
| 3c2a7bb | Bastiaan Heeren | 08 November 2012, 11:03:28 UTC | volgorde auteurs | 08 November 2012, 11:03:28 UTC |
| c37e078 | Jurriaan Hage | 02 November 2012, 19:10:54 UTC | Fixed link to config directory | 02 November 2012, 19:10:54 UTC |
| 1e4e0c4 | Jurriaan Hage | 02 November 2012, 14:25:46 UTC | This has moved. | 02 November 2012, 14:25:46 UTC |
| 286e206 | Jurriaan Hage | 02 November 2012, 13:27:06 UTC | A new config.guess and config.sub so that it works for a recent macosx machine | 02 November 2012, 13:27:06 UTC |
| c1581fe | Jurriaan Hage | 02 November 2012, 12:21:03 UTC | More files had to be moved into runtime/ | 02 November 2012, 12:21:03 UTC |
| d909780 | Jurriaan Hage | 02 November 2012, 09:58:54 UTC | Moving stuff around Checking in the cabal and Setup file. | 02 November 2012, 09:58:54 UTC |
| d1a6e55 | Jurriaan Hage | 02 November 2012, 09:31:06 UTC | This is the same makefile, but under a different name | 02 November 2012, 09:31:06 UTC |
| 022540a | Jurriaan Hage | 02 November 2012, 09:30:33 UTC | Deleted makefile because Cabal wants Makefile | 02 November 2012, 09:30:33 UTC |
| 0f7db39 | Jurriaan Hage | 02 November 2012, 09:29:56 UTC | Moving configure, because seems to want that. | 02 November 2012, 09:29:56 UTC |
| ba7cc20 | Bastiaan Heeren | 26 October 2012, 13:30:15 UTC | added license headers | 26 October 2012, 13:30:15 UTC |
| ec0fad7 | Jurriaan Hage | 25 October 2012, 09:35:51 UTC | Exception ambiguity resolved | 25 October 2012, 09:35:51 UTC |
| 69b2228 | Jurriaan Hage | 25 October 2012, 09:29:08 UTC | Deleted warning for missing LVMPATH. | 25 October 2012, 09:29:08 UTC |
| e15c622 | Bastiaan Heeren | 25 October 2012, 08:43:52 UTC | syntax error in cabal file | 25 October 2012, 08:43:52 UTC |
| 8765e13 | Bastiaan Heeren | 25 October 2012, 08:41:55 UTC | renaming cabal (lvm-lib -> lvmlib) added description text, credits, authors, etc. | 25 October 2012, 08:41:55 UTC |
| cd33d2a | Jurriaan Hage | 04 October 2012, 13:02:21 UTC | Modifications made to remove superfluous imports and changed to Control.Exception. | 04 October 2012, 13:02:21 UTC |
| dcce952 | Jurriaan Hage | 04 October 2012, 11:58:12 UTC | Resolved conflict between IntSet and Prelude due to use of foldr. | 04 October 2012, 11:58:12 UTC |
| b59d1a4 | Bastiaan Heeren | 04 October 2012, 09:11:15 UTC | updating cabal file | 04 October 2012, 09:11:15 UTC |
| 386913d | Bastiaan Heeren | 10 September 2012, 06:05:37 UTC | freevars | 10 September 2012, 06:05:37 UTC |
| 9abfe90 | Bastiaan Heeren | 03 September 2012, 15:37:25 UTC | removing lvm files in test directory | 03 September 2012, 15:37:25 UTC |
| ebcde63 | Bastiaan Heeren | 03 September 2012, 15:17:08 UTC | cleaning up import/export lists | 03 September 2012, 15:17:08 UTC |
| e95854e | Bastiaan Heeren | 03 September 2012, 07:20:07 UTC | cleaning up parsing/lexing. adding some test scripts on Helium's core files | 03 September 2012, 07:20:07 UTC |
| 28fc0fa | Bastiaan Heeren | 31 August 2012, 15:16:49 UTC | refactoring | 31 August 2012, 15:16:49 UTC |
| 4c17e36 | Bastiaan Heeren | 31 August 2012, 13:28:38 UTC | many small fixes (mostly for parsing/pretty printing) | 31 August 2012, 13:28:38 UTC |
| e634277 | Bastiaan Heeren | 30 August 2012, 11:49:30 UTC | more fixes | 30 August 2012, 11:49:30 UTC |
| f485405 | Bastiaan Heeren | 30 August 2012, 10:01:13 UTC | fixing some incompatibilities in parser/pretty printer | 30 August 2012, 10:01:13 UTC |
| 8e80aa6 | Bastiaan Heeren | 29 August 2012, 11:39:35 UTC | options for main | 29 August 2012, 11:39:35 UTC |
| 8ed7e8b | Bastiaan Heeren | 28 August 2012, 15:19:58 UTC | initial cabal file for the core assembler | 28 August 2012, 15:19:58 UTC |
| e4d3f2d | Bastiaan Heeren | 28 August 2012, 14:03:14 UTC | cleaning up with hlint | 28 August 2012, 14:03:14 UTC |
| 9bec89c | Bastiaan Heeren | 28 August 2012, 11:29:52 UTC | refactoring | 28 August 2012, 11:29:52 UTC |
| 63c2cad | Bastiaan Heeren | 28 August 2012, 11:09:09 UTC | refactorings | 28 August 2012, 11:09:09 UTC |
| 6fd1132 | Bastiaan Heeren | 24 August 2012, 15:48:10 UTC | read and write | 24 August 2012, 15:48:10 UTC |
| 30e8555 | Bastiaan Heeren | 24 August 2012, 15:14:15 UTC | module and shadowing | 24 August 2012, 15:14:15 UTC |
| 7a2483c | Bastiaan Heeren | 24 August 2012, 15:00:50 UTC | parsers | 24 August 2012, 15:00:50 UTC |
| 44774a2 | Bastiaan Heeren | 24 August 2012, 14:18:06 UTC | lexers | 24 August 2012, 14:18:06 UTC |
| 7a16587 | Bastiaan Heeren | 24 August 2012, 13:11:57 UTC | fixing bug | 24 August 2012, 13:11:57 UTC |
| 21e6ed3 | Bastiaan Heeren | 24 August 2012, 08:47:07 UTC | refactorings | 24 August 2012, 08:47:07 UTC |
| 3fec5a7 | Bastiaan Heeren | 24 August 2012, 08:45:40 UTC | fixing test scripts | 24 August 2012, 08:45:40 UTC |
| 60b6639 | Bastiaan Heeren | 24 August 2012, 06:02:45 UTC | refactorings | 24 August 2012, 06:02:45 UTC |
| db8a1a8 | Bastiaan Heeren | 23 August 2012, 13:24:24 UTC | refactorings | 23 August 2012, 13:24:24 UTC |
| c33078b | Bastiaan Heeren | 23 August 2012, 07:21:14 UTC | moving pretty printers to data types (and into a type class) | 23 August 2012, 07:21:14 UTC |
| 07866bd | Bastiaan Heeren | 22 August 2012, 10:59:40 UTC | restructuring; removing library files that are now standard. | 22 August 2012, 10:59:40 UTC |
| fe6d60b | Bastiaan Heeren | 21 August 2012, 11:05:46 UTC | hierarchical module names (some to be renamed, some to be removed) | 21 August 2012, 11:05:46 UTC |
| 4655306 | Jurriaan Hage | 01 July 2012, 19:38:30 UTC | This should now work under 7.4.x. Chanhes to make it work for 7.2.x courtesy of Jurrien Stutterheim. | 01 July 2012, 19:38:30 UTC |
| 034223a | Jurriaan Hage | 02 September 2011, 21:08:20 UTC | To compile coreasm with Ghc 7.03 (as suggested by Arthur Baars) | 02 September 2011, 21:08:20 UTC |
| 9021902 | Jurriaan Hage | 25 October 2010, 19:51:58 UTC | 64bit modifications made by Arjan Oosting for Debian. | 25 October 2010, 19:51:58 UTC |
| 184eebe | Jurriaan Hage | 25 October 2010, 19:23:35 UTC | rec_ replaces rec. | 25 October 2010, 19:23:35 UTC |
| f9f85ba | Jurriaan Hage | 02 October 2010, 02:08:16 UTC | Final warnings. | 02 October 2010, 02:08:16 UTC |
| 53a5d30 | Jurriaan Hage | 01 October 2010, 21:49:27 UTC | Remove redundant. | 01 October 2010, 21:49:27 UTC |
| 09b28b3 | Jurriaan Hage | 01 October 2010, 15:10:26 UTC | Pruning dead code and undefineds. | 01 October 2010, 15:10:26 UTC |
| 2d6fce6 | Jurriaan Hage | 30 September 2010, 18:06:53 UTC | Changes made to configure to make sure that under MacOSX gcc is used with 32 bits and linked with i386 archictecture. This solves the problem of getting a can not fixup code references beyond a 4gb memory span. message when you actually use lvmrun to evaluate something. Whether this fix influences any other platforms, or may be necessary for other platforms is unknown. | 30 September 2010, 18:06:53 UTC |
| d92dac0 | Bastiaan Heeren | 24 April 2009, 14:26:18 UTC | Refactorings: removed redundant imports, removed some unnecessary wildcards at the end of a case | 24 April 2009, 14:26:18 UTC |
| 68eb2b7 | Bastiaan Heeren | 22 April 2009, 08:09:40 UTC | asprintf replaced by snprintf | 22 April 2009, 08:09:40 UTC |
| 34000c4 | Bastiaan Heeren | 19 April 2009, 14:22:33 UTC | Inserting some compiler pragmas | 19 April 2009, 14:22:33 UTC |
| 0044999 | Jurriaan Hage | 06 February 2009, 12:43:49 UTC | Why? | 06 February 2009, 12:43:49 UTC |
| 84030ac | Jurriaan Hage | 11 April 2008, 12:48:51 UTC | The -P option is now similar to the one of Helium. You can pass multiple options of this kind that are aggregated, the CURRENT parameter is now obsolete, and you may have a space between -P and the path. This is easier, because then tab completion may be used. | 11 April 2008, 12:48:51 UTC |
| f5592a2 | Jurriaan Hage | 20 February 2007, 12:32:04 UTC | Helium should now compile with ghc 6.6 and gcc 4.0 Note that on the MacBook you might need to give the host type. -host i686-apple-macosx worked in my case. | 20 February 2007, 12:32:04 UTC |
| 309d23b | Jurriaan Hage | 09 January 2007, 08:53:14 UTC | | 09 January 2007, 08:53:14 UTC |
| 48acddd | Bastiaan Heeren | 04 January 2006, 10:03:27 UTC | cpp condities verwijderd - Bastiaan | 04 January 2006, 10:03:27 UTC |
| 38decb1 | Bastiaan Heeren | 29 November 2005, 13:27:31 UTC | configure file aangepast - Bastiaan + Eelco D. | 29 November 2005, 13:27:31 UTC |
| e8117e8 | Bastiaan Heeren | 29 November 2005, 11:10:41 UTC | Parsec uit standaard library - Bastiaan | 29 November 2005, 11:10:41 UTC |
| 180e983 | martijn | 28 November 2005, 11:02:44 UTC | Added comment after \\ to make cpp function correctly. | 28 November 2005, 11:02:44 UTC |
| 5e42e56 | martijn | 28 November 2005, 10:48:52 UTC | Added comment after \\ to make cpp function correctly. | 28 November 2005, 10:48:52 UTC |
