File tree Expand file tree Collapse file tree 9 files changed +11
-11
lines changed
SparseBoomerangCorrectness Expand file tree Collapse file tree 9 files changed +11
-11
lines changed Original file line number Diff line number Diff line change 55 <parent >
66 <artifactId >SPDS</artifactId >
77 <groupId >de.fraunhofer.iem</groupId >
8- <version >3.2.2 </version >
8+ <version >3.2.3 </version >
99 </parent >
1010 <modelVersion >4.0.0</modelVersion >
1111
2020 <dependency >
2121 <groupId >de.fraunhofer.iem</groupId >
2222 <artifactId >boomerangPDS</artifactId >
23- <version >3.2.2 </version >
23+ <version >3.2.3 </version >
2424 </dependency >
2525 <dependency >
2626 <groupId >com.google.guava</groupId >
Original file line number Diff line number Diff line change 22 <parent >
33 <groupId >de.fraunhofer.iem</groupId >
44 <artifactId >SPDS</artifactId >
5- <version >3.2.2 </version >
5+ <version >3.2.3 </version >
66 <relativePath >../pom.xml</relativePath >
77 </parent >
88 <modelVersion >4.0.0</modelVersion >
Original file line number Diff line number Diff line change 22 <parent >
33 <groupId >de.fraunhofer.iem</groupId >
44 <artifactId >SPDS</artifactId >
5- <version >3.2.2 </version >
5+ <version >3.2.3 </version >
66 <relativePath >../pom.xml</relativePath >
77 </parent >
88 <modelVersion >4.0.0</modelVersion >
Original file line number Diff line number Diff line change 22 <parent >
33 <groupId >de.fraunhofer.iem</groupId >
44 <artifactId >SPDS</artifactId >
5- <version >3.2.2 </version >
5+ <version >3.2.3 </version >
66 <relativePath >../pom.xml</relativePath >
77 </parent >
88 <modelVersion >4.0.0</modelVersion >
2727 <dependency >
2828 <groupId >de.fraunhofer.iem</groupId >
2929 <artifactId >boomerangScope</artifactId >
30- <version >3.2.2 </version >
30+ <version >3.2.3 </version >
3131 </dependency >
3232 <dependency >
3333 <groupId >com.google.guava</groupId >
Original file line number Diff line number Diff line change 22 <parent >
33 <groupId >de.fraunhofer.iem</groupId >
44 <artifactId >SPDS</artifactId >
5- <version >3.2.2 </version >
5+ <version >3.2.3 </version >
66 <relativePath >../pom.xml</relativePath >
77 </parent >
88 <modelVersion >4.0.0</modelVersion >
Original file line number Diff line number Diff line change 22 <parent >
33 <groupId >de.fraunhofer.iem</groupId >
44 <artifactId >SPDS</artifactId >
5- <version >3.2.2 </version >
5+ <version >3.2.3 </version >
66 <relativePath >../pom.xml</relativePath >
77 </parent >
88 <modelVersion >4.0.0</modelVersion >
Original file line number Diff line number Diff line change 22 <parent >
33 <groupId >de.fraunhofer.iem</groupId >
44 <artifactId >SPDS</artifactId >
5- <version >3.2.2 </version >
5+ <version >3.2.3 </version >
66 <relativePath >../pom.xml</relativePath >
77 </parent >
88 <modelVersion >4.0.0</modelVersion >
Original file line number Diff line number Diff line change 33 <modelVersion >4.0.0</modelVersion >
44 <groupId >de.fraunhofer.iem</groupId >
55 <artifactId >SPDS</artifactId >
6- <version >3.2.2 </version >
6+ <version >3.2.3 </version >
77 <packaging >pom</packaging >
88 <name >SPDS</name >
99 <description >Sparsified Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</description >
Original file line number Diff line number Diff line change 22 <parent >
33 <groupId >de.fraunhofer.iem</groupId >
44 <artifactId >SPDS</artifactId >
5- <version >3.2.2 </version >
5+ <version >3.2.3 </version >
66 <relativePath >../pom.xml</relativePath >
77 </parent >
88 <modelVersion >4.0.0</modelVersion >
You can’t perform that action at this time.
0 commit comments