Skip to content

Actions: runtimeverification/llvm-backend

Actions

Master Push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
106 workflow run results
106 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Follow rv-tools Nixpkgs version (#979) Master Push #234: Commit 4e6d6ba pushed by rv-jenkins
February 9, 2024 16:42 10s master
master
February 9, 2024 16:42 10s
Precompute serialized symbols (#978) Master Push #233: Commit 1c6dc3b pushed by dwightguth
February 8, 2024 18:35 13s master
master
February 8, 2024 18:35 13s
Allow partial function evaluation to be caught by bindings (#967) Master Push #232: Commit 01b4196 pushed by rv-jenkins
February 8, 2024 16:03 10s master
master
February 8, 2024 16:03 10s
Switch out serializer backing storage vector for a std::string (#977) Master Push #231: Commit 3b065dd pushed by dwightguth
February 7, 2024 19:23 12s master
master
February 7, 2024 19:23 12s
Use FILE * instead of filenames when passing file paths to serializat… Master Push #230: Commit 049f2d0 pushed by dwightguth
February 7, 2024 18:10 9s master
master
February 7, 2024 18:10 9s
Simplify nix overlay code (#975) Master Push #229: Commit b6c80c9 pushed by rv-jenkins
February 7, 2024 14:02 9s master
master
February 7, 2024 14:02 9s
Enable clang-tidy core guideline checks (#971) Master Push #228: Commit cf3818a pushed by rv-jenkins
February 7, 2024 12:03 9s master
master
February 7, 2024 12:03 9s
Update klabel for a JSON production (#973) Master Push #227: Commit 2c83f14 pushed by rv-jenkins
February 7, 2024 00:04 11s master
master
February 7, 2024 00:04 11s
Update immer dependency (#972) Master Push #226: Commit b9aa5d8 pushed by rv-jenkins
February 6, 2024 18:24 11s master
master
February 6, 2024 18:24 11s
Support for LLVM 17 (#961) Master Push #225: Commit c96dbb1 pushed by rv-jenkins
February 6, 2024 10:07 13s master
master
February 6, 2024 10:07 13s
Fix formatting to use clang-format 15 rather than 17 (#969) Master Push #224: Commit 29b03b4 pushed by dwightguth
February 5, 2024 20:42 13s master
master
February 5, 2024 20:42 13s
update to python 3.10 (#966) Master Push #223: Commit 01dd369 pushed by dwightguth
February 2, 2024 20:49 11s master
master
February 2, 2024 20:49 11s
Ignore injection symbols when tracking locations in the proof trace (… Master Push #222: Commit 78a8fa2 pushed by rv-jenkins
January 31, 2024 20:42 9s master
master
January 31, 2024 20:42 9s
Add --mutable-bytes flag to enable possibly unsound optimizations (… Master Push #221: Commit 8c77e21 pushed by rv-jenkins
January 31, 2024 14:02 19s master
master
January 31, 2024 14:02 19s
Fix for possible silent failures in test suite (#959) Master Push #220: Commit 2fdcb59 pushed by rv-jenkins
January 22, 2024 16:44 13s master
master
January 22, 2024 16:44 13s
Minor cleanups to C bindings (#956) Master Push #219: Commit 9b35671 pushed by rv-jenkins
January 19, 2024 20:03 12s master
master
January 19, 2024 20:03 12s
Make a couple of tests cleaner (#958) Master Push #218: Commit 4ecb85a pushed by rv-jenkins
January 19, 2024 18:42 14s master
master
January 19, 2024 18:42 14s
Implement helper to collect sorts hooked to a particular implementati… Master Push #217: Commit 5ab753e pushed by rv-jenkins
January 18, 2024 11:04 11s master
master
January 18, 2024 11:04 11s
Set right-alignment for qualifiers (#954) Master Push #216: Commit b02b982 pushed by rv-jenkins
January 17, 2024 18:03 8s master
master
January 17, 2024 18:03 8s
Interpret C++ exceptions in C bindings (#955) Master Push #215: Commit 8bdf2a5 pushed by rv-jenkins
January 17, 2024 16:19 14s master
master
January 17, 2024 16:19 14s
Refactor subsort table code (#951) Master Push #214: Commit ae78dab pushed by rv-jenkins
January 17, 2024 14:44 12s master
master
January 17, 2024 14:44 12s
Enable clang-tidy readability checks (#936) Master Push #213: Commit 0231f18 pushed by rv-jenkins
January 16, 2024 16:28 13s master
master
January 16, 2024 16:28 13s
Enable clang-tidy bugprone checks (#935) Master Push #212: Commit dd70b90 pushed by rv-jenkins
January 16, 2024 10:42 11s master
master
January 16, 2024 10:42 11s
Set %option 8bit in KOREScanner.l (#949) Master Push #211: Commit d7fd6d2 pushed by rv-jenkins
January 12, 2024 09:42 19s master
master
January 12, 2024 09:42 19s
Implement new AST pattern-matching library (#940) Master Push #210: Commit 276afab pushed by rv-jenkins
January 10, 2024 16:28 16s master
master
January 10, 2024 16:28 16s