change .gitlab-ci.yml to use nmigen with smtlib2 support
[ieee754fpu.git] / index.rst
2021-06-05 R Veera Kumar Initial addition of sphinx documentation system.