search

microsoft / z3guide

Tutorials and courses for Z3
https://microsoft.github.io/z3guide
MIT License
65 stars 23 forks source link

Missing Theories from menu #81

Closed NikolajBjorner closed 2 years ago

NikolajBjorner commented 2 years ago

Some theories are missing from the side-bar menu.

08/04/2022 04:32 PM 5,712 05 - Arithmetic.md 08/04/2022 04:32 PM 4,574 06 - Bitvectors.md 08/04/2022 04:32 PM 974 07 - IEEE Floats.md 08/04/2022 04:32 PM 6,081 08 - Arrays.md 08/04/2022 04:32 PM 5,965 09 - Datatypes.md 08/04/2022 04:32 PM 9,715 10 - Strings.md 08/04/2022 04:32 PM 3,476 11 - Sequences.md 08/04/2022 04:32 PM 3,844 12 - Regular Expressions.md 08/04/2022 04:32 PM 643 13 - Characters.md 08/04/2022 04:32 PM 3,063 14 - Special Relations.md

We are missing Regular Expressions.md and Characters.md

pelikhan commented 2 years ago

Isn't the menu generated automatically from the files in the folder?

rlisahuang commented 2 years ago

Not for the SMTLIB materials. Those are generated manually (for title formatting etc.) by Ayana. We can port it back to be automated.

rlisahuang commented 2 years ago

83

NikolajBjorner commented 2 years ago

I pushed fixes for this, but I guess the main web page isn't updated any longer.

NikolajBjorner commented 2 years ago

https://github.com/microsoft/z3guide/blob/d70efa36af36ec5c24384a2108a8378af4c62584/website/sidebars/smtlibSidebars.js#L52