speed up simulation by optimizing SimulationImpl::read_traces
#360 -Commit
c632e5d570
pushed by
programmerjake
speed up simulation by optimizing SimulationImpl::read_traces
#359 -Commit
c632e5d570
pushed by
programmerjake
don't compare function pointers -- they're non-deterministic
#352 -Commit
e366793204
pushed by
programmerjake
don't compare function pointers -- they're non-deterministic
#351 -Commit
e366793204
pushed by
programmerjake
Define design safety, and prove it for 1-step and 2-step induction.
#350 -Commit
a398f8f185
pushed by
cesar
Define design safety, and prove it for 1-step and 2-step induction.
#349 -Commit
a398f8f185
pushed by
cesar
add FillInDefaultedGenerics<Type = Self> bound for SizeType
#345 -Commit
fbe4585578
pushed by
programmerjake
add FillInDefaultedGenerics<Type = Self> bound for SizeType
#344 -Commit
fbe4585578
pushed by
programmerjake
add FillInDefaultedGenerics<Type = Self> bound for SizeType
#343 -Commit
0548c47496
pushed by
programmerjake
Demonstrates state with multiple variables and hidden state.
#340 -Commit
e54558d848
pushed by
cesar
add utility impls for SimValue<ArrayType<_, _>>
#335 -Commit
17b58e8edb
pushed by
programmerjake
add utility impls for SimValue<ArrayType<_, _>>
#334 -Commit
17b58e8edb
pushed by
programmerjake