Projects / RTL-check / Releases

All releases of RTL-check

  •  13 Sep 2006 05:10
Avatar

    Release Notes: The performance of the analysis was improved, and a minor bug was fixed.

    •  03 Apr 2006 06:26
    Avatar

      Release Notes: The precision of ModuloSolver has been improved. Experimental analyses for checking the size of local variables and integer overflows were added. A preview release of a shell to run and debug analysis is also available as a patch (RDB).

      •  22 Dec 2005 06:52
      Avatar

        Release Notes: The framework now supports the concept of flow insensitive analysis. This version adds an analysis that automatically computes the size of call parameters. Some documentation improvements and bugfixes were made.

        •  08 Aug 2005 05:12
        Avatar

          Release Notes: This version is mostly a bugfix release. Many important bugs that affected the correctness of the analysis were fixed. The analysis as a whole is now cleaner and easier to understand. Integer overflows aside, this version of the analysis is believed to be safe. (The last few versions were definitely not.)

          •  21 Jul 2005 05:29
          Avatar

            Release Notes: The main improvement of this version is that the framework now supports widening and narrowing. The linear solver has been converted to use the new interface. Also, a few modules have been cleaned up and some bugs were fixed.

            •  28 Jun 2005 06:48
            Avatar

              Release Notes: The analysis framework was improved: the relations between solvers, policies, interpreters, and analyses are better defined. The implementation of liveness analysis has been improved, and it more closely follows the theorical definition of a monotone framework. An important flaw in solvers has been fixed.

              •  31 May 2005 08:24
              Avatar

                Release Notes: This release now knows about memory aliases. The output of its analysis is cleaner and much easier to understand. Many bugs were fixed. Documentation has been updated and there is now a guide describing how you can analyze your own code.

                •  31 Mar 2005 13:28
                Avatar

                  Release Notes: It implements a new powerful and extensible abstract interpretation framework. The analysis is now more precise because it knows about relations between integers and it understands linear relations between variables.

                  •  26 Jan 2005 11:52
                  Avatar

                    Release Notes: In this version, the analysis is now faster, has fewer bugs, and it gives more useful results when it can't handle some constraint.

                    •  12 Nov 2004 06:38
                    Avatar

                      Release Notes: This version implements abstract interpretation to perform analysis on programs using the constraint system.

                      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.