Is the alternator light on when you are reading 12.25V on the battery terminals?
If you are only seeing 12.25V when the engine is running you have a charging problem with the alternator. The low output of the alternator and the resulting draining of the battery is what triggered the ABS fault, which is probably for low voltage to the ABS computer.
The fastest way to get to the bottom of things is to pull the alternator and get it to an automotive electrical shop. It will take them less than 5 minutes to test your alternator and tell you if it is good or tell you what the problem is. If there is a problem, they can give you an estimate of how long and how much to fix it.
When you have the alternator out you can also check the drive dog. I had a problem with the charging system on my RT that turned out to be caused by the drive dog's splines stripping out. This resulted in the dog slipping on it's drive shaft and when the alternator was under load the dog slipped and didn't turn the alternator fast enough to get any output. It's a weird problem, and I have never heard of anyone else having it, but it's something to check while the alternator is out. Just grab the dog and see if you can turn it. If you can, it's stripped and probably needs to be replaced.