aboutsummaryrefslogtreecommitdiff
path: root/src/regex/test_regex_proofs.c
Commit message (Collapse)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
| | | | This reverts commit 7da98cf076e9c5101244dfbbf8c3ddff045d298e.
* 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 ↵Christian Grothoff2013-06-20
| | | | library, minimizing the internal library, renaming files according to which library they belong to
* continuing refactoring of regex library structure, disambiguating symbol ↵Christian Grothoff2013-06-20
| | | | names between old regex library which is now internal and the public API; moving IP-to-regex conversion functions to tun library, as only vpn is using those to begin with
* -minor fixesChristian Grothoff2012-12-14
|
* - Added path compression parameter to DFA construction APIMaximilian Szengel2012-10-26
| | | | | | | - Moved NFA construction to internal header - Added regex simulation profiler (for profiling the NFA, that results by merging several DFAs in the DHT, in a database)
* testsMaximilian Szengel2012-09-27
|
* Summary: regex cleanup and bugfixesMaximilian Szengel2012-07-04
| | | | | Author: szengel
* regex bugfixesMaximilian Szengel2012-07-02
|
* new and improved testsMaximilian Szengel2012-06-27
|
* doxygen fixesMaximilian Szengel2012-06-26
|
* new test for regexMaximilian Szengel2012-06-25