lev

0 Followers · 0 Following

• Joined on 2025-04-06

Repositories

2

Projects Packages Code Public Activity Starred Repositories

lev opened issue lev/bassengine#2 2025-04-06 05:01:05 +00:00

New CL Abstraction Engine

lev opened issue lev/bassengine#1 2025-04-06 04:57:51 +00:00

WorkGroup Size Autodetection

lev created repository lev/bassengine 2025-04-06 04:39:55 +00:00

lev pushed to feature/subsumption-tree at lev/psat 2025-04-06 02:36:55 +00:00

a0e1d4f5b4 Added new CNF format

8e34675408 Initial progress on subsumption DFA. Why is this branch called subsumption-tree?

Compare 2 commits »

lev created branch feature/subsumption-tree in lev/psat 2025-04-06 02:36:55 +00:00

lev pushed to feature/gpu-adapt at lev/psat 2025-04-06 02:36:55 +00:00

3f54ad3f6e Commit most recent local copy

53a580d0ec CSFLOC rewrite

e2b633c802 Working to make OpenCL recognize the limitations of the device its on, as well as reusing the OpenCL kernel/context for multiple runs.

Compare 3 commits »

lev created branch feature/gpu-adapt in lev/psat 2025-04-06 02:36:55 +00:00

lev pushed to develop at lev/psat 2025-04-06 02:36:55 +00:00

lev created branch develop in lev/psat 2025-04-06 02:36:55 +00:00

lev pushed to master at lev/psat 2025-04-06 02:36:55 +00:00

lev created branch master in lev/psat 2025-04-06 02:36:55 +00:00

lev created repository lev/psat 2025-04-06 02:19:40 +00:00