Fix Ivy bug with IP address. Add test class for synthesis. Add lib for synthesis