{"push_id":733171633,"size":1,"distinct_size":1,"ref":"refs/heads/feiran-extension","head":"529518dc4b6e09bd7bdbf25264613bb5dffb981c","before":"c79875ceac8f16c98cb37409d275081b8da69a0d","commits":[{"sha":"529518dc4b6e09bd7bdbf25264613bb5dffb981c","author":{"email":"62793274a272fc2f7b23e9953bab9a955fb64a76@gmail.com","name":"Feiran Wang"},"message":"Refactoring\n\n1. Seperate different types of expressions\n2. Update floating point number and integer parsers to resolve parsing ambiguation with dot delimiter\n3. Unify factor weight\n4. More tests for factor weight","distinct":true,"url":"https://api.github.com/repos/HazyResearch/ddlog/commits/529518dc4b6e09bd7bdbf25264613bb5dffb981c"}]}