tinygrad/extra/optimization
Sieds Lykles e75be6eafc
[bounty] [pr] index validation with z3 (#9981)
* index validation with z3

* Change comment

* toposort -> toposort()

---------

Co-authored-by: George Hotz <72895+geohot@users.noreply.github.com>
2025-04-24 08:06:08 -04:00
..
extract_dataset.py assign early folding (#8093) 2024-12-07 17:02:55 +08:00
extract_policynet.py remove symbolic file [pr] (#7012) 2024-10-12 18:44:44 +08:00
extract_sa_pairs.py Kernel.apply_opts [pr] (#9917) 2025-04-17 08:00:56 -04:00
generate_dataset.sh use CAPTURE_PROCESS_REPLAY=1 in CI [pr] (#8564) 2025-01-11 06:03:48 -05:00
get_action_space.py hand_coded_optimizations returns list[Opt] [pr] (#9938) 2025-04-19 20:26:59 -04:00
helpers.py Kernel.apply_opts [pr] (#9917) 2025-04-17 08:00:56 -04:00
pretrain_valuenet.py remove symbolic file [pr] (#7012) 2024-10-12 18:44:44 +08:00
rl.py move time_linearizer to extra.optimization.helpers [pr] (#9048) 2025-02-12 15:49:58 -05:00
run_qnet.py s/get_linearizer/get_kernel [run_process_replay] (#5467) 2024-07-13 20:32:22 -04:00
search.py move time_linearizer to extra.optimization.helpers [pr] (#9048) 2025-02-12 15:49:58 -05:00
test_beam_search.py [bounty] [pr] index validation with z3 (#9981) 2025-04-24 08:06:08 -04:00
test_helpers.py fix load_worlds filter_novariable (#7564) 2024-11-05 16:06:39 -05:00
test_net.py hand_coded_optimizations returns list[Opt] [pr] (#9938) 2025-04-19 20:26:59 -04:00
test_time_linearizer.py move time_linearizer to extra.optimization.helpers [pr] (#9048) 2025-02-12 15:49:58 -05:00