Skip to content

Actions: Consensys/go-corset

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
335 workflow runs
335 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: support tests for invalid syntax build #198: Pull request #388 opened by DavePearce
November 26, 2024 06:32 5m 10s 386-support-tests-for-invalid-syntax
386-support-tests-for-invalid-syntax
November 26, 2024 06:32 5m 10s
Fix for reading bin files (#385) build #197: Commit 5cb0c28 pushed by DavePearce
November 25, 2024 00:53 5m 7s main
main
November 25, 2024 00:53 5m 7s
Fix for reading bin files build #196: Pull request #385 opened by DavePearce
November 25, 2024 00:47 5m 20s 383-unable-to-parse-bin-file2
383-unable-to-parse-bin-file2
November 25, 2024 00:47 5m 20s
Support constraints / assignments build #195: Commit e2d96a2 pushed by DavePearce
November 25, 2024 00:43 5m 26s main
main
November 25, 2024 00:43 5m 26s
Fix for reading bin files build #194: Pull request #384 opened by DavePearce
November 25, 2024 00:35 5m 9s 380-support-defpurefun
380-support-defpurefun
November 25, 2024 00:35 5m 9s
Merge pull request #382 from Consensys/380-support-defpurefun build #193: Commit 07162ac pushed by DavePearce
November 24, 2024 23:11 4m 59s main
main
November 24, 2024 23:11 4m 59s
feat: initial support for corset syntax build #192: Pull request #382 opened by DavePearce
November 24, 2024 23:05 5m 1s 380-support-defpurefun
380-support-defpurefun
November 24, 2024 23:05 5m 1s
Merge pull request #379 from Consensys/378-permit-constraints-with-vo… build #191: Commit b256e1b pushed by DavePearce
November 5, 2024 21:47 5m 31s main
main
November 5, 2024 21:47 5m 31s
feat: support constraints with void context build #190: Pull request #379 opened by DavePearce
November 5, 2024 21:25 5m 21s 378-permit-constraints-with-void-context
378-permit-constraints-with-void-context
November 5, 2024 21:25 5m 21s
Merge pull request #377 from Consensys/334-support-columns-with-expli… build #189: Commit 452d062 pushed by DavePearce
November 5, 2024 03:12 5m 20s main
main
November 5, 2024 03:12 5m 20s
feat: support user-defined length multipliers build #188: Pull request #377 opened by DavePearce
November 5, 2024 02:59 5m 30s 334-support-columns-with-explicit-length-multiplliers
334-support-columns-with-explicit-length-multiplliers
November 5, 2024 02:59 5m 30s
Merge pull request #376 from Consensys/374-adjust-typebound build #187: Commit c637f5b pushed by DavePearce
November 5, 2024 02:47 5m 24s main
main
November 5, 2024 02:47 5m 24s
feat: remove some occurrences of *fr.Element build #186: Pull request #376 opened by DavePearce
November 5, 2024 02:29 5m 26s 374-adjust-typebound
374-adjust-typebound
November 5, 2024 02:29 5m 26s
Merge pull request #375 from Consensys/373-parse-range-constraints-fr… build #185: Commit ca2426b pushed by DavePearce
November 5, 2024 02:16 5m 19s main
main
November 5, 2024 02:16 5m 19s
feat: parse range constraints from binfile build #184: Pull request #375 synchronize by DavePearce
November 5, 2024 01:51 5m 27s 373-parse-range-constraints-from-binfile
373-parse-range-constraints-from-binfile
November 5, 2024 01:51 5m 27s
feat: parse range constraints from binfile build #183: Pull request #375 opened by DavePearce
November 5, 2024 01:49 5m 27s 373-parse-range-constraints-from-binfile
373-parse-range-constraints-from-binfile
November 5, 2024 01:49 5m 27s
Merge pull request #372 from Consensys/319-support-interleaving-const… build #182: Commit 89596bb pushed by DavePearce
October 29, 2024 18:23 5m 16s main
main
October 29, 2024 18:23 5m 16s
feat: support interleaving constraints in binfile build #181: Pull request #372 opened by DavePearce
October 29, 2024 18:10 5m 14s 319-support-interleaving-constraints-in-binfile
319-support-interleaving-constraints-in-binfile
October 29, 2024 18:10 5m 14s
Merge pull request #369 from Consensys/351-support-constraint-guards build #180: Commit a386e3f pushed by DavePearce
October 24, 2024 18:10 5m 17s main
main
October 24, 2024 18:10 5m 17s
Support :guard attribute build #179: Pull request #369 opened by DavePearce
October 24, 2024 17:59 5m 17s 351-support-constraint-guards
351-support-constraint-guards
October 24, 2024 17:59 5m 17s
Merge pull request #367 from Consensys/366-reset-constraint-assignmen… build #178: Commit 266c677 pushed by DavePearce
October 24, 2024 16:05 5m 23s main
main
October 24, 2024 16:05 5m 23s
Reset internal primitive naming build #177: Pull request #367 opened by DavePearce
October 24, 2024 15:53 5m 16s 366-reset-constraint-assignment-lisp
366-reset-constraint-assignment-lisp
October 24, 2024 15:53 5m 16s
Merge pull request #365 from Consensys/364-rework-byte-decomposition-… build #176: Commit 16b4c37 pushed by DavePearce
October 23, 2024 18:26 5m 11s main
main
October 23, 2024 18:26 5m 11s
fix: rework byte decomposition model build #175: Pull request #365 synchronize by DavePearce
October 23, 2024 18:14 5m 23s 364-rework-byte-decomposition-model
364-rework-byte-decomposition-model
October 23, 2024 18:14 5m 23s
fix: rework byte decomposition model build #174: Pull request #365 opened by DavePearce
October 23, 2024 17:45 5m 19s 364-rework-byte-decomposition-model
364-rework-byte-decomposition-model
October 23, 2024 17:45 5m 19s