Skip to content

Actions: agle/bincaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
255 workflow runs
255 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Expr/stmt eval that provides types build and test #235: Pull request #26 synchronize by agle
5m 47s typeinf
typeinf
5m 47s
Expr/stmt eval that provides types build and test #234: Pull request #26 synchronize by agle
7m 25s typeinf
typeinf
7m 25s
Known Bits Domain (#23) docs #29: Commit 8ae32bf pushed by agle
3m 27s main
main
3m 27s
Known Bits Domain (#23) build and test #233: Commit 8ae32bf pushed by agle
6m 6s main
main
6m 6s
Known Bits Domain build and test #232: Pull request #23 synchronize by agle
5m 51s sneha-zazen:main
sneha-zazen:main
5m 51s
Expr/stmt eval that provides types build and test #231: Pull request #26 opened by agle
6m 1s typeinf
typeinf
6m 1s
dont autoformat generated code build and test #230: Commit 1f26bf9 pushed by agle
5m 50s typeinf
typeinf
5m 50s
typed value abstraction build and test #229: Commit 1206921 pushed by agle
5m 52s typeinf
typeinf
5m 52s
Wrapping Intervals (#22) build and test #228: Commit 17f463f pushed by agle
5m 52s main
main
5m 52s
Wrapping Intervals (#22) docs #28: Commit 17f463f pushed by agle
3m 17s main
main
3m 17s
IDE solver build and test #227: Pull request #21 synchronize by b-paul
5m 56s b-paul:ide
b-paul:ide
5m 56s
most of automata done build and test #226: Commit dc86c8f pushed by JTrenerry
5m 32s type-inference
type-inference
5m 32s
Wrapping Intervals build and test #225: Pull request #22 synchronize by HaydenAtFoxHaven
5m 51s HaydenAtFoxHaven:wrapping-intervals
HaydenAtFoxHaven:wrapping-intervals
5m 51s
Known Bits Domain build and test #224: Pull request #23 synchronize by sneha-zazen
6m 6s sneha-zazen:main
sneha-zazen:main
6m 6s
Wrapping Intervals build and test #223: Pull request #22 synchronize by HaydenAtFoxHaven
6m 6s HaydenAtFoxHaven:wrapping-intervals
HaydenAtFoxHaven:wrapping-intervals
6m 6s
fmt build and test #221: Commit 5d679ba pushed by JTrenerry
6m 4s type-inference
type-inference
6m 4s
fixes transfer function and makes it maps instead build and test #220: Commit 03cc23b pushed by JTrenerry
5m 44s type-inference
type-inference
5m 44s
finally fmt type_check build and test #219: Commit 7f5035b pushed by JTrenerry
5m 50s type-inference
type-inference
5m 50s
join function completed build and test #218: Commit 72b4d2e pushed by JTrenerry
5m 49s type-inference
type-inference
5m 49s
adjust polarity to be a bool based around positive build and test #216: Commit fa0a8ad pushed by JTrenerry
5m 17s type-inference
type-inference
5m 17s
draft transfer function build and test #215: Commit 2c85187 pushed by JTrenerry
5m 59s type-inference
type-inference
5m 59s
change int size to int and bv size build and test #214: Commit 4997a80 pushed by JTrenerry
7m 51s type-inference
type-inference
7m 51s
basic consistent constraint test build and test #213: Commit 875d51a pushed by JTrenerry
5m 51s type-inference
type-inference
5m 51s
Known Bits Domain build and test #212: Pull request #23 synchronize by sneha-zazen
6m 0s sneha-zazen:main
sneha-zazen:main
6m 0s
Wrapping Intervals build and test #209: Pull request #22 synchronize by HaydenAtFoxHaven
3m 48s HaydenAtFoxHaven:wrapping-intervals
HaydenAtFoxHaven:wrapping-intervals
3m 48s