{6} All Tickets By Milestone (Including closed) (334 matches)

A more complex example to show how to make advanced reports.

Results (301 - 334 of 334)

← 1 2 3 4

(empty) (34 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#41 change the JUnit test test closed fixed 1.0 defect minor zirkel 17 years ago
#53 Add <= operator to model model closed fixed 1.0 defect major Stephen Siegel 17 years ago
#46 add front end support for if-then-else front closed fixed 1.0 enhancement major ywei 17 years ago
#45 add support for initial values of scalar variables to model model closed fixed 1.0 enhancement major Stephen Siegel 17 years ago
#29 matrix multiplication tiling is incorrect examples closed fixed 1.0 defect major zirkel 17 years ago
#18 examples examples closed fixed 1.0 task major zirkel 17 years ago
#39 format of examples examples closed fixed 1.0 defect major zirkel 17 years ago
#27 send-recv deadlock examples closed fixed 1.0 defect major zirkel 17 years ago
#37 Command line option to specify buffer bound front closed fixed 1.0 enhancement major ywei 17 years ago
#35 if-then-else multiple closed fixed 1.0 enhancement major ywei 17 years ago
#38 Need ifThenElse symbolic expression symbolic closed fixed 1.0 task critical ywei 17 years ago
#36 Flag to control simplify multiple closed fixed 1.0 defect major ywei 17 years ago
#33 illegal use of output variable in matmat examples closed fixed 1.0 defect major zirkel 17 years ago
#20 illegal reading of output variable examples closed fixed 1.0 defect major zirkel 17 years ago
#23 printing of symbolic expressions needs improvement symbolic closed fixed 1.0 enhancement minor ywei 17 years ago
#30 improve model names User Interface closed fixed 1.0 enhancement minor ywei 17 years ago
#25 SyntaxException when verifying matmat-seq.mmp examples closed fixed 1.0 defect minor zirkel 17 years ago
#21 improvements to user interface User Interface closed fixed 1.0 enhancement minor ywei 17 years ago
#26 Error in front-end on factorial example front closed fixed 1.0 defect major ywei 17 years ago
#24 symbolic arrayWrite method giving incorrect results symbolic closed fixed 1.0 defect critical ywei 17 years ago
#7 white space in text front closed fixed 1.0 enhancement minor ywei 17 years ago
#16 symbolic exception: arrayloop_2 symbolic closed fixed 1.0 defect major ywei 17 years ago
#12 Execution exception in Evaluator front closed fixed 1.0 defect major ywei 17 years ago
#14 flaw in simplify routine? symbolic closed fixed 1.0 defect major ywei 17 years ago
#13 erratic behavior in symbolic package symbolic closed fixed 1.0 defect major ywei 17 years ago
#15 prover debugging output should print result symbolic closed fixed 1.0 enhancement minor ywei 17 years ago
#8 symbolic expressions not being transformed into canonical form symbolic closed fixed 1.0 enhancement major ywei 17 years ago
#10 command line interface additions front closed fixed 1.0 enhancement minor ywei 17 years ago
#6 text associated to branch statements front closed fixed 1.0 enhancement minor ywei 17 years ago
#5 command line interface corrections front closed fixed 1.0 defect minor ywei 17 years ago
#4 ugly output in verbose mode front closed fixed 1.0 defect minor ywei 17 years ago
#3 Execution exception in InnerPredicate verify closed fixed 1.0 defect major Stephen Siegel 17 years ago
#2 null pointer exception in Evaluator semantics closed fixed 1.0 defect major Stephen Siegel 17 years ago
#1 null corresponding variable: tile example verify closed fixed 1.0 defect major ywei 17 years ago
← 1 2 3 4
Note: See TracReports for help on using and creating reports.