Change Log

age author description
Fri, 29 Jul 2016 09:55:16 +0200 Petr Hudecek mergedefault tip
Tue, 26 Jul 2016 14:42:24 +0200 Petr Hudecek rename core8 to jpf-coreupdate2016
Thu, 07 Jul 2016 13:32:50 +0200 Petr Hudecek Removing debug statements from the shellupdate2016
Mon, 04 Jul 2016 08:50:45 +0200 Petr Hudecek jpf-shell now properly handles moving tabs from shell to shell, and closing panels in child shells, and closing child shells themselves, as far as I can tellupdate2016
Sat, 02 Jul 2016 09:10:11 +0200 Petr Hudecek There are MASSIVE problems in the tab-tearing components just like the comments suggested; tabs disappear when they are dragged to another screen and god forbid somebody try to move tabs around in child shells or even close child shell tabs, or the child shells themselves; unfortunately, it seems like it's really hard to fixupdate2016
Wed, 29 Jun 2016 20:15:07 +0200 Petr Hudecek removing dummy fileupdate2016
Wed, 29 Jun 2016 19:48:32 +0200 Petr Hudecek linked jpf-shell to the BYU serverupdate2016
Wed, 29 Jun 2016 19:46:47 +0200 Petr Hudecek ignore file, IDEAupdate2016
Wed, 29 Jun 2016 19:24:19 +0200 Petr Hudecek prettier images in line with Inspector style; JPF6->JPF8 forgotten rename; compatibility with Inspector testsupdate2016
Wed, 29 Jun 2016 19:16:30 +0200 Petr Hudecek Last Pre-update (Stable) Commit (you probably want this)update2016
Wed, 29 Jun 2016 19:14:39 +0200 Petr Hudecek file addedupdate2016
Sun, 16 Feb 2014 12:38:49 -0800 Peter Mehlitz missed core rename of Publisher.setTopic*(..) => setTopicItem*(..)
Mon, 24 Jun 2013 13:46:26 -0700 Peter Mehlitz some on-the-fly refactoring of TestCommand, to facilitate overriding of paths and commands in subclasses
Fri, 21 Jun 2013 20:03:22 -0700 Peter Mehlitz add parent dir site lookup to NB config
Fri, 07 Jun 2013 18:16:39 -0700 Peter Mehlitz initial v7 port - only real issue is application main class (there can be more than one)
Fri, 07 Jun 2013 18:14:00 -0700 Peter Mehlitz branched out v6v6
Tue, 21 May 2013 00:03:50 -0700 Peter Mehlitz updated Run*.jars
Wed, 09 Nov 2011 10:23:19 -0800 Peter Mehlitz ConsolePanel should honor shell.capture_streams=false, too (just a debugging tool)
Sun, 06 Nov 2011 22:28:22 -0800 Peter Mehlitz temp fix for missing PublisherExtension handling in TopicPublisher (we have redundant classes for this!). The problem is that it subclasses ConsolePublisher, but adds itself as a separate one w/o copying extensions of the (hopefully) already registered ConsolePublisher. Now we copy extensions, but the things should really replace instead of copy
Sat, 05 Nov 2011 12:48:28 -0700 Peter Mehlitz forgot yet again to add missing files to src-dist build target
Sat, 05 Nov 2011 12:45:14 -0700 Peter Mehlitz updated eclipse config
Tue, 01 Nov 2011 09:15:28 -0700 Peter Mehlitz refactored ReportPanel to nor bog down JPF with progress update, using async statistics topic
Wed, 17 Aug 2011 16:58:08 -0700 Peter Mehlitz progress tracker should be async - its a bad idea to break JPF on every stupid little insn that gets executed with a sync screen update
Mon, 01 Aug 2011 23:21:12 -0700 Peter Mehlitz removed obsolete classes
Thu, 28 Jul 2011 10:32:26 -0700 Peter Mehlitz refactored to allow startup without app property file
Fri, 08 Jul 2011 11:01:43 -0700 Peter Mehlitz some of the SUTs under examples were not in the runnable package. Examples need to be cleaned up!
Fri, 08 Jul 2011 10:45:02 -0700 Peter Mehlitz more Eclipse config - forgot jpf-core dependency for Java builder
Thu, 07 Jul 2011 17:14:26 -0700 Peter Mehlitz updated Eclipse config: set Java nature in .project, add .classpath
Thu, 26 May 2011 23:09:29 -0700 Peter Mehlitz updated Run*.jars, were missing JPFClassLoader methods
Fri, 06 May 2011 16:58:42 -0700 Peter Mehlitz sync with jpf-core
Sun, 07 Nov 2010 14:17:34 -0800 Peter Mehlitz merge & jpf-core related changes
Sun, 07 Nov 2010 13:11:00 -0800 Peter Mehlitz updated standard scripts and Run*.jars
Wed, 08 Sep 2010 18:24:21 -0500 Sandro Badame Maybe fixed the multiple nodes.
Wed, 08 Sep 2010 18:04:22 -0500 Sandro Badame Fixed the error message
Wed, 08 Sep 2010 18:03:47 -0500 Sandro Badame Attempt 2 at fixing errors from JPF.
Wed, 08 Sep 2010 17:57:54 -0500 Sandro Badame Removed exception
Wed, 08 Sep 2010 17:55:36 -0500 Sandro Badame Fixed merge
Wed, 08 Sep 2010 17:54:47 -0500 Sandro Badame Added Logging
Wed, 08 Sep 2010 17:52:28 -0500 Sandro Badame Attemting to bring logging back in.
Tue, 10 Aug 2010 21:24:30 -0400 Sandro Badame Commands can now be added like Panels are.
Mon, 09 Aug 2010 12:39:13 -0400 Sandro Badame Added the smilie command as an example
Wed, 04 Aug 2010 10:38:17 -0400 Sandro Badame The spiral of death is now the Shell icon.
Tue, 03 Aug 2010 22:16:09 -0400 Sandro Badame Nerfed the logging panel until I can enumerate through loggers.
Tue, 03 Aug 2010 21:49:51 -0400 Sandro Badame Hyperlinks working well. New Instructions panel to see what get executed between states in the search graph panel.
Fri, 30 Jul 2010 14:42:36 -0400 Sandro Badame Hyperlinks working now!!
Thu, 29 Jul 2010 15:47:44 -0400 Sandro Badame Finally got the hyperlinks works some what decently well!
Wed, 21 Jul 2010 16:43:15 -0400 Sandro Badame Added much better support for adding hyperlinks to text components
Mon, 19 Jul 2010 13:51:22 -0400 Sandro Badame Stack the components vertically
Fri, 16 Jul 2010 14:30:13 -0400 Sandro Badame Added the RunCommandPanel and changed a little of how commands are tracked.
Fri, 16 Jul 2010 13:17:35 -0400 Sandro Badame Fixed an issue with dragging panels into their own Frame
Wed, 14 Jul 2010 16:55:13 -0400 Sandro Badame Starting to get an actually working true graph representation of JPF searches.
Tue, 13 Jul 2010 15:00:51 -0400 Sandro Badame Pulling in a previous merge
Tue, 13 Jul 2010 15:00:28 -0400 Sandro Badame The custom rendering on the list is much prettier now!!
Mon, 12 Jul 2010 16:47:23 -0400 Sandro Badame Merge fix
Mon, 12 Jul 2010 16:46:21 -0400 Sandro Badame Removed the ability to attach a listener to a command instead of a class.
Thu, 08 Jul 2010 14:02:52 -0400 Sandro Badame Added in the prettier command bar. Should be much prettier now.
Thu, 08 Jul 2010 12:05:44 -0400 Sandro Badame Fixed the long standing tooltip tab bug.
Fri, 02 Jul 2010 11:02:02 -0400 Sandro Badame More stable DnD. Working on making the command bar prettier.
Thu, 01 Jul 2010 10:29:05 -0400 Sandro Badame Tabs drag much more nicely. Working on the unclickable title bug.
Tue, 29 Jun 2010 09:21:09 -0400 Sandro Badame Tabs menu option is working much more reliably now. Still broken for multiple frames.