Differences

This shows you the differences between two versions of the page.

--- projects [2019/07/29 21:38] – franck
+++ projects [2019/07/29 21:39] (current) – franck
@@ Line 5: / Line 5: @@
 Below you find a very brief overview of the projects that students did the last four years.
-===== Modifying MethodTracker =====
+====== Modifying MethodTracker ======
 The goal is to improve the listener gov.nasa.jpf.listener.MethodTracker.
-===== NoStateCycles Enhancement =====
+====== NoStateCycles Enhancement ======
 The goal is to improve the listener gov.nasa.jpf.listener.NoStateCycles.
-===== JPF Plugin for Eclipse 4.10 =====
+====== JPF Plugin for Eclipse 4.10 ======
 The goal is to update the JPF plugin for Eclipse so that it works with version 4.10.
-===== Extending VMListener: Variable Tracking Functionality =====
+====== Extending VMListener: Variable Tracking Functionality ======
 The goal is to develop a listener that tracks variables.
-===== Implementing AdjacencyMatrix and AdjacencyList Listener =====
+====== Implementing AdjacencyMatrix and AdjacencyList Listener ======
 The goal is to develop a listener that stores the state space as an adjacency matrix and an adjacency list.
-===== JPF Update StackDepthChecker =====
+====== JPF Update StackDepthChecker ======
 The goal is to improve the listener gov.nasa.jpf.listener.StackDepthChecker.
-===== Documenting Search Listeners =====
+====== Documenting Search Listeners ======
 The goal is to document some of JPF's search listeners.
-===== Improving Numerical Value Checker Listener =====
+====== Improving Numerical Value Checker Listener ======
 The goal is to improve the listener gov.nasa.jpf.listener.NumericValueChecker.
-===== Improving VarTracker =====
+====== Improving VarTracker ======
 The goal is to improve the listener gov.nasa.jpf.listener.VarTracker.