Commits

History for

Commits on Jul 10, 2024

Centralise fsm_print() and friends.
katef
committed
0b84d75

Commits on Sep 11, 2023

Remove theft test harness for deleted ADT (ipriq).

silentbicycle
authored and
katef
committed
7c6644f

Commits on Apr 15, 2023

Fix phrasing.

silentbicycle
authored and
katef
committed
cad000e
Fix typo.

silentbicycle
authored and
katef
committed
17c7cf3

Commits on Apr 26, 2022

Update kmkf for ${CSTD}, and switch everything to C99.
katef
committed
b42b609

Commits on Apr 3, 2022

Rename `fuzz` target to `theft`, use `fuzz` for new fuzzer.

silentbicycle
authored and
katef
committed
9ea2178

Commits on Apr 6, 2021

Merge pull request #324 from katef/sv/determinise-with-grouped-edges
katef
authored
3c4d882

Commits on Mar 30, 2021

fuzz_nfa: Reduce the number of trials for these.
silentbicycle
committed
0aac057

Commits on Mar 29, 2021

fuzz_re_parser: Don't emit '\0' bytes as part of a regex, trucating.
silentbicycle
committed
25e60f4
fuzz_re_parser: Also generate ^ and $ PCRE anchors.
silentbicycle
committed
ac6e53b
fuzz_re_parser_pcre: Increase verbosity threshold for printing FSM dot.
silentbicycle
committed
b7eeb21
type_info_nfa: Zero the allocation.
silentbicycle
committed
34e5c7f
fuzz_re_parser: Add regression test.
silentbicycle
committed
736ee4b
fuzz_nfa: Add a comment.
silentbicycle
committed
116a19f
fuzz_nfa: Fix handling of fsm_trim return status in test code.
silentbicycle
committed
3d45924
fuzz_nfa: Changes to logging.
silentbicycle
committed
d719150
theft/RE tests: Several fixes, mostly related to character classes.
silentbicycle
committed
7a64610
theft: Remove tests for removed set ADT.
silentbicycle
committed
9a969d1
fuzz_nfa: Due to interface changes, minimization now requires a DFA.
silentbicycle
committed
b202c94
type_info_nfa: Reduce default state size.
silentbicycle
committed
7957a02

Commits on Mar 17, 2021

adt/ipriq: Index priority queue.
silentbicycle
committed
e5e533d

Commits on Mar 4, 2021

WIP: edgeset: grouped edge iterator w/ distinct unique & non-unique.
silentbicycle
committed
3255aed
Merge pull request #319 from katef/sv/remove-opaques
katef
authored
4c6f1e2
Less specific checks for compiler names.
katef
committed
0b61651

Commits on Mar 1, 2021

theft: Switch a few more tests from opaques to endid API.
silentbicycle
committed
113e1e0

Commits on Feb 3, 2021

Commits on Dec 4, 2020

theft/fuzz_capture_string_set: Test code cleanup.

silentbicycle
authored and
katef
committed
8317a50
Switch end-ID API to scalable approach; satify property tests; cleanup.

silentbicycle
authored and
katef
committed
3ff3661

Commits on Nov 25, 2020

theft/*: Update for interface changes, also done elsewhere.

silentbicycle
authored and
katef
committed
1a9f69d

Commits on Nov 9, 2020

Sprinkle const.
katef
committed
0c96c0c

Commits on Nov 8, 2020

Add flag for checking for false positives.

silentbicycle
authored and
katef
committed
0474dc7
Check in property tests, still under active development.

silentbicycle
authored and
katef
committed
d76e775

Commits on Aug 19, 2020