{"push_id":3015892329,"size":7,"distinct_size":7,"ref":"refs/heads/skeirik","head":"550970f126577aa070b5ece11babebf1881ec0a0","before":"455e8839f17bfc84cb021fe4a0ac701d02e0bc62","commits":[{"sha":"1793164973f72e4f218b1a9b97312e735634f495","author":{"name":"Stephen Skeirik","email":"f53f59ec202ae215c0161537e8c2fdae95e2a2cb@illinois.edu"},"message":"rltool: fix imp-simp clause folding\n\nSimplify final result of imp-simp before checking.\n\nimp-simp solves a CNF formula by solving each DNF formula (clause)\nseparately. Previously, the results of these separate simplifications\nwere conjuncted but the conjunction itself was not reduced, so that\ntrivially conjunctions such as tt /\\ tt were not simplied to tt and so\nwere regarded a failure.","distinct":true,"url":"https://api.github.com/repos/ehildenb/maude/commits/1793164973f72e4f218b1a9b97312e735634f495"},{"sha":"03bc9b92d08df39eb7c188ff4beab4ceb5139e08","author":{"name":"Stephen Skeirik","email":"f53f59ec202ae215c0161537e8c2fdae95e2a2cb@illinois.edu"},"message":"rltool: fix vu-clause-simp recursion\n\nApply disj-join and then simplify before calling vu-clause-simp\nrecursively.\n\nThis ensures that vu-clause-simp gets a proper FOForm? to work with\ninstead of a FOForm?Set with is the result of applying a set of\nunifiers via _<<_.","distinct":true,"url":"https://api.github.com/repos/ehildenb/maude/commits/03bc9b92d08df39eb7c188ff4beab4ceb5139e08"},{"sha":"bf4ff782cba72ae50974996b3a9247ffc4201dc6","author":{"name":"Stephen Skeirik","email":"f53f59ec202ae215c0161537e8c2fdae95e2a2cb@illinois.edu"},"message":"rltool: add captureNewVars() to support variable tracking","distinct":true,"url":"https://api.github.com/repos/ehildenb/maude/commits/bf4ff782cba72ae50974996b3a9247ffc4201dc6"},{"sha":"b200a914255f7d047b9b32947f02240fe9a8db20","author":{"name":"Stephen Skeirik","email":"f53f59ec202ae215c0161537e8c2fdae95e2a2cb@illinois.edu"},"message":"rltool: add variable set field to ProofGoals\n\nThis variable set will be used to prevent unwanted parameter loss after\nperforming simplifications.","distinct":true,"url":"https://api.github.com/repos/ehildenb/maude/commits/b200a914255f7d047b9b32947f02240fe9a8db20"},{"sha":"2dff8311aa31a1ca6c8b05d1f0a2a8cbb7b2d4df","author":{"name":"Stephen Skeirik","email":"f53f59ec202ae215c0161537e8c2fdae95e2a2cb@illinois.edu"},"message":"rltool: fix step goals","distinct":true,"url":"https://api.github.com/repos/ehildenb/maude/commits/2dff8311aa31a1ca6c8b05d1f0a2a8cbb7b2d4df"},{"sha":"dc9e6e9f191266e63123d998722995f1298c0dc1","author":{"name":"Stephen Skeirik","email":"f53f59ec202ae215c0161537e8c2fdae95e2a2cb@illinois.edu"},"message":"WIP rltool: add bank account system","distinct":true,"url":"https://api.github.com/repos/ehildenb/maude/commits/dc9e6e9f191266e63123d998722995f1298c0dc1"},{"sha":"550970f126577aa070b5ece11babebf1881ec0a0","author":{"name":"Stephen Skeirik","email":"f53f59ec202ae215c0161537e8c2fdae95e2a2cb@illinois.edu"},"message":"WIP rltool: bank account system work in progress","distinct":true,"url":"https://api.github.com/repos/ehildenb/maude/commits/550970f126577aa070b5ece11babebf1881ec0a0"}]}
{"actor":{"display_login":"skeirik2"}}