Skip to content

Actions: nelsonduarte/capa-language

Actions

codeql

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
431 workflow runs
431 workflow runs

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
fix: List<Float>.contains uses an f64 scratch and f64.eq on Wasm codeql #431: Commit 0046f33 pushed by nelsonduarte
2m 2s main
main
2m 2s
fix: declare list-method scratch for List parameters on the Wasm backend codeql #430: Commit e904f59 pushed by nelsonduarte
2m 8s main
main
2m 8s
fix: occurs-check in the type unifier (stop RecursionError on generic… codeql #429: Commit d86062c pushed by nelsonduarte
1m 47s main
main
1m 47s
docs: reconcile TODO.md with this session's shipped work codeql #428: Commit 1fa492e pushed by nelsonduarte
1m 53s main
main
1m 53s
feat: or-patterns that bind variables on the Wasm backend codeql #427: Commit 0c42f64 pushed by nelsonduarte
1m 58s main
main
1m 58s
fix: monomorphise generic structs/sums on the Wasm backend codeql #426: Commit 212c872 pushed by nelsonduarte
2m 2s main
main
2m 2s
feat: Char type on the Wasm backend (represented as a one-codepoint S… codeql #425: Commit 0ff97a6 pushed by nelsonduarte
1m 52s main
main
1m 52s
fix: type tuple indexing at the root (constant index, OOB, nested on … codeql #424: Commit b29f9a5 pushed by nelsonduarte
2m 0s main
main
2m 0s
fix: resolve the deep bug-hunt findings (parity, soundness, Wasm patt… codeql #423: Commit c540eae pushed by nelsonduarte
1m 50s main
main
1m 50s
security: close capability-leak hole D (generic struct literal + vari… codeql #422: Commit adcc8da pushed by nelsonduarte
2m 3s main
main
2m 3s
review: resolve the code-review findings (cleanup + clearer diagnostics) codeql #421: Commit 8c5cb95 pushed by nelsonduarte
1m 54s main
main
1m 54s
eval: re-anchor §5 baselines to current measurements after fib diagnosis codeql #420: Commit 89bf63b pushed by nelsonduarte
2m 12s main
main
2m 12s
eval: one-command reproduction harness for the paper's section-5 numbers codeql #419: Commit 4693c68 pushed by nelsonduarte
2m 1s main
main
2m 1s
docs: refresh stale claims across the .md corpus (post-1.0) codeql #418: Commit 7cd9e25 pushed by nelsonduarte
1m 49s main
main
1m 49s
P4: tail-call optimisation on the Wasm backend (return_call) codeql #417: Commit f921386 pushed by nelsonduarte
1m 48s main
main
1m 48s
constant-time S4: reject variable-time arithmetic (/ and % on secret) codeql #416: Commit 039d2b6 pushed by nelsonduarte
1m 51s main
main
1m 51s
typestate S3.5: state-specific methods (impl Type[State]), Python + W… codeql #415: Commit 4a9efd6 pushed by nelsonduarte
1m 48s main
main
1m 48s
s3.4: typestate fields / payload codeql #414: Commit 03ef17a pushed by nelsonduarte
2m 0s main
main
2m 0s
release: 1.0.0 codeql #413: Commit 634fa1f pushed by nelsonduarte
1m 53s main
main
1m 53s
release: 1.0.0-rc.7 codeql #412: Commit 16e8e2c pushed by nelsonduarte
1m 55s main
main
1m 55s
todo: refresh adopter-facing 'Known limitations' (pkg manager + REPL … codeql #411: Commit 514d158 pushed by nelsonduarte
1m 44s main
main
1m 44s
todo: VSCode extension uploaded (v0.8.0), in marketplace verification codeql #410: Commit 76ea7a2 pushed by nelsonduarte
1m 46s main
main
1m 46s
vscode: gitignore build artifacts (*.vsix, node_modules) codeql #409: Commit cc9eedc pushed by nelsonduarte
1m 53s main
main
1m 53s
todo: mark VSCode extension as prepared, awaiting vsce publish codeql #408: Commit 86a5e51 pushed by nelsonduarte
1m 40s main
main
1m 40s
vscode: ready the extension for the Marketplace (v0.8.0) codeql #407: Commit 0e624c9 pushed by nelsonduarte
1m 51s main
main
1m 51s