chore: import upstream snapshot with attribution
OpenSSF Scorecard / scorecard (push) Failing after 0s
DCO / dco (push) Failing after 0s
CodeQL SAST / analyze (push) Failing after 1s
Deploy Pages / deploy (push) Failing after 1s

This commit is contained in:
wehub-resource-sync
2026-07-13 12:28:05 +08:00
commit 41cb1c0170
1830 changed files with 38276124 additions and 0 deletions
@@ -0,0 +1,32 @@
==================
If statement
==================
if (count(x, 1) > 0)
id x = 0;
endif;
---
(source_file
(if_statement
(binary_expression
(function_application
name: (identifier)
(identifier)
(number))
(number))
(substitution_statement
(identifier)
(number))))
==================
Module sort
==================
.sort
---
(source_file
(module_directive))
@@ -0,0 +1,53 @@
==================
Symbol declaration
==================
Symbols a, b, c;
---
(source_file
(declaration_statement
(identifier)
(identifier)
(identifier)))
==================
Function declaration
==================
Functions f, g;
---
(source_file
(declaration_statement
(identifier)
(identifier)))
==================
Vector declaration
==================
Vectors p1, p2, q;
---
(source_file
(declaration_statement
(identifier)
(identifier)
(identifier)))
==================
Index declaration
==================
Indices mu, nu;
---
(source_file
(declaration_statement
(identifier)
(identifier)))
@@ -0,0 +1,30 @@
==================
Simple procedure
==================
#procedure simplify(expr)
id x = 1;
#endprocedure
---
(source_file
(procedure_definition
name: (identifier)
(identifier)
(substitution_statement
(identifier)
(number))))
==================
Procedure call
==================
#call simplify(result)
---
(source_file
(call_statement
name: (identifier)
(identifier)))