Skip to content

Actions: Veridise/circom

Transition Issue to In Review

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
101 workflow runs
101 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable final error colors when terminal is dumb
Transition Issue to In Review #26: Pull request #68 opened by iangneal
October 26, 2023 17:56 20s iangneal/color-patch
October 26, 2023 17:56 20s
Allow dumb terminals to not have color
Transition Issue to In Review #25: Pull request #67 opened by iangneal
October 26, 2023 16:36 19s iangneal/color-patch
October 26, 2023 16:36 19s
TEMPORARY BASE
Transition Issue to In Review #24: Pull request #65 opened by tim-hoffman
October 24, 2023 18:11 17s llvm-v2
October 24, 2023 18:11 17s
[VAN-424] Add lit tests for debug info generated by circom frontend
Transition Issue to In Review #23: Pull request #61 opened by tim-hoffman
October 18, 2023 20:52 2s th/van-424
October 18, 2023 20:52 2s
[VAN-676][VAN-670] flatten branches in extracted function by duplicating the functions
Transition Issue to In Review #22: Pull request #55 ready_for_review by tim-hoffman
October 18, 2023 20:39 19s th/van-676
October 18, 2023 20:39 19s
Add array constraint generation
Transition Issue to In Review #20: Pull request #58 opened by iangneal
October 10, 2023 22:27 20s iangneal/VAN-715
October 10, 2023 22:27 20s
[VAN-545] extract loop body to separate function before unrolling
Transition Issue to In Review #19: Pull request #52 ready_for_review by tim-hoffman
October 4, 2023 18:58 26s th/loop-body-extraction
October 4, 2023 18:58 26s
[VAN-611] Fill in fr_copy_n, also apply to arguments
Transition Issue to In Review #18: Pull request #54 opened by iangneal
September 19, 2023 23:46 15s iangneal/VAN-611
September 19, 2023 23:46 15s
[VAN-656] include intermediate signals in component storage
Transition Issue to In Review #17: Pull request #53 opened by tim-hoffman
September 14, 2023 03:42 14s th/subcomp-missing-signals
September 14, 2023 03:42 14s
[VAN-545] extract loop body to separate function before unrolling
Transition Issue to In Review #16: Pull request #52 opened by tim-hoffman
September 6, 2023 15:14 4s th/loop-body-extraction
September 6, 2023 15:14 4s
Additional tests for current state of loop unrolling
Transition Issue to In Review #15: Pull request #50 opened by tim-hoffman
August 29, 2023 03:21 18s th/more-loop-tests
August 29, 2023 03:21 18s
Add regression tests for loop unrolling
Transition Issue to In Review #14: Pull request #49 opened by tim-hoffman
August 25, 2023 19:37 18s th/loop-regr-tests
August 25, 2023 19:37 18s
apply auto-formatting
Transition Issue to In Review #13: Pull request #48 opened by tim-hoffman
August 22, 2023 21:42 19s th/formatting
August 22, 2023 21:42 19s
[VAN-503] Convert to/from i1 as needed
Transition Issue to In Review #12: Pull request #47 opened by iangneal
August 18, 2023 20:42 19s iangneal/VAN-503
August 18, 2023 20:42 19s
Add running pass name debug print
Transition Issue to In Review #11: Pull request #46 opened by tim-hoffman
August 18, 2023 20:00 21s th/add-pass-name-debug
August 18, 2023 20:00 21s
[VAN-543] unknown input status
Transition Issue to In Review #9: Pull request #44 opened by iangneal
August 16, 2023 19:13 15s iangneal/VAN-543-Unknown-input-status
August 16, 2023 19:13 15s
move error printout to the end (after code dump)
Transition Issue to In Review #8: Pull request #43 opened by tim-hoffman
August 16, 2023 01:45 19s th/minor-debug-printing
August 16, 2023 01:45 19s
[VAN-540] Generalize mapped offset computation, add tests
Transition Issue to In Review #7: Pull request #42 opened by iangneal
August 15, 2023 19:17 19s VAN-540
August 15, 2023 19:17 19s
add debug info to the unique id assertions
Transition Issue to In Review #6: Pull request #41 opened by tim-hoffman
August 10, 2023 14:12 19s th/moredebuginfo
August 10, 2023 14:12 19s
[VAN-521] implement a case of mapped to indexed location conversion
Transition Issue to In Review #5: Pull request #40 opened by tim-hoffman
August 10, 2023 13:18 15s th/van521
August 10, 2023 13:18 15s
Cleanup code
Transition Issue to In Review #4: Pull request #39 opened by tim-hoffman
August 9, 2023 20:27 16s th/cleanupwarnings
August 9, 2023 20:27 16s
Kferles/add jira workflows
Transition Issue to In Review #2: Pull request #37 opened by kferles
July 24, 2023 18:57 12s kferles/add-jira-workflows
July 24, 2023 18:57 12s