Skip to content

Actions: ftsrg/theta

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-formatting.yml
1,419 workflow runs
1,419 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Meta solver Check formatting #2112: Pull request #352 synchronize by BallagErgely
April 9, 2025 11:21 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 9, 2025 11:21 Action required
Btor2Xcfa Check formatting #2111: Pull request #348 synchronize by szaboeva2004
April 9, 2025 07:33 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 9, 2025 07:33 Action required
Meta solver Check formatting #2110: Pull request #352 synchronize by BallagErgely
April 8, 2025 07:10 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 8, 2025 07:10 Action required
Various fixes Check formatting #2109: Commit 190f54b pushed by leventeBajczi
April 7, 2025 21:41 1m 54s chc-interpolant
chc-interpolant
April 7, 2025 21:41 1m 54s
minor issue in double end removal fixed Check formatting #2108: Commit edb587f pushed by AdamZsofi
April 5, 2025 18:33 2m 3s trace-generation
trace-generation
April 5, 2025 18:33 2m 3s
Meta solver Check formatting #2107: Pull request #352 synchronize by BallagErgely
April 3, 2025 09:14 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 3, 2025 09:14 Action required
Meta solver Check formatting #2106: Pull request #352 synchronize by BallagErgely
April 3, 2025 09:12 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 3, 2025 09:12 Action required
Version bump Check formatting #2105: Commit 09b8f2b pushed by leventeBajczi
April 3, 2025 07:47 2m 14s javasmt-proofs
javasmt-proofs
April 3, 2025 07:47 2m 14s
Added support for proof-based refinement Check formatting #2104: Commit b3e8070 pushed by leventeBajczi
April 2, 2025 17:41 2m 5s javasmt-trial
javasmt-trial
April 2, 2025 17:41 2m 5s
Added support for proof-based refinement Check formatting #2103: Commit b3e8070 pushed by leventeBajczi
April 2, 2025 17:04 2m 16s javasmt-proofs
javasmt-proofs
April 2, 2025 17:04 2m 16s
Merge pull request #360 from ftsrg/fix-enumtypeinference Check formatting #2102: Commit 9084bcc pushed by mondokm
April 2, 2025 11:56 4m 24s master
master
April 2, 2025 11:56 4m 24s
added enum type inference bug fix Check formatting #2101: Commit b7526c5 pushed by AdamZsofi
April 2, 2025 09:49 2m 6s trace-generation
trace-generation
April 2, 2025 09:49 2m 6s
formatting Check formatting #2100: Commit 871c12f pushed by AdamZsofi
April 2, 2025 09:46 2m 14s trace-generation
trace-generation
April 2, 2025 09:46 2m 14s
Fixed bug related to enum type inference in XSTS Check formatting #2099: Pull request #360 opened by mondokm
April 2, 2025 09:30 2m 0s fix-enumtypeinference
fix-enumtypeinference
April 2, 2025 09:30 2m 0s
Reformat and bump version Check formatting #2098: Commit 5a5e2c2 pushed by mondokm
April 2, 2025 09:29 1m 54s fix-enumtypeinference
fix-enumtypeinference
April 2, 2025 09:29 1m 54s
Merge pull request #357 from ftsrg/fix-rounding Check formatting #2097: Commit f4e80aa pushed by mondokm
April 2, 2025 09:26 1m 49s fix-enumtypeinference
fix-enumtypeinference
April 2, 2025 09:26 1m 49s
Merge pull request #357 from ftsrg/fix-rounding Check formatting #2096: Commit f4e80aa pushed by mondokm
March 31, 2025 14:01 4m 49s master
master
March 31, 2025 14:01 4m 49s
Fix rounding Check formatting #2095: Pull request #357 synchronize by mondokm
March 31, 2025 13:25 1m 53s fix-rounding
fix-rounding
March 31, 2025 13:25 1m 53s
Merge branch 'master' into fix-rounding Check formatting #2094: Commit b22eff3 pushed by mondokm
March 31, 2025 13:25 1m 45s fix-rounding
fix-rounding
March 31, 2025 13:25 1m 45s
Bump version Check formatting #2093: Commit e65979a pushed by mondokm
March 31, 2025 13:15 2m 3s fix-rounding
fix-rounding
March 31, 2025 13:15 2m 3s
Merge pull request #359 from ftsrg/fix-tests Check formatting #2092: Commit b369078 pushed by leventeBajczi
March 30, 2025 18:42 4m 12s master
master
March 30, 2025 18:42 4m 12s
Fix tests Check formatting #2091: Pull request #359 synchronize by leventeBajczi
March 30, 2025 18:27 2m 17s fix-tests
fix-tests
March 30, 2025 18:27 2m 17s
Formatted Check formatting #2090: Commit 2ae33c6 pushed by leventeBajczi
March 30, 2025 18:27 1m 51s fix-tests
fix-tests
March 30, 2025 18:27 1m 51s
Fix tests Check formatting #2089: Pull request #359 synchronize by leventeBajczi
March 30, 2025 18:12 2m 7s fix-tests
fix-tests
March 30, 2025 18:12 2m 7s
disabled deprecated test Check formatting #2088: Commit 78bafbf pushed by leventeBajczi
March 30, 2025 18:12 1m 53s fix-tests
fix-tests
March 30, 2025 18:12 1m 53s