File tree 9 files changed +11
-11
lines changed
SparseBoomerangCorrectness
9 files changed +11
-11
lines changed Original file line number Diff line number Diff line change 5
5
<parent >
6
6
<artifactId >SPDS</artifactId >
7
7
<groupId >de.fraunhofer.iem</groupId >
8
- <version >3.2.2 </version >
8
+ <version >3.2.3 </version >
9
9
</parent >
10
10
<modelVersion >4.0.0</modelVersion >
11
11
20
20
<dependency >
21
21
<groupId >de.fraunhofer.iem</groupId >
22
22
<artifactId >boomerangPDS</artifactId >
23
- <version >3.2.2 </version >
23
+ <version >3.2.3 </version >
24
24
</dependency >
25
25
<dependency >
26
26
<groupId >com.google.guava</groupId >
Original file line number Diff line number Diff line change 2
2
<parent >
3
3
<groupId >de.fraunhofer.iem</groupId >
4
4
<artifactId >SPDS</artifactId >
5
- <version >3.2.2 </version >
5
+ <version >3.2.3 </version >
6
6
<relativePath >../pom.xml</relativePath >
7
7
</parent >
8
8
<modelVersion >4.0.0</modelVersion >
Original file line number Diff line number Diff line change 2
2
<parent >
3
3
<groupId >de.fraunhofer.iem</groupId >
4
4
<artifactId >SPDS</artifactId >
5
- <version >3.2.2 </version >
5
+ <version >3.2.3 </version >
6
6
<relativePath >../pom.xml</relativePath >
7
7
</parent >
8
8
<modelVersion >4.0.0</modelVersion >
Original file line number Diff line number Diff line change 2
2
<parent >
3
3
<groupId >de.fraunhofer.iem</groupId >
4
4
<artifactId >SPDS</artifactId >
5
- <version >3.2.2 </version >
5
+ <version >3.2.3 </version >
6
6
<relativePath >../pom.xml</relativePath >
7
7
</parent >
8
8
<modelVersion >4.0.0</modelVersion >
27
27
<dependency >
28
28
<groupId >de.fraunhofer.iem</groupId >
29
29
<artifactId >boomerangScope</artifactId >
30
- <version >3.2.2 </version >
30
+ <version >3.2.3 </version >
31
31
</dependency >
32
32
<dependency >
33
33
<groupId >com.google.guava</groupId >
Original file line number Diff line number Diff line change 2
2
<parent >
3
3
<groupId >de.fraunhofer.iem</groupId >
4
4
<artifactId >SPDS</artifactId >
5
- <version >3.2.2 </version >
5
+ <version >3.2.3 </version >
6
6
<relativePath >../pom.xml</relativePath >
7
7
</parent >
8
8
<modelVersion >4.0.0</modelVersion >
Original file line number Diff line number Diff line change 2
2
<parent >
3
3
<groupId >de.fraunhofer.iem</groupId >
4
4
<artifactId >SPDS</artifactId >
5
- <version >3.2.2 </version >
5
+ <version >3.2.3 </version >
6
6
<relativePath >../pom.xml</relativePath >
7
7
</parent >
8
8
<modelVersion >4.0.0</modelVersion >
Original file line number Diff line number Diff line change 2
2
<parent >
3
3
<groupId >de.fraunhofer.iem</groupId >
4
4
<artifactId >SPDS</artifactId >
5
- <version >3.2.2 </version >
5
+ <version >3.2.3 </version >
6
6
<relativePath >../pom.xml</relativePath >
7
7
</parent >
8
8
<modelVersion >4.0.0</modelVersion >
Original file line number Diff line number Diff line change 3
3
<modelVersion >4.0.0</modelVersion >
4
4
<groupId >de.fraunhofer.iem</groupId >
5
5
<artifactId >SPDS</artifactId >
6
- <version >3.2.2 </version >
6
+ <version >3.2.3 </version >
7
7
<packaging >pom</packaging >
8
8
<name >SPDS</name >
9
9
<description >Sparsified Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</description >
Original file line number Diff line number Diff line change 2
2
<parent >
3
3
<groupId >de.fraunhofer.iem</groupId >
4
4
<artifactId >SPDS</artifactId >
5
- <version >3.2.2 </version >
5
+ <version >3.2.3 </version >
6
6
<relativePath >../pom.xml</relativePath >
7
7
</parent >
8
8
<modelVersion >4.0.0</modelVersion >
You can’t perform that action at this time.
0 commit comments