| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-11-13 | Correct include dir for libslang (#5539) | Ellie Hermaszewska | |
| This stops adding the repo root to the include path for anything linking with slang. This enabled a bunch of convenient includes, but might lead to confusing behavior for anyone including slang. Not to mention differences including it from an install vs source. Co-authored-by: Yong He <yonghe@outlook.com> | |||
| 2024-10-29 | format | Ellie Hermaszewska | |
| * format * Minor test fixes * enable checking cpp format in ci | |||
| 2024-08-13 | FIx issue with specializing witness tables (#4839) | Sai Praveen Bangaru | |
