Recent changes to Home

Discussion for Home page

Chihhong Cheng — Tue, 20 May 2014 22:29:22 -0000

Release note (ver0.3; revision 7)

Minor improvement for error estimation. Originally in range transformation, if the absolute value of the lower bound is below 1, then the estimation uses 1 to over-approximate. Now the solver refines it by using 0.25, 0.5, 0.75, and 1.

Discussion for Home page

Chihhong Cheng — Tue, 02 Apr 2013 17:32:17 -0000

Release note (ver0.3; revision 6)

Enrich the readme file

Discussion for Home page

Chihhong Cheng — Wed, 27 Mar 2013 10:45:54 -0000

Release note (ver0.3; revision 5)

Slightly change the title, so that the version in softpedia can properly use JBernstein as the name of the tool.

Discussion for Home page

Chihhong Cheng — Tue, 19 Mar 2013 11:07:05 -0000

Release note (ver0.3; revision 4)
Allow to use automatic error detection in assume-guarantee properties.

Previously this feature is not included. Therefore, if any user that uses JBernstein 0.3r3 to check assume-guarantee style properties, they need to modify the code of JBernstein, making their project GPL as well. Now this restriction is removed.

Discussion for Home page

Chihhong Cheng — Wed, 06 Mar 2013 17:03:35 -0000

Release note (ver0.3; revision 3)
Fix input spacing problem in assume-guarantee style specifications.

Discussion for Home page

Chihhong Cheng — Fri, 25 Jan 2013 12:41:19 -0000

Release note (ver0.3; revision 2)
Fix input reading problem in assume-guarantee style specifications.

Discussion for Home page

Chihhong Cheng — Tue, 15 Jan 2013 10:35:23 -0000

Release note (Version 0.3)
Precise error estimation following the text in the working draft.
Users now directly selects "automatic error estimation" rather than picking an error-estimate themselves.

Discussion for Home page

Chihhong Cheng — Sat, 12 Jan 2013 12:04:20 -0000

Perform bug fix in error-estimation.

Discussion for Home page

Chihhong Cheng — Tue, 08 Jan 2013 10:15:48 -0000

Version 0.2 (2013/01/08)
* Enable error-estimate due to imprecision of double.
* Enable precise derivation for counter-examples.

WikiPage Home modified by Chihhong Cheng

Chihhong Cheng — Wed, 02 Jan 2013 08:57:49 -0000

Welcome to your wiki!

This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: [SamplePage].

The wiki uses Markdown syntax.

Chihhong Cheng