chriseth

pushed to transform_simplified in powdr-labs/powdr

Jun 13, 2025, 6:26 PM

opened a pull request in powdr-labs/powdr

Jun 13, 2025, 6:15 PM

created a branch transform_simplified in powdr-labs/powdr

Jun 13, 2025, 6:15 PM

pushed to detect_terminating_blocks in powdr-labs/powdr

Jun 12, 2025, 5:09 PM

pushed to abstract_memory in powdr-labs/powdr

Jun 12, 2025, 4:50 PM

commented on pull request powdr-labs/powdr#2838

Jun 12, 2025, 4:49 PM

reviewed a pull request in powdr-labs/powdr

Jun 12, 2025, 4:49 PM

commented on pull request powdr-labs/powdr#2838

Jun 12, 2025, 4:46 PM

reviewed a pull request in powdr-labs/powdr

Jun 12, 2025, 4:46 PM

pushed to detect_terminating_blocks in powdr-labs/powdr

Jun 12, 2025, 4:44 PM

commented on pull request powdr-labs/powdr#2877

Jun 12, 2025, 4:43 PM

reviewed a pull request in powdr-labs/powdr

Jun 12, 2025, 4:43 PM

pushed to lui_is_not_branching in powdr-labs/powdr

Jun 12, 2025, 1:33 PM

commented on pull request powdr-labs/powdr#2866

Jun 12, 2025, 12:20 PM

reviewed a pull request in powdr-labs/powdr

Jun 12, 2025, 12:20 PM

commented on pull request powdr-labs/powdr#2866

Jun 12, 2025, 12:18 PM

reviewed a pull request in powdr-labs/powdr

Jun 12, 2025, 12:18 PM

commented on pull request powdr-labs/powdr#2866

Jun 12, 2025, 12:17 PM

reviewed a pull request in powdr-labs/powdr

Jun 12, 2025, 12:17 PM

commented on pull request powdr-labs/powdr#2866

Jun 12, 2025, 12:13 PM

reviewed a pull request in powdr-labs/powdr

Jun 12, 2025, 12:13 PM

commented on pull request powdr-labs/powdr#2866

Jun 12, 2025, 12:13 PM

reviewed a pull request in powdr-labs/powdr

Jun 12, 2025, 12:13 PM

opened a pull request in powdr-labs/powdr

Jun 12, 2025, 12:12 PM

created a branch lui_is_not_branching in powdr-labs/powdr

Jun 12, 2025, 12:12 PM

pushed to detect_terminating_blocks in powdr-labs/powdr

Jun 12, 2025, 12:08 PM

pushed to use_stats in powdr-labs/powdr

Jun 12, 2025, 10:45 AM

pushed to simplify_imports in powdr-labs/powdr

Jun 12, 2025, 10:43 AM

pushed to detect_terminating_blocks in powdr-labs/powdr

Jun 12, 2025, 10:28 AM

deleted branch reexport-degree-bound at powdr-labs/powdr

Jun 12, 2025, 10:07 AM

merged a pull request in powdr-labs/powdr

Jun 12, 2025, 10:07 AM

reviewed a pull request in powdr-labs/powdr

Jun 12, 2025, 9:56 AM

opened a pull request in powdr-labs/powdr

Jun 12, 2025, 9:55 AM

created a branch simplify_imports in powdr-labs/powdr

Jun 12, 2025, 9:55 AM

deleted branch pass_journal_by_value at powdr-labs/powdr

Jun 12, 2025, 9:54 AM

merged a pull request in powdr-labs/powdr

Jun 12, 2025, 9:54 AM

pushed to detect_terminating_blocks in powdr-labs/powdr

Jun 12, 2025, 9:49 AM

pushed to pass_journal_by_value in powdr-labs/powdr

Jun 12, 2025, 8:08 AM

pushed to detect_terminating_blocks in powdr-labs/powdr

Jun 12, 2025, 8:07 AM

opened a pull request in powdr-labs/powdr

Jun 11, 2025, 3:56 PM

created a branch detect_terminating_blocks in powdr-labs/powdr

Jun 11, 2025, 3:56 PM

opened a pull request in powdr-labs/powdr

Jun 11, 2025, 3:04 PM

created a branch pass_journal_by_value in powdr-labs/powdr

Jun 11, 2025, 3:04 PM

deleted branch generate-apc-in-parallel at powdr-labs/powdr

Jun 11, 2025, 2:44 PM

merged a pull request in powdr-labs/powdr

Jun 11, 2025, 2:44 PM

pushed to improve_formatting in powdr-labs/powdr

Jun 11, 2025, 2:32 PM

reviewed a pull request in powdr-labs/powdr

Jun 11, 2025, 2:26 PM

pushed to abstract_memory in powdr-labs/powdr

Jun 11, 2025, 2:16 PM

opened a pull request in powdr-labs/powdr

Jun 11, 2025, 2:15 PM

created a branch improve_formatting in powdr-labs/powdr

Jun 11, 2025, 2:15 PM