Commit Graph

  • 23afb0bd33 Add deref_to_val to deref into final value and return the chain as well in binops Pragyansh Chaturvedi 2025-10-09 21:47:28 +05:30
  • c596213b2a Add cst_var_binop.py as passing assign test Pragyansh Chaturvedi 2025-10-09 03:42:25 +05:30
  • 054a834464 Add failing assign test retype.py, with explanation Pragyansh Chaturvedi 2025-10-09 03:28:07 +05:30
  • d7bfe86524 Add handle_variable_assignment to assign_pass Pragyansh Chaturvedi 2025-10-09 03:09:10 +05:30
  • 84ed27f222 Add handle_variable_assignment stub and boilerplate in handle_assign Pragyansh Chaturvedi 2025-10-08 22:55:03 +05:30
  • 6008d9841f Change loglevel of multi-assignment warning in handle_assign Pragyansh Chaturvedi 2025-10-08 22:45:09 +05:30
  • 6402cf7be5 remove todos and move to projects on github. varun-r-mallya 2025-10-08 22:27:51 +05:30
  • 9a96e1247b Merge pull request #29 from pythonbpf/smol_pp varunrmallya 2025-10-08 21:47:49 +05:30
  • 989134f4be add patch for Kernel 6.14 BTF varun-r-mallya 2025-10-08 21:47:02 +05:30
  • 120aec08da Update TODO.md Pragyansh Chaturvedi 2025-10-08 21:40:14 +05:30
  • e66ae7cc89 Add failing oneline IfExpr conditional test Pragyansh Chaturvedi 2025-10-08 21:36:08 +05:30
  • b95fbd0ed0 rollback example varun-r-mallya 2025-10-08 14:53:51 +05:30
  • 32dc8e6636 Merge pull request #21 from pythonbpf/globals varunrmallya 2025-10-08 14:48:37 +05:30
  • 8e3942d38c format chore globals varun-r-mallya 2025-10-08 14:31:37 +05:30
  • d84ce0c6fa update helpers and change examples. varun-r-mallya 2025-10-08 13:57:09 +05:30
  • 8d07a4cd05 add xdp struct to args varun-r-mallya 2025-10-08 11:40:12 +05:30
  • 8485460374 Merge pull request #26 from pythonbpf/refactor_conds Pragyansh Chaturvedi 2025-10-08 07:28:08 +05:30
  • 9fdc6fa3ed Add compile to tests/failing_tests/conditionals/helper_cond.py refactor_conds Pragyansh Chaturvedi 2025-10-08 07:26:41 +05:30
  • 17004d58df Remove completed short term goal from TODO.md Pragyansh Chaturvedi 2025-10-08 07:25:14 +05:30
  • 6362a5e665 Fix expr imports Pragyansh Chaturvedi 2025-10-08 07:24:14 +05:30
  • d38d73d5c6 Move handle_comparator to type_normalization Pragyansh Chaturvedi 2025-10-08 07:20:04 +05:30
  • 0a6571726a Move convert_to_bool to type_normalization Pragyansh Chaturvedi 2025-10-08 07:14:42 +05:30
  • e62557bd1d Seperate type_normalization from expr_pass Pragyansh Chaturvedi 2025-10-08 06:59:32 +05:30
  • ee90ee9392 Fix type_deducer import in expr Pragyansh Chaturvedi 2025-10-08 06:50:53 +05:30
  • 5f9eaff59c Fix expr imports Pragyansh Chaturvedi 2025-10-08 06:49:34 +05:30
  • b86341ce7a Rework dir structure for expr Pragyansh Chaturvedi 2025-10-08 06:45:52 +05:30
  • 4857739eec cleanup handle_cond in functions_pass Pragyansh Chaturvedi 2025-10-08 06:42:34 +05:30
  • 3bb4b099c1 Add passing and.py test for conditionals Pragyansh Chaturvedi 2025-10-08 06:28:03 +05:30
  • e7912a088f Add passing or.py test for conditionals Pragyansh Chaturvedi 2025-10-08 06:27:18 +05:30
  • 95d63d969e Add _handle_or_or in expr_pass Pragyansh Chaturvedi 2025-10-08 06:24:57 +05:30
  • 1f96bab944 Add _handle_and_op in expr_pass Pragyansh Chaturvedi 2025-10-08 06:24:13 +05:30
  • f98491f3bd Add handle_and and handle_or handling stub in eval_expr Pragyansh Chaturvedi 2025-10-08 06:14:32 +05:30
  • 98f262ae22 Add BoolOp handling stub in eval_expr Pragyansh Chaturvedi 2025-10-08 06:11:59 +05:30
  • d2ff53052c Add support for is and is not keywords Pragyansh Chaturvedi 2025-10-08 06:04:29 +05:30
  • ecac24c1d2 Add explanation notes to failing conditionals tests Pragyansh Chaturvedi 2025-10-08 05:57:17 +05:30
  • a764b095f8 Add helper_cond failing test for conditionals Pragyansh Chaturvedi 2025-10-08 05:54:49 +05:30
  • 95a196a91f Move map_comp test to passing Pragyansh Chaturvedi 2025-10-08 05:53:52 +05:30
  • 6b59980874 Add null checks for pointer derefs to avoid map_value_or_null verifier errors Pragyansh Chaturvedi 2025-10-08 05:53:12 +05:30
  • 0c977514af Add TODO for fixing struct_kioctx issue varunrmallya 2025-10-08 05:34:25 +05:30
  • 1207730ce3 update vmlinux.py varun-r-mallya 2025-10-08 05:27:56 +05:30
  • 0d9dcd122c Merge pull request #27 from pythonbpf/vmlinux varunrmallya 2025-10-08 05:19:44 +05:30
  • 8a69e05ee2 fix duplicate variable in example varun-r-mallya 2025-10-08 05:18:49 +05:30
  • 976af290af Revert "format chore" varun-r-mallya 2025-10-08 05:17:59 +05:30
  • a3443ab1d5 format chore varun-r-mallya 2025-10-08 05:16:36 +05:30
  • a27360482b complete vmlinux transpiler. TODO: struct_kioctx for x86_64 vmlinux.h has anonymous structs that refused to transpile well, so an extra rule has been written to make only the structs of that external. Fix this in the future. varun-r-mallya 2025-10-08 05:15:29 +05:30
  • 3f9604a370 Add _deref_to_depth in expr_pass Pragyansh Chaturvedi 2025-10-08 03:12:17 +05:30
  • 480afd1341 Move _get_base_type to _get_base_type_and_depth Pragyansh Chaturvedi 2025-10-08 03:02:31 +05:30
  • ab71275566 Add _get_base_type to expr_pass Pragyansh Chaturvedi 2025-10-08 03:00:52 +05:30
  • 2d850f457f Add _normalize_types to handle mismatched ints, move type_mismatch test to passing Pragyansh Chaturvedi 2025-10-08 02:22:41 +05:30
  • c423cc647d add vmlinux.py transpiler from experiment repository varun-r-mallya 2025-10-08 00:45:30 +05:30
  • 9e1142bf05 Add type_mismatch failing test for conditionals Pragyansh Chaturvedi 2025-10-07 14:02:09 +05:30
  • 1843ca6c53 Add failing struct_ptr test for conditionals Pragyansh Chaturvedi 2025-10-07 13:42:58 +05:30
  • caa5d92c32 Fix struct_access in eval_expr, move struct_access conditional test to passing Pragyansh Chaturvedi 2025-10-07 13:35:31 +05:30
  • f41693bc6d Add 'and' and 'or' BoolOps as future deliverables Pragyansh Chaturvedi 2025-10-07 05:27:31 +05:30
  • b7092fa362 Add failing test map_comp for conditionals Pragyansh Chaturvedi 2025-10-07 05:20:43 +05:30
  • 0e7dcafbab Add var_comp test for conditionals Pragyansh Chaturvedi 2025-10-07 05:02:26 +05:30
  • a574527891 Add support for unary op 'not' in eval_expr, move not test to passing Pragyansh Chaturvedi 2025-10-07 04:49:45 +05:30
  • 176673017c Add failing tests struct and not for conditionals Pragyansh Chaturvedi 2025-10-07 04:17:26 +05:30
  • 1d6226d829 Add map test to conditionals Pragyansh Chaturvedi 2025-10-07 04:06:16 +05:30
  • 12b712c217 Add var_binop test for conditionals Pragyansh Chaturvedi 2025-10-07 03:43:36 +05:30
  • 2de280915a Add var test for conditionals Pragyansh Chaturvedi 2025-10-07 03:37:13 +05:30
  • 1cce49f5e0 Add const_binop test for conditionals Pragyansh Chaturvedi 2025-10-07 03:24:11 +05:30
  • 682a7e6566 Add const_int test for conditionals Pragyansh Chaturvedi 2025-10-07 03:15:34 +05:30
  • fb63dbd698 Move conditional logic to eval_expr, add _conver_to_bool, add passing bool test Pragyansh Chaturvedi 2025-10-07 03:11:23 +05:30
  • 4f433d00cc Add Boolean return support Pragyansh Chaturvedi 2025-10-06 23:04:45 +05:30
  • 6cf5115ea9 Eval LHS and RHS in _handle_compare Pragyansh Chaturvedi 2025-10-06 22:38:43 +05:30
  • f11a43010d Add _handle_cond to expr_pass Pragyansh Chaturvedi 2025-10-06 22:33:03 +05:30
  • d1055e4d41 Reduce a condition from handle_cond Pragyansh Chaturvedi 2025-10-06 22:20:54 +05:30
  • 8554688230 Merge pull request #25 from pythonbpf/dependabot/github_actions/actions-6a14be197d Pragyansh Chaturvedi 2025-10-06 19:32:01 +05:30
  • 3e873f378e Bump the actions group with 2 updates dependabot[bot] 2025-10-06 11:26:23 +00:00
  • 28ce14ce34 Merge pull request #24 from pythonbpf/func_refactor Pragyansh Chaturvedi 2025-10-06 05:12:20 +05:30
  • 5066cd4cfe Use named args for eval_expr call in handle_return Pragyansh Chaturvedi 2025-10-06 05:11:33 +05:30
  • 0bfb3855b6 Remove dead code from _handle_ctypes_call Pragyansh Chaturvedi 2025-10-06 05:10:22 +05:30
  • 2f0dd20f1e Add false case for _handle_xdp in return_utils Pragyansh Chaturvedi 2025-10-06 05:09:03 +05:30
  • abef68c274 Remove redundant TODO from return_utils Pragyansh Chaturvedi 2025-10-06 05:04:06 +05:30
  • 9aff614ff5 Remove unnecessary parts from return_utils Pragyansh Chaturvedi 2025-10-06 05:02:02 +05:30
  • 7b0e8a2fca Add xdp example for passing return type Pragyansh Chaturvedi 2025-10-06 04:59:20 +05:30
  • 3e68d6df4f Add passing test examples for return statements Pragyansh Chaturvedi 2025-10-06 04:57:04 +05:30
  • b75dc82f90 Remove clutter from handle_return Pragyansh Chaturvedi 2025-10-06 04:44:55 +05:30
  • f53ca3bd5b Add ctypes in eval_expr Pragyansh Chaturvedi 2025-10-06 04:43:04 +05:30
  • 02885af1ca Add binops to eval_expr Pragyansh Chaturvedi 2025-10-06 03:36:44 +05:30
  • e6e2a69506 Add _is_xdp_name Pragyansh Chaturvedi 2025-10-06 03:02:08 +05:30
  • e4e92710c0 Move XDP pass above general return handling Pragyansh Chaturvedi 2025-10-06 02:58:57 +05:30
  • f08bc9976c Add _handle_wrapped_return Pragyansh Chaturvedi 2025-10-06 02:22:43 +05:30
  • 23183da2e1 Add _handle_variable_return Pragyansh Chaturvedi 2025-10-06 00:05:23 +05:30
  • c6fef1693e Add _handle_binop_return Pragyansh Chaturvedi 2025-10-06 00:03:34 +05:30
  • 192e03aa98 Add _handle_typed_constant_return Pragyansh Chaturvedi 2025-10-05 23:59:04 +05:30
  • 6f02b61527 Add _handle_xdp_return Pragyansh Chaturvedi 2025-10-05 23:54:06 +05:30
  • a21ff5633c Add _handle_none_return Pragyansh Chaturvedi 2025-10-05 23:44:46 +05:30
  • f96a6b94dc Remove useless args from handle_return Pragyansh Chaturvedi 2025-10-05 23:40:48 +05:30
  • e9f3aa25d2 Make handle_return (crude for now) Pragyansh Chaturvedi 2025-10-05 23:19:06 +05:30
  • d0a8e96b70 Use getitem dunder for StatementHandlerRegistry Pragyansh Chaturvedi 2025-10-05 20:10:07 +05:30
  • b09dc815fc Add StatementHandlerRegistry Pragyansh Chaturvedi 2025-10-05 15:19:16 +05:30
  • ceaac78633 Janitorial: fix lint Pragyansh Chaturvedi 2025-10-05 15:12:01 +05:30
  • dc7a127fa6 Restructure dir for functions Pragyansh Chaturvedi 2025-10-05 15:09:15 +05:30
  • 3abe07c5b2 add global symbol table populate function varun-r-mallya 2025-10-05 14:02:46 +05:30
  • 01bd7604ed add global symbol table populate function varun-r-mallya 2025-10-05 14:02:46 +05:30
  • 552cd352f2 Merge pull request #20 from pythonbpf/fix-failing-tests Pragyansh Chaturvedi 2025-10-05 14:04:14 +05:30
  • c7f2955ee9 Fix typo in process_stmt Pragyansh Chaturvedi 2025-10-05 14:03:19 +05:30
  • ef36ea1e03 Add nullcheck for var_name in handle_binary_ops Pragyansh Chaturvedi 2025-10-05 14:02:08 +05:30