|
python
|
it works! it works! it works! yay yay yay!
|
2026-08-05 20:25:59 -05:00 |
|
repl
|
added -t truthtable option
|
2026-08-21 00:04:02 -05:00 |
|
.envrc
|
good start, lets do better
|
2026-05-20 18:06:35 -05:00 |
|
.gitignore
|
I think we are almost done
|
2026-06-08 16:04:45 -05:00 |
|
apply_transformation.c
|
it works! it works! it works! yay yay yay!
|
2026-08-05 20:25:59 -05:00 |
|
apply_transformation.h
|
it works! it works! it works! yay yay yay!
|
2026-08-05 20:25:59 -05:00 |
|
avl.c
|
.
|
2026-08-01 12:44:28 -05:00 |
|
avl.h
|
.
|
2026-08-01 12:44:28 -05:00 |
|
build
|
unconditionally P calc mode now
|
2026-06-12 23:13:59 -05:00 |
|
CHECK.h
|
heap keeps reverse lookup seperate from entries
|
2026-06-15 19:28:02 -05:00 |
|
defines.h
|
.
|
2026-06-08 13:50:31 -05:00 |
|
expand.c
|
unconditionally P calc mode now
|
2026-06-12 23:13:59 -05:00 |
|
expand.h
|
unconditionally P calc mode now
|
2026-06-12 23:13:59 -05:00 |
|
expand_remove_duplicates.c
|
unconditionally P calc mode now
|
2026-06-12 23:13:59 -05:00 |
|
expand_remove_duplicates.h
|
unconditionally P calc mode now
|
2026-06-12 23:13:59 -05:00 |
|
flake.lock
|
good start, lets do better
|
2026-05-20 18:06:35 -05:00 |
|
flake.nix
|
.
|
2026-06-08 13:50:31 -05:00 |
|
gen-lookup-table.cpp
|
it works! it works! it works! yay yay yay!
|
2026-08-05 20:25:59 -05:00 |
|
gen-shrunk-truthtables.cpp
|
unconditionally P calc mode now
|
2026-06-12 23:13:59 -05:00 |
|
kind.h
|
.
|
2026-06-12 22:49:31 -05:00 |
|
pack.h
|
multithreaded tangent
|
2026-05-21 22:23:27 -05:00 |
|
repl_entry.h
|
for the first time we have stats
|
2026-08-05 08:50:27 -05:00 |
|
run
|
unconditionally P calc mode now
|
2026-06-12 23:13:59 -05:00 |
|
sandbox.cpp
|
claude seems to have an idea, something about NPN?
|
2026-05-25 20:02:29 -05:00 |
|
shrink.c
|
unconditionally P calc mode now
|
2026-06-12 23:13:59 -05:00 |
|
shrink.h
|
multithreaded tangent
|
2026-05-21 22:23:27 -05:00 |
|
swrite.c
|
I think we are almost done
|
2026-06-08 16:04:45 -05:00 |
|
swrite.h
|
I think we are almost done
|
2026-06-08 16:04:45 -05:00 |
|
TODO.h
|
I think we are almost done
|
2026-06-08 16:04:45 -05:00 |
|
todo.md
|
max-cost of P-not-and-xor is 13, and I need to debug NPN, it is acting strange
|
2026-06-11 19:01:11 -05:00 |
|
ztrace.c
|
.
|
2026-07-31 18:43:19 -05:00 |
|
ztrace.h
|
it works! it works! it works! yay yay yay!
|
2026-08-05 20:25:59 -05:00 |
