Issues · GeCoS · GitLab

Mentions légales du service

Snippets Groups Projects

Git-LFS is now available on our GitLab instance.
Please note that the quota check is now in blocking mode. More informations about quotas: https://gitlab.inria.fr/siteadmin/doc/-/wikis/faq#quota-management-policy-to-monitor-disk-space-by-project-on-gitlab

GitLab upgrade completed. Current version is 17.8.2.

Issue IDGTopologicalSort is not sufficient to sort nort for code generation

gecos/gecos-hls#30 created 5 months ago by LEOTHAUD Dylan
Issue VHDL lowering issue

gecos/gecos-hls#29 created 5 months ago by Jean-Michel Gorius
updated 1 week ago
Issue Bug in oracle scheduling

gecos/gecos-hls#28 created 5 months ago by LEOTHAUD Dylan
Issue Potential int overflow issue with speculation

gecos/gecos-hls#27 created 5 months ago by LEOTHAUD Dylan
Issue Not speculating on the maximal dependency for memSpec generates an incorrect FSM.

gecos/gecos-hls#26 created 8 months ago by LEOTHAUD Dylan
Issue Change on global array with no speculation revert changes each cycles

gecos/gecos-hls#25 created 1 year ago by LEOTHAUD Dylan
updated 1 year ago
Issue Rollback insertion fault when gamma input is outside of supernode

gecos/gecos-hls#23 created 1 year ago by Jean-Michel Gorius
Issue sliceGammaNodesInputs does not work with inputs from other SCCs

gecos/gecos-hls#21 created 1 year ago by LEOTHAUD Dylan
updated 1 year ago
Issue defined numbers may be treated as binary numbers

gecos/gecos-hls#20 created 1 year ago by LEOTHAUD Dylan
updated 1 year ago
Issue Add a golden RISC-V simulator to CPURunner

gecos/gecos-hls#17 created 2 years ago by Jean-Michel Gorius
updated 2 years ago
Issue Greedy control optimisation

gecos/gecos-hls#16 created 2 years ago by Jean-Michel Gorius
Issue Testing corner case for spec depth propagation

gecos/gecos-hls#15 created 2 years ago by ROKICKI Simon
Issue Add benchmarks with conditional writes

gecos/gecos-hls#14 created 2 years ago by Jean-Michel Gorius
Issue mergeGamma produces invalid control logic

gecos/gecos-hls#13 created 2 years ago by DERRIEN Steven
updated 2 years ago
Issue Handle non-power-of-2 cycle counts when unpipelining

gecos/gecos-hls#12 created 2 years ago by Jean-Michel Gorius
updated 2 years ago
Issue IDG does not capture WAR dependencies

gecos/gecos-hls#10 created 2 years ago by DERRIEN Steven
Issue Handle fowarding with control outside of the SCC

gecos/gecos-hls#9 created 2 years ago by Jean-Michel Gorius
Issue Handling LSQ nodes in Recmin analyzed

gecos/gecos-hls#8 created 2 years ago by ROKICKI Simon
Issue Issue on div unpipeline

gecos/gecos-hls#7 created 2 years ago by ROKICKI Simon
updated 2 years ago
Issue Error when dealing with switch/case in GSSA extraction

gecos/gecos-hls#4 created 2 years ago by DERRIEN Steven