jonathanvdc 32c9b7d941 Allow the kernel to switch between baseline and complex JIT 8 years ago
..
__init__.py e527d9b485 Initial commit from svn 9 years ago
compiled.py b2f0bc0469 Naively changed user to task in all files 8 years ago
compiled_legacy.py ddf162c025 Rename 'user_root' to 'task_root' 8 years ago
legacy.py b2f0bc0469 Naively changed user to task in all files 8 years ago
main.py 32c9b7d941 Allow the kernel to switch between baseline and complex JIT 8 years ago
primitives.py b2f0bc0469 Naively changed user to task in all files 8 years ago
request_handler.py ce012ab2db Fix inaccurate comment 8 years ago