VASim
VASim copied to clipboard
jackwadden
VASim is a virtual homogeneous non-deterministic finite automata automata simulator and transformation tool. VASim can parse, transform, simulate, and profile homogeneous NFAs, and is meant to be an o...
This pull request updates the MNRL submodule so that VASim can be compiled and run on Apple's M1 silicon. Initial tests show significant speedups on M1-pro vs Intel's i7 or...
I am using Ubuntu 20.04 and I do not really want to downgrade my compiler to gcc 5. So, I went to the [Makefile](https://github.com/jackwadden/VASim/blob/master/Makefile) and replaced line 2 with ```CC...
The automaton attached does not accept the input string "20"; once determinized (-D), the resulting DFA does. [test.anml.txt](https://github.com/jackwadden/VASim/files/4268384/test.anml.txt)
Hi, Can VASIM enforce the fanin & fanout to 1, when anml file has a cycle? if not, why?? Thanks,
Profiling stores behavior in memory and does not write these structures to disk until simulation is finished. This can prevent profiling of longer runs due to memory limitations.
Need new methodology for special element simulation.
There is a lot of commented out "dead" code in VASim. There is also a lot of "method2()" left over from lazy feature addition and debug cycles. VASim needs a...
VASim does not allow input stream parallelization by multiple files, delimeters, or byte width; There is also no way to specify overlap among streams.
Previously, `clearInputs()` is declared as: `bool clearInputs();` in `include/element.h`. However, in its definition in `src/element.cpp`, it does not actually have a return statement. This is undefined behavior and causes crashes...
Metadata
Owner
Metadata
VASim is a virtual homogeneous non-deterministic finite automata automata simulator and transformation tool. VASim can parse, transform, simulate, and profile homogeneous NFAs, and is meant to be an o...