Skip to content

Instantly share code, notes, and snippets.

@huitseeker

huitseeker/fiat-backends.log Secret

Created January 11, 2021 22:43
Show Gist options
  • Save huitseeker/57819eb28f3749d62f1acbd48e7ed969 to your computer and use it in GitHub Desktop.
Save huitseeker/57819eb28f3749d62f1acbd48e7ed969 to your computer and use it in GitHub Desktop.
Download ZIP
Counting lines of the fiat32/fiat64 backends Raw
Raw
fiat-backends.log
huitseeker@sleipnir➜src/backend/serial(fiat4_with_u32✗)» pushd -q fiat_u32 && tokei && popd -q [14:42:53]
===============================================================================
Language Files Lines Code Comments Blanks
===============================================================================
Rust 2 227 177 19 31
|- Markdown 2 59 0 49 10
(Total) 286 177 68 41
===============================================================================
Total 2 286 177 68 41
===============================================================================
huitseeker@sleipnir➜src/backend/serial(fiat4_with_u32✗)» pushd -q fiat_u64 && tokei && popd -q [14:42:55]
===============================================================================
Language Files Lines Code Comments Blanks
===============================================================================
Rust 2 226 176 19 31
|- Markdown 2 50 0 41 9
(Total) 276 176 60 40
===============================================================================
Total 2 276 176 60 40
===============================================================================
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment