Commit Graph

  • fa720f8e6b Move convert_to_bool to type_normalization Pragyansh Chaturvedi 2025-10-08 07:14:42 +05:30
  • eff0f66d95 Seperate type_normalization from expr_pass Pragyansh Chaturvedi 2025-10-08 06:59:32 +05:30
  • b43c252224 Fix type_deducer import in expr Pragyansh Chaturvedi 2025-10-08 06:50:53 +05:30
  • aae7aa981d Fix expr imports Pragyansh Chaturvedi 2025-10-08 06:49:34 +05:30
  • 6f9a7301af Rework dir structure for expr Pragyansh Chaturvedi 2025-10-08 06:45:52 +05:30
  • 48923d03d4 cleanup handle_cond in functions_pass Pragyansh Chaturvedi 2025-10-08 06:42:34 +05:30
  • 019a83cf11 Add passing and.py test for conditionals Pragyansh Chaturvedi 2025-10-08 06:28:03 +05:30
  • 140d9e6e35 Add passing or.py test for conditionals Pragyansh Chaturvedi 2025-10-08 06:27:18 +05:30
  • a351b0f1b5 Add _handle_or_or in expr_pass Pragyansh Chaturvedi 2025-10-08 06:24:57 +05:30
  • 3cb73ff0c3 Add _handle_and_op in expr_pass Pragyansh Chaturvedi 2025-10-08 06:24:13 +05:30
  • 3b08c2bede Add handle_and and handle_or handling stub in eval_expr Pragyansh Chaturvedi 2025-10-08 06:14:32 +05:30
  • 86378d6cc4 Add BoolOp handling stub in eval_expr Pragyansh Chaturvedi 2025-10-08 06:11:59 +05:30
  • 00d1c583af Add support for is and is not keywords Pragyansh Chaturvedi 2025-10-08 06:04:29 +05:30
  • cfc246c80d Add explanation notes to failing conditionals tests Pragyansh Chaturvedi 2025-10-08 05:57:17 +05:30
  • f3c80f9e5f Add helper_cond failing test for conditionals Pragyansh Chaturvedi 2025-10-08 05:54:49 +05:30
  • 0d3a5748dd Move map_comp test to passing Pragyansh Chaturvedi 2025-10-08 05:53:52 +05:30
  • 079431754c Add null checks for pointer derefs to avoid map_value_or_null verifier errors Pragyansh Chaturvedi 2025-10-08 05:53:12 +05:30
  • 46f5eca33d Add _deref_to_depth in expr_pass Pragyansh Chaturvedi 2025-10-08 03:12:17 +05:30
  • 7081e939fb Move _get_base_type to _get_base_type_and_depth Pragyansh Chaturvedi 2025-10-08 03:02:31 +05:30
  • 1e29460d6f Add _get_base_type to expr_pass Pragyansh Chaturvedi 2025-10-08 03:00:52 +05:30
  • e180a89644 Add _normalize_types to handle mismatched ints, move type_mismatch test to passing Pragyansh Chaturvedi 2025-10-08 02:22:41 +05:30
  • 34a267e982 Add type_mismatch failing test for conditionals Pragyansh Chaturvedi 2025-10-07 14:02:09 +05:30
  • c81aad7c67 Add failing struct_ptr test for conditionals Pragyansh Chaturvedi 2025-10-07 13:42:58 +05:30
  • 2e677c2c7b Fix struct_access in eval_expr, move struct_access conditional test to passing Pragyansh Chaturvedi 2025-10-07 13:35:31 +05:30
  • 4ea7b22b44 Add 'and' and 'or' BoolOps as future deliverables Pragyansh Chaturvedi 2025-10-07 05:27:31 +05:30
  • b8b937bfca Add failing test map_comp for conditionals Pragyansh Chaturvedi 2025-10-07 05:20:43 +05:30
  • 6cc29c4fa1 Add var_comp test for conditionals Pragyansh Chaturvedi 2025-10-07 05:02:26 +05:30
  • 5451ba646d Add support for unary op 'not' in eval_expr, move not test to passing Pragyansh Chaturvedi 2025-10-07 04:49:45 +05:30
  • 7720437ca5 Add failing tests struct and not for conditionals Pragyansh Chaturvedi 2025-10-07 04:17:26 +05:30
  • eb0a7a917d Add map test to conditionals Pragyansh Chaturvedi 2025-10-07 04:06:16 +05:30
  • 6f65903552 Add var_binop test for conditionals Pragyansh Chaturvedi 2025-10-07 03:43:36 +05:30
  • 97e74d09be Add var test for conditionals Pragyansh Chaturvedi 2025-10-07 03:37:13 +05:30
  • 9c7560ed2e Add const_binop test for conditionals Pragyansh Chaturvedi 2025-10-07 03:24:11 +05:30
  • 2979ceedcf Add const_int test for conditionals Pragyansh Chaturvedi 2025-10-07 03:15:34 +05:30
  • 745f59278f Move conditional logic to eval_expr, add _conver_to_bool, add passing bool test Pragyansh Chaturvedi 2025-10-07 03:11:23 +05:30
  • 49c59b32ca Add Boolean return support Pragyansh Chaturvedi 2025-10-06 23:04:45 +05:30
  • ff78140a7d Eval LHS and RHS in _handle_compare Pragyansh Chaturvedi 2025-10-06 22:38:43 +05:30
  • 82ff71b753 Add _handle_cond to expr_pass Pragyansh Chaturvedi 2025-10-06 22:33:03 +05:30
  • f46e7cd846 Reduce a condition from handle_cond Pragyansh Chaturvedi 2025-10-06 22:20:54 +05:30
  • 9d73eb67c4 Add TODO for fixing struct_kioctx issue varunrmallya 2025-10-08 05:34:25 +05:30
  • 21ce041353 Refactor hist() calls to use dot notation Pragyansh Chaturvedi 2025-10-10 20:45:07 +05:30
  • 7529820c0b Allow int** pointers to store binops of type int** op int Pragyansh Chaturvedi 2025-10-10 20:36:37 +05:30
  • 9febadffd3 Add pointer handling to helper_utils, finish pointer assignment Pragyansh Chaturvedi 2025-10-10 15:01:15 +05:30
  • 99aacca94b WIP: allow pointer assignments to var Pragyansh Chaturvedi 2025-10-10 13:48:40 +05:30
  • 1d517d4e09 Add double_alloc in alloc_mem Pragyansh Chaturvedi 2025-10-10 12:28:45 +05:30
  • 047f361ea9 Allocate twice for map lookups Pragyansh Chaturvedi 2025-10-10 06:09:46 +05:30
  • 489244a015 Add store_through_chain Pragyansh Chaturvedi 2025-10-10 02:56:11 +05:30
  • 8bab07ed72 Remove recursive_dereferencer Pragyansh Chaturvedi 2025-10-10 00:13:35 +05:30
  • 1253f51ff3 Use deref_to_val instead of recursive_dereferencer in get_operand value Pragyansh Chaturvedi 2025-10-09 23:11:06 +05:30
  • 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