aboutsummaryrefslogtreecommitdiff
path: root/src/regex/test_regex_proofs.c
Commit message (Expand)AuthorAge
* src: for every AGPL3.0 file, add SPDX identifier.ng02019-01-14
* Revert "integrate dnsparser and dnsstub and tun with libgnunetutil"lurchi2018-06-25
* integrate dnsparser and dnsstub and tun with libgnunetutilChristian Grothoff2018-06-25
* paragraph for gnunet devs that don't know how to use the webpsyc://loupsycedyglgamf.onion/~lynX2018-06-07
* glitch in the license text detected by hyazinthe, thank you!psyc://loupsycedyglgamf.onion/~lynX2018-06-07
* first batch of license fixes (boring)psyc://loupsycedyglgamf.onion/~lynX2018-06-05
* -fix (C) noticesChristian Grothoff2016-01-19
* fix #3869: outdated FSF addressChristian Grothoff2015-06-30
* -bringing copyright tags up to FSF standardChristian Grothoff2015-02-07
* renaming symbols from libgnunetregextest to have the prefix REGEX_TESTChristian Grothoff2013-06-20
* moving functions for testing and evaluation and experiments to the test libra...Christian Grothoff2013-06-20
* continuing refactoring of regex library structure, disambiguating symbol name...Christian Grothoff2013-06-20
* -minor fixesChristian Grothoff2012-12-14
* - Added path compression parameter to DFA construction APIMaximilian Szengel2012-10-26
* testsMaximilian Szengel2012-09-27
* Summary: regex cleanup and bugfixesMaximilian Szengel2012-07-04
* regex bugfixesMaximilian Szengel2012-07-02
* new and improved testsMaximilian Szengel2012-06-27
* doxygen fixesMaximilian Szengel2012-06-26
* new test for regexMaximilian Szengel2012-06-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-23 07:51:57 +0000