Merge pull request #47 from nialov/46-editor-suggestions-for-the-manu…

…script Implement paper changes (Closes #46)
nialov · May 9, 2023 · 0c70af1 · 0c70af1
2 parents c7883f1 + 5e93dad
commit 0c70af1
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 5,655 deletions.
diff --git a/.gitignore b/.gitignore
@@ -34,6 +34,7 @@ readme.html
 tests/profile_runtime.html
 trace_validator.egg-info
 venv/
+paper/allrefs.bib
 
 # We do not want to include requirements.txt
 # It is merely for backwards compatible pip installs