chriseth

pushed to main in chriseth/research

Jun 23, 2025, 12:40 PM

commented on pull request powdr-labs/powdr#2923

Jun 20, 2025, 10:40 PM

reviewed a pull request in powdr-labs/powdr

Jun 20, 2025, 10:40 PM

commented on pull request powdr-labs/powdr#2923

Jun 20, 2025, 10:35 PM

reviewed a pull request in powdr-labs/powdr

Jun 20, 2025, 10:35 PM

commented on pull request powdr-labs/powdr#2923

Jun 20, 2025, 10:27 PM

reviewed a pull request in powdr-labs/powdr

Jun 20, 2025, 10:27 PM

commented on pull request powdr-labs/powdr#2923

Jun 20, 2025, 10:21 PM

reviewed a pull request in powdr-labs/powdr

Jun 20, 2025, 10:21 PM

commented on pull request powdr-labs/powdr#2923

Jun 20, 2025, 10:20 PM

reviewed a pull request in powdr-labs/powdr

Jun 20, 2025, 10:20 PM

commented on pull request powdr-labs/powdr#2923

Jun 20, 2025, 10:19 PM

reviewed a pull request in powdr-labs/powdr

Jun 20, 2025, 10:19 PM

commented on pull request powdr-labs/powdr#2923

Jun 20, 2025, 10:17 PM

reviewed a pull request in powdr-labs/powdr

Jun 20, 2025, 10:17 PM

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