From 2ec3494060ffdafec072fe1b2099a8177b8eca6a Mon Sep 17 00:00:00 2001 From: Jeremy Johnson Date: Tue, 14 Dec 2021 16:34:05 +0000 Subject: Reorganize verif and create packages Split generator and runner scripts Add package setup Add py-dev-env.sh/.bash to allow editing source files during dev Update README.md with installation info Signed-off-by: Jeremy Johnson Change-Id: I172fe426d99e2e9aeeacedc8b8f3b6a79c8bd39d --- thirdparty/serialization_lib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'thirdparty') diff --git a/thirdparty/serialization_lib b/thirdparty/serialization_lib index 49faa4e..9b22517 160000 --- a/thirdparty/serialization_lib +++ b/thirdparty/serialization_lib @@ -1 +1 @@ -Subproject commit 49faa4e42b763dbbce214bb101619bf395cf836a +Subproject commit 9b22517ba0cd6f767123583ce56e864f50e9d758 -- cgit v1.2.1