]> rtime.felk.cvut.cz Git - hubacji1/bcar.git/commit
Add code to prove parallel slot dimensions
authorJiri Vlasak <jiri.vlasak.2@cvut.cz>
Fri, 30 Jul 2021 13:46:00 +0000 (15:46 +0200)
committerJiri Vlasak <jiri.vlasak.2@cvut.cz>
Fri, 30 Jul 2021 13:50:54 +0000 (15:50 +0200)
commit1946e0082f07c18ad4c457cc222e29d6033f71a0
tree5ad97244b5303c09d90419ec3d0e1ceb57a66af2
parent675ecb634111d3ed658410a82bc6557d480b838e
Add code to prove parallel slot dimensions
CMakeLists.txt
src/prove_parallel_slot.cc [new file with mode: 0644]