diff options
author | Jonathan <jonathan@jonathan-VirtualBox.(none)> | 2014-01-09 17:51:25 +0100 |
---|---|---|
committer | Jonathan <jonathan@jonathan-VirtualBox.(none)> | 2014-01-09 17:51:25 +0100 |
commit | 438b8e30bd7d4e186554a899d9fc86fc4bc65a9e (patch) | |
tree | 343843b5e173892fce45e913ac6b91f1ab1b9739 /cpu/cpu.ml | |
parent | 36a354fc8b914f6b96cba19a67c8f6ce712ac656 (diff) | |
download | SystDigit-Projet-438b8e30bd7d4e186554a899d9fc86fc4bc65a9e.tar.gz SystDigit-Projet-438b8e30bd7d4e186554a899d9fc86fc4bc65a9e.zip |
Implémentation de la multiplication ; correction d'un bug dans netlist_gen ; ajout de la localisation des erreurs dans sched/.
Diffstat (limited to 'cpu/cpu.ml')
-rw-r--r-- | cpu/cpu.ml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -313,5 +313,5 @@ let p = "ser_in_busy", 1, ser_in_busy; ] -let () = Netlist_gen.print stdout p +let () = Netlist_printer.print_program stdout p |