Logo

bugs

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Issue#CreatedCategoryVersionPriorityStatusSummary
000652017-10-05 12:06Bug1Closedtest
000642013-02-28 21:02QBaibXNXPWKVXGmTOpeneLoLbbwTQweB
000632012-07-13 08:24BugSnoopy 2.0 Build 02.05.20125OpenCrash by saving fault trees
000622012-06-10 02:04OtherJune 9 charliev2.0.jarOpenfirst use
000612012-03-16 16:10Bug1.095OpenExport Colored Stochastic Petri Nets to APNN
000602011-12-14 17:40Bugversion: v2.0.171.217 built: 2011-11-043Open#Dst's in stubborn reduction doesn't match with #Dst's in RG
000592011-12-02 13:40Bugv2.0.171.2173OpenAbbreviation for Synchronization-Graph is not consistent
000582011-11-04 09:52Feature2.0-b158-r2085resolvedReverse color and tooltip for dead transition
000572011-09-26 11:32Bug2.0-b158-r2085ConfirmedPlugin: import menu item is not visible in menu when reader is added
000562011-09-22 15:51Bug4ResolvedDescription and internals do not match (DSt, DTr)
000552011-09-20 10:43BugFeb. 18. 2011, Aug. 26. 20111ResolvedCrash in Preferences
000542011-09-09 14:50Bug3ResolvedSetting permissions at setup fails
000532011-08-01 12:48Bug1.055ResolvedCrash: Colored Stochastic Petri Nets - Simulation
000522011-07-28 15:25Bug1.055ResolvedCrash: Export Simulation CPN
000512011-07-28 15:05Bug1.055ResolvedCPN Simulation Error (SPN-->CPN)
000502011-07-15 17:24Feature3ClosedAdd a reader for INA files (.cnt)
000492011-07-15 17:18Feature4OpenAnalyzer: please add an analyzer for computing sub/sur p/t invariants
000482011-07-15 08:19Feature3ClosedAdd a reader for INA files (.pnt)
000472011-07-04 12:14Feature2OpenPlugin: add a feature so that plugins can be loaded and unload at runtime
000462011-07-04 12:08Bug4ClosedPlugin: correct the usage of libraries in plugins
000452011-07-04 12:07Feature4ClosedPlugin: add a possibility to add new parsers
000442011-06-29 11:43Feature4ClosedMarking Editor: load every set of marking from a snoopy file
000432011-06-29 11:39Bug4OpenMarking Editor: after a reload the set of markings is deleted
000422011-06-29 11:37Bug5ClosedMarking Editor: edited markings are not adopted
000412011-06-28 09:07Bug5ClosedWrong file format when exporting siphons
000402011-06-16 14:23Bug1.02beta, 1.034ResolvedSnoopy crashes when node set file is loaded (siphons).
000392011-06-07 11:39Bug2ClosedProtocol button remains pressed when user clicks "hide" in protocol window
000382011-06-03 11:54Feature3ClosedAdd option that can toggle on/off writing the log file
000372011-06-03 11:38Feature4ClosedRemove modality from output window
000362011-06-03 11:31Feature4ClosedAdd the output from the output window to the protocol
000352011-05-31 12:11Bug5ClosedBug in exporting P-Invariants and T-Invariants
000342011-05-28 02:01Feature4ClosedAdd number of arcs, places and transitions to the output
000332011-05-27 14:20Other2OpenChange Internal Message System
000322011-05-23 19:13Documentation3Spamspam
000312011-05-22 14:02Feature4Spamspam
000302011-05-21 14:16Documentation3Spamspam
000292011-05-17 12:21Feature3ConfirmedAdd option for filtering output
000282011-05-17 11:40Feature3ConfirmedDecouple computation of bad siphons from create all
000272011-05-17 10:36Other2ClosedSpelling mistake in output window
000262011-05-12 21:17Bug3ClosedOutput when calculating siphons is misleading
000252011-05-12 20:43Bug4ClosedRead arcs have no effect on TF0 and FP0
000242011-05-11 17:45BugClosed
000232011-05-06 08:57Bug1.03, 1.02 beta5ResolvedBug: it's getting even more worse
000222011-05-04 16:20BugFei's Special Release for the Dictopad project?5ResolvedBug: Input Arcs,Input Places in Coarse Transition
000212011-05-03 13:11Bug2ClosedSpelling mistake in structural reduction
000202011-05-03 13:09Feature4ClosedStructural reduction should be repeatedly applied
000192011-05-03 12:54Bug5ClosedExport siphons creates duplicate results
000182011-05-03 12:47Bug4ClosedCharlie fails to export all siphons
000172011-05-03 12:37Feature3ClosedAdd new Rule "!CTI => !SCTI"
000162011-05-03 12:31Feature5ClosedAdd option to calculate "bad siphons" only
000152011-05-03 12:05Bug5ClosedSimplex Algorithm terminates too early
000142011-04-08 17:46Bug4ClosedCheckbox "dependent sets" is always enabled
000132011-04-07 11:03Bug4ClosedClicking on a recently opened file gives no warning that results will be lost
000122011-04-07 10:47Feature2ClosedAdd missing tooltips in menu bar
000112011-04-07 10:18Bug1.03ResolvedBug: Export CPN 2 HPN - EDIT
000102011-04-07 10:04Bug1.035ResolvedBug: Export CPN 2 HPN
000092011-04-06 17:14Bug4ClosedRecently opened files are not in the menu after restarting Charlie
000082011-04-05 17:15Bug3ClosedCorrect use of capital letters in menu bar
000072011-03-31 12:57Feature2ConfirmedHelp function
000062011-03-31 11:49Feature2ClosedUpdate function
000052011-03-30 13:53Bug3ClosedSpelling mistake when computing T-invariants
000042011-03-30 13:09Bug5ClosedClicking through results does not work
000032011-03-23 11:23Documentation0.1ClosedAnother test
000022011-03-23 10:46Other0.01ClosedTest bug report
000012011-03-23 09:39Bug1.021ClosedTest

… the end …

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy