From c47d26722e383cb7993c8b7f5bcc6dcf0af44aa8 Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.maroneze@cea.fr> Date: Fri, 15 Apr 2022 11:48:13 +0200 Subject: [PATCH] move git lfs-managed file to download --- ...achine-learning-for-improving-formal-verification-of-code.md | 2 +- ...chine-learning-for-improving-formal-verification-of-code.pdf | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename {_jobs => download/jobs}/2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf (100%) diff --git a/_jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.md b/_jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.md index 3c24e102..545d3108 100644 --- a/_jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.md +++ b/_jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.md @@ -10,7 +10,7 @@ keywords: machine learning, graph neural networks, code representation learning, # {{ page.short }} -[Full description](2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf) +[Full description](/download/jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf) #### Context: CEA LIST, Software Security and Reliability Lab diff --git a/_jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf b/download/jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf similarity index 100% rename from _jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf rename to download/jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf -- GitLab