Aurélien Delval
1d1da00931
Integration of vfc_ci
...
The vfc_ci tool has been directly added to the repository, since it's
not integrated into Verificarlo yet. The vfc_test_h5.cpp file defines a
test inspired by test_h5.cpp that reads a list of cycles and dump the
vfc_probes for these cycles.
2021-04-29 23:41:23 +02:00
Francois Coppens
b863d40c05
- Setting break-down threshold trough smvars.sh
...
- Fixed SM3 to escape infinite update-loop
2021-04-15 18:13:26 +02:00
Francois Coppens
e5648f7485
Ran: clang-format --style=LLVM on *.cpp and *.hpp files.
2021-04-15 14:38:42 +02:00
Francois Coppens
1201718f28
Preped files, headers, functions, test_h5 and Makefiles for MaponiA3S.
2021-04-14 17:18:31 +02:00
Francois Coppens
991f40a605
Moved common MaponiA3 functions to SM_Helpers.{cpp,hpp} to prepare for MaponiA3+Slagel splitting.
2021-04-14 16:19:49 +02:00
Francois Coppens
ab9d13180a
Small restructuring and cleaning up spurious includes and and namespaces.
2021-04-14 15:32:54 +02:00
Pablo Oliveira
c10ded9cdd
Add version name to tests
2021-03-15 16:00:16 +01:00
François Coppens
e18e80ff5c
Removed matMul() from Helpers.hpp and renamed matMul2() to matMul().
2021-03-10 15:27:53 +01:00
Francois Coppens
9c82092cff
Removed dependence on a breakdown array.
2021-03-09 10:40:47 +01:00
Francois Coppens
3f60779700
Cleanup
2021-03-09 10:39:58 +01:00
François Coppens
983f87d504
Rewrote matMul function so it doesn't declare memory inside.
2021-03-09 10:39:58 +01:00
Pablo Oliveira
4bd61dd76c
Add a standard Sherman-Morisson implementation
...
- It can serve as a baseline reference
- It can serve as a starting point for including the pivot
and splitting techniques from Maponi and Slaggel without the full
complexity of the MaponiA3 algorithm
2021-03-05 17:00:48 +01:00
François Coppens
5d4a7af01a
File tree restructured. Written build script build.sh. TODO: convert buld script into Makefile.
2021-02-26 17:28:52 +01:00
