aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-07-28 10:02:26 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-08-08 09:54:45 +0200
commit52b7cd665eb13098ea8ccd45ccac2bb5b85f423d (patch)
treee2f71a0fd1dbba5edbac13b5b3d58d6c87e6b402 /validation/optim
parent80ee1b6fca62dcf9ed7c54fba5cc45b790c11524 (diff)
downloadsparse-dev-52b7cd665eb13098ea8ccd45ccac2bb5b85f423d.tar.gz
reorg code for shift-shift simplification
No functional changes, just moving the code around in preparation for shift-shift simplification. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim')
0 files changed, 0 insertions, 0 deletions