All releases of CIL (C Intermediate Language)

  •  24 Jul 2013 17:04
Avatar

    Release Notes: This release fixes installation of the CIL library. It fixes machine-independent flags in cilly (eg. -fPIC).

    •  27 Jun 2013 10:00
    Avatar

      Release Notes: Building and installation of the CIL library was fixed.

      •  18 Jun 2013 15:38
      Avatar

        Release Notes: This release improves the build system and installation (available as an opam package).

        •  03 Jun 2013 18:21
        Avatar

          Release Notes: This release supports C99 flexible array members, supports GCC’s “case range” extension (--useCaseRange), adds a “regtest” make target to run regression tests, installs cilly as a proper Perl script, and adds many bugfixes.

          •  22 Mar 2013 08:51
          Avatar

            Release Notes: New features: support for static local variables and GCC’s "computed gotos" (or "labels as values"). Various bugfixes.

            •  14 Jul 2012 11:13
            Avatar

              Release Notes: This release adds native versions the of OCaml tool. It fixes a bug which caused pointer difference operations to be incorrectly typed, integer overflows in pragma, and various regression tests and doc generation.

              •  14 Jun 2012 12:34
              Avatar

                Release Notes: The major change in this release is the introduction of a Question variant in the Cil.exp type, to represent expressions such as 1 == 2 ? 3: 4. It is enabled by the flag --useLogicalOperators. By default, legacy code should therefore compile and run without trouble against CIL 1.5.0, except for a few "non-exhaustive pattern matching" warnings on Cil.exp variables. This release also adds support for new GCC attributes and builtins, and fixes a number of issues, thanks to many bug reports and patches.

                •  05 Nov 2011 16:25
                Avatar

                  Release Notes: This release fixes a number of bugs (including support for OCaml 3.12) and adds a few enhancements (support for some gcc builtins in particular). Note that the project is not maintained by UC Berkeley anymore, due to lack of time and manpower. The new maintainer is Gabriel Kerneis.

                  •  09 Mar 2003 11:03
                  Avatar

                    Release Notes:

                    Screenshot

                    Project Spotlight

                    episoder

                    A tool to tell you about new episodes of your favourite TV shows.

                    Screenshot

                    Project Spotlight

                    BalanceNG

                    A modern software IP load balancer.