Skip to content

Actions: trishullab/Fermat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add Apache 2.0 License CI #252: Commit 43c4c8d pushed by GeorgeTsoukalas
1m 33s main
main
1m 33s
Update README.md CI #251: Commit 1ddcb15 pushed by GeorgeTsoukalas
1m 54s main
main
1m 54s
Update README.md CI #250: Commit 5bf001c pushed by GeorgeTsoukalas
3m 26s main
main
3m 26s
Removed unnecessary to_prolog methods from the codebase CI #249: Pull request #102 opened by rah4927
2m 28s rahul/finite_fields
rahul/finite_fields
2m 28s
Modify experiment parameters + add some more ground truths CI #248: Pull request #101 synchronize by GeorgeTsoukalas
1m 42s george/rebuttal-environment
george/rebuttal-environment
1m 42s
Modify experiment parameters + add some more ground truths CI #247: Pull request #101 opened by GeorgeTsoukalas
2m 29s george/rebuttal-environment
george/rebuttal-environment
2m 29s
Rahul/finite fields CI #246: Pull request #96 opened by rah4927
2m 19s rahul/finite_fields
rahul/finite_fields
2m 19s
Added target language refactoring and changes to the grammar to support Z_n CI #245: Pull request #91 synchronize by amit9oct
1m 57s feature/support-z_n-in-dsl
feature/support-z_n-in-dsl
1m 57s
Added target language refactoring and changes to the grammar to support Z_n CI #244: Pull request #91 opened by amit9oct
2m 16s feature/support-z_n-in-dsl
feature/support-z_n-in-dsl
2m 16s
Merge pull request #90 from trishullab/usr/george CI #243: Commit a50c227 pushed by rah4927
1m 48s main
main
1m 48s
Add support for finite fields CI #242: Pull request #90 opened by GeorgeTsoukalas
2m 21s usr/george
usr/george
2m 21s
Merge pull request #88 from trishullab/rahul/finite_fields CI #241: Commit b5a79a2 pushed by GeorgeTsoukalas
2m 15s main
main
2m 15s
Merge pull request #89 from trishullab/usr/george CI #240: Commit 461b6b6 pushed by GeorgeTsoukalas
1m 33s main
main
1m 33s
Minor modifications CI #239: Pull request #89 opened by GeorgeTsoukalas
2m 12s usr/george
usr/george
2m 12s
Implementation of Finite Field Class for GF(27) CI #238: Pull request #88 opened by rah4927
2m 22s rahul/finite_fields
rahul/finite_fields
2m 22s
Merge pull request #87 from trishullab/remove_sym_expr CI #237: Commit bf25dc7 pushed by rah4927
2m 38s main
main
2m 38s
[DRAFT] removed symbolic expressions CI #236: Pull request #87 synchronize by rah4927
2m 46s remove_sym_expr
remove_sym_expr
2m 46s
[DRAFT] removed symbolic expressions CI #235: Pull request #87 opened by rah4927
1m 27s remove_sym_expr
remove_sym_expr
1m 27s
Merge pull request #86 from trishullab/usr/george CI #234: Commit 2fd3f36 pushed by GeorgeTsoukalas
1m 15s main
main
1m 15s
Add smaller budget shotgun test CI #233: Pull request #86 opened by GeorgeTsoukalas
2m 9s usr/george
usr/george
2m 9s
Merge pull request #85 from trishullab/usr/george CI #232: Commit 8571d1b pushed by GeorgeTsoukalas
1m 12s main
main
1m 12s
Tweak prompt CI #231: Pull request #85 opened by GeorgeTsoukalas
1m 16s usr/george
usr/george
1m 16s
update seal config CI #230: Commit c2f388a pushed by GeorgeTsoukalas
1m 11s main
main
1m 11s
Merge pull request #84 from trishullab/usr/george CI #229: Commit 78c9f21 pushed by GeorgeTsoukalas
1m 20s main
main
1m 20s
Add latest prompt & config changes CI #228: Pull request #84 opened by GeorgeTsoukalas
1m 12s usr/george
usr/george
1m 12s