Dominic Höglinger dominic
0 Followers · 0 Following
  • Joined on 2025-05-13
Repositories
14
 Projects Packages Public Activity Starred Repositories
dominic pushed to master at dominic/st 2025-05-15 18:30:42 +00:00
e2523c09d9 Rename to "ST"
dominic pushed to master at dominic/st 2025-05-15 18:26:29 +00:00
6da9ea8028 Rename to "ST"
dominic pushed to master at dominic/st 2025-05-15 18:16:20 +00:00
0e068e764d Make rubout packet in output function optional
dominic pushed to master at dominic/st 2025-05-15 17:58:44 +00:00
bf27293543 set_record.py: Add verbose tracing option
dominic pushed to master at dominic/otp.py 2025-05-14 20:23:11 +00:00
6ac2e79607 Simple one-time pad generator
dominic created repository dominic/otp.py 2025-05-14 20:21:55 +00:00
dominic pushed to master at dominic/storm 2025-05-14 19:49:00 +00:00
674ec437fb Initial commit
dominic created branch master in dominic/storm 2025-05-14 19:49:00 +00:00
dominic created repository dominic/storm 2025-05-14 19:48:40 +00:00
dominic pushed to master at dominic/kripkomat 2025-05-14 19:40:38 +00:00
f428b1a45b add input ids
2a4c4b7660 now working on extracting a full mealy FSM from source code
abd3b7660b improved property detection excluding state transitions
ae412bc2d4 added ternary operator support
ae98044d2c added conditional enum which must hold true for differenciating different sub-FSMs depending on configuration
Compare 10 commits »
dominic created branch master in dominic/kripkomat 2025-05-14 19:40:38 +00:00
dominic created repository dominic/kripkomat 2025-05-14 19:39:38 +00:00
dominic pushed to master at dominic/st 2025-05-14 19:07:46 +00:00
0c7e730438 Finalize name change from PET to SET
dominic pushed to master at dominic/st 2025-05-14 18:57:09 +00:00
8b3a9ed381 README.md: Fix example program, elaborate on blurb
dominic pushed to master at dominic/st 2025-05-14 18:45:43 +00:00
3ad06eeada set_record.py: Fixed input stream for Windows, omit null characters in string receive
dominic pushed to master at dominic/st 2025-05-14 18:40:44 +00:00
a8c6119b56 set_record.py: Fixed input stream for Windows, omit null characters in string receive
5c3473ff1f Initial release of Streaming Event Trace
Compare 2 commits »
dominic pushed to master at dominic/st 2025-05-14 18:39:29 +00:00
46283ed9a8 set_record.py: Fixed input stream for Windows, omit null characters in string receive
3bd0e2da7d Initial release of Streaming Event Trace
Compare 2 commits »
dominic renamed repository from pet to dominic/st 2025-05-14 18:38:11 +00:00
dominic pushed to master at dominic/st 2025-05-14 18:37:50 +00:00
4bec2c3c42 set_record.py: Fixed input stream for Windows, omit null characters in string receive
e40e97200d Initial release of Streaming Event Trace
Compare 2 commits »
dominic pushed to master at dominic/st 2025-05-13 20:02:11 +00:00
e1db6c530f Initial release of Pocket Event Trace