Age | Commit message (Collapse) | Author |
|
git-svn-id: https://gnunet.org/svn/gnunet@25553 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@24997 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
- 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)
git-svn-id: https://gnunet.org/svn/gnunet@24564 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@24059 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@24058 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@23958 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@23863 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@23699 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
- fixed a bug that caused nfa's state_count to be incorrect for certain regexes
- only compute scc's when coloring option is set
git-svn-id: https://gnunet.org/svn/gnunet@23386 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@23290 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
Author: szengel
git-svn-id: https://gnunet.org/svn/gnunet@22478 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@22429 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@22353 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@22298 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@22267 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@22266 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@22193 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@21892 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@21787 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
- Proof creation WIP
git-svn-id: https://gnunet.org/svn/gnunet@21321 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@21025 140774ce-b5e7-0310-ab8b-a85725594a96
|
|
git-svn-id: https://gnunet.org/svn/gnunet@21011 140774ce-b5e7-0310-ab8b-a85725594a96
|