Skip to content
#

cortex-m0

Star

Here are 125 public repositories matching this topic...

Language: All
Filter by language
All 125 C 62 C++ 11 Assembly 8 Rust 5 HTML 4 Python 4 Ada 1 C# 1 Forth 1 KiCad Layout 1
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

kth-step / HolBA

Star
Open

Add signature to libraries

2
totorigolo
totorigolo commented Apr 24, 2019

We should write .sig files for libraries.

This command is maybe too simple but it shows that we are missing some of them.

$ cd /path/to/HolBA/src/
$ find . -name "*Lib.sml" -exec sh -c "echo {} | sed 's/Lib.sml/Lib.sig/' | xargs ls >/dev/null" \;
ls: cannot access './tools/cfg/graphVizLib.sig': No such file or directory
ls: cannot access './tools/cfg/bir_cfgLib.sig': No such file or
Read more
enhancement good first issue

Improve this page

Add a description, image, and links to the cortex-m0 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cortex-m0 topic, visit your repo's landing page and select "manage topics."

Learn more