alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

utf8: Update to match current version

Browse source 
* utf8/LICENSE, utf8/utf8/cpp11.h, utf8/utf8/cpp17.h: New files.
* Makefile.am: Distribute them.
* utf8/README.md, utf8/utf8/checked.h, utf8/utf8/core.h,
utf8/utf8/unchecked.h: Update to the current version of utfcpp.
* README: Add a link to the upstream github.
This commit is contained in:
Alexandre Duret-Lutz 2022-07-05 10:56:57 +02:00
parent efee1c4130
commit ff89601306
9 changed files with 897 additions and 194 deletions
Download patch file Download diff file Expand all files Collapse all files

4
README
View file

@ -325,13 +325,13 @@ bench/ Benchmarks for ...
wdba/ ... WDBA minimization (for obligation properties).
python/ Python bindings for Spot and BuDDy
Third party software
Third-party software
--------------------
buddy/ A customized version of BuDDy 2.3 (a BDD library).
ltdl/ Libtool's portable dlopen() wrapper library.
lib/ Gnulib's portability modules.
utf8/ Nemanja Trifunovic's utf-8 routines.
utf8/ Trifunovic's utf-8 routines. https://github.com/nemtrif/utfcpp
elisp/ Related emacs modes, used for building the documentation.
picosat/ A distribution of PicoSAT 965 (a satsolver library).
spot/bricks/ A collection of useful C++ code provided by DiVinE