package hardcaml
RTL Hardware Design in OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
hardcaml-v0.13.0.tar.gz
sha256=9f7bb189c6de2bfb8d6bb060360148578e48e1d014c2c82bba48e18972bbbf5a
md5=692be272e1fee9515b3b0fd16f9a1a6d
doc/CHANGES.html
v0.11
- Initial Jane Street public release
- Verion numbering synchronised with Jane Street releases
- Large scale refactoring of library and APIs
- Addition of test suite
- Merge and refactor hardcaml_examples into repository
1.2.0
- Reorganise and merge a bunch of modules (esp ext.ml) which were split out previously due to js_of_ocaml but is no longer needed.
- Replace oasis with ocamlbuild and topkg
1.1.1
- add out_port_next function to simulator - update on out_port reverts to old behaviour
- add dynamic simulation plugin back end registering (for llvmsim)
- fix vpi cosim module search path
1.1.0
- rework simulation so we get the correct output values (in all cases) after cycle
- various simulation hook points added to correctly support waveforms/combining etc
- add
Recipe
module - generates statemchines from imperative style descriptions
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>