{"push_id":721363780,"size":17,"distinct_size":0,"ref":"refs/heads/single-hard-thread-per-instance","head":"cd72ed2f329d7058ca486a1ade8e245dbbd59aa2","before":"cbe47b3fcaa15a8f4685d5172c3a0f12c51ba6cb","commits":[{"sha":"b0f0b35de2bf9158126126f0e7a28a934c74f1fd","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Rename the FCS_SINGLE macro.\n\nTo make it more consistent.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/b0f0b35de2bf9158126126f0e7a28a934c74f1fd"},{"sha":"bb08ef7db436c8c92d38d52593ee0f56b1a12bf5","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Removed an unused field.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/bb08ef7db436c8c92d38d52593ee0f56b1a12bf5"},{"sha":"5ad66dad74848625cc5857c8b711ef956552fa6b","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Convert a macro into a function.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/5ad66dad74848625cc5857c8b711ef956552fa6b"},{"sha":"508976f4e50fd6ec1e4a823b224eabbc8c9f3ea7","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Small optimisation.\n\nDon't check for prelude being NULL all the time.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/508976f4e50fd6ec1e4a823b224eabbc8c9f3ea7"},{"sha":"625b26f7b176337f23d51e00694430ff785642fa","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Create an explicit accessor value.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/625b26f7b176337f23d51e00694430ff785642fa"},{"sha":"8c547804c51ec8310be57bbf5fb2219c01017e80","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Add another const accessor.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/8c547804c51ec8310be57bbf5fb2219c01017e80"},{"sha":"8634f80d1533119f27ebd9b76265d99ffa268b82","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Add an accessor.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/8634f80d1533119f27ebd9b76265d99ffa268b82"},{"sha":"e52176ac9cb4e2eae70b04b9107424e4f0d8cacd","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Small optimization/refactoring.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/e52176ac9cb4e2eae70b04b9107424e4f0d8cacd"},{"sha":"40eac85ecd5cb595f6be036d83ef311eb8a261a6","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Refactoring - extract set_next_prelude_item.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/40eac85ecd5cb595f6be036d83ef311eb8a261a6"},{"sha":"3565ccc1056545244d301465ae1c9325dba3e834","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Remove some unused code.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/3565ccc1056545244d301465ae1c9325dba3e834"},{"sha":"2af0774c1a086c5545e965167d23e2af686d7005","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Add another accessor.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/2af0774c1a086c5545e965167d23e2af686d7005"},{"sha":"62cf5845db51cb10db3f5358ee4cf686e1d343b1","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Refactoring.\n\nI am planninig to get rid of num_checked_states_left_for_soft_thread.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/62cf5845db51cb10db3f5358ee4cf686e1d343b1"},{"sha":"1f3b05f5f314d73f8b9c10253909a9987083821a","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Extract set_next_soft_thread from another place.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/1f3b05f5f314d73f8b9c10253909a9987083821a"},{"sha":"19281f4f852d1e5c274c8a9c16030541196383a9","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Get rid of num_states_left.\n\nNaemly num_checked_states_left_for_soft_thread . Now we calculate the\nmaximal limit and that's it.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/19281f4f852d1e5c274c8a9c16030541196383a9"},{"sha":"80c481f6f230991fd3d9c72c3a8bc206a3408fb2","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Fix for the previous commit + optimization.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/80c481f6f230991fd3d9c72c3a8bc206a3408fb2"},{"sha":"076ab0ce9bfed0e0eef570051bb4cbdf38a1c0dd","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Add a CMake/Tatzer flag for SINGLE_HARD_THREAD.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/076ab0ce9bfed0e0eef570051bb4cbdf38a1c0dd"},{"sha":"cd72ed2f329d7058ca486a1ade8e245dbbd59aa2","author":{"email":"3f488ccb115eaeaf39f8e9d135f1929457f3d11f@shlomifish.org","name":"Shlomi Fish"},"message":"Add more.","distinct":false,"url":"https://api.github.com/repos/shlomif/fc-solve/commits/cd72ed2f329d7058ca486a1ade8e245dbbd59aa2"}]}