_CoqProject 418 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1 2
-Q exercises exercises
-Q solutions solutions
Hai Dang's avatar
Hai Dang committed
3 4 5 6 7 8 9 10 11 12 13
-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
exercises/ex_01_swap.v
exercises/ex_02_sumlist.v
exercises/ex_03_spinlock.v
exercises/ex_04_parallel_add.v
exercises/ex_05_parallel_add_mul.v
solutions/ex_01_swap.v
solutions/ex_02_sumlist.v
solutions/ex_03_spinlock.v
solutions/ex_04_parallel_add.v
solutions/ex_05_parallel_add_mul.v