| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Forgot to patch the config file to point to the right binaries. | Mart Kolthof | 2007-03-08 |
| | | | | | svn path=/nixpkgs/trunk/; revision=8256 | ||
| * | upgraded to version 1.3.6 | Mart Kolthof | 2007-03-05 |
| | | | | | svn path=/nixpkgs/trunk/; revision=8185 | ||
| * | Fixed typo. | Mart Kolthof | 2007-01-23 |
| | | | | | svn path=/nixpkgs/trunk/; revision=7778 | ||
| * | Altered download location to sourceforge. | Mart Kolthof | 2007-01-23 |
| | | | | | svn path=/nixpkgs/trunk/; revision=7769 | ||
| * | CX-1: Nix installation of CX is broken | Martin Bravenboer | 2006-09-13 |
| | | | | | | | | | | Fixed the CilConfig.pm.in to use the prefix instead of the cilhome, which is for whatever reason set to the pwd. Yeah. These CIL guys could use some deployment help. svn path=/nixpkgs/trunk/; revision=6516 | ||
| * | Enabling verbose output in order find the problem of bug CX-1 | Mart Kolthof | 2006-08-31 |
| | | | | | svn path=/nixpkgs/trunk/; revision=6407 | ||
| * | Trying to resolve bug CX-1 | Mart Kolthof | 2006-08-30 |
| | | | | | svn path=/nixpkgs/trunk/; revision=6383 | ||
| * | * trying to keep to the standards | Mart Kolthof | 2006-08-24 |
| | | | | | svn path=/nixpkgs/trunk/; revision=6226 | ||
| * | * Third try :P | Mart Kolthof | 2006-08-24 |
| | | | | | svn path=/nixpkgs/trunk/; revision=6222 | ||
| * | * Second try | Mart Kolthof | 2006-08-24 |
| | | | | | svn path=/nixpkgs/trunk/; revision=6221 | ||
| * | * Switching back to OCaml 3.08.0 to hopefully resolve compile errors | Mart Kolthof | 2006-08-23 |
| | | | | | svn path=/nixpkgs/trunk/; revision=6215 | ||
| * | * refactored operators, kinds and storage modifiers to make them checkable ↵ | Mart Kolthof | 2006-02-20 |
| | | | | | | | at compiletime svn path=/nixpkgs/trunk/; revision=4863 | ||
| * | inversed patch | Mart Kolthof | 2006-01-16 |
| | | | | | svn path=/nixpkgs/trunk/; revision=4560 | ||
| * | added binaries in 'make install' | Mart Kolthof | 2006-01-16 |
| | | | | | svn path=/nixpkgs/trunk/; revision=4555 | ||
| * | changed cil from version 1.3.3 to 1.3.4 | Mart Kolthof | 2006-01-16 |
| | | | | | svn path=/nixpkgs/trunk/; revision=4552 | ||
| * | added the right buildInputs | Mart Kolthof | 2006-01-09 |
| | | | | | svn path=/nixpkgs/trunk/; revision=4528 | ||
| * | added cil-aterm to nixpkgs | Mart Kolthof | 2006-01-02 |
| svn path=/nixpkgs/trunk/; revision=4482 | |||