aboutsummaryrefslogtreecommitdiffstats
path: root/scheduling/RTLpathLivegenaux.ml
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/manuscript' into kvx-worksubmission_OOPSLA2021_AARCH64_KVXCyril SIX2021-04-131-14/+16
|\
| * Code simplification of get_path_map (no functionality change)Cyril SIX2021-01-261-14/+16
| |
* | improved pre_output_regsSylvain Boulmé2021-02-221-5/+8
| |
* | quick fixcommentsLéo Gourdin2021-02-161-4/+1
| |
* | This commit gives a first try to compute pre_output_regs from the livenesss ↵Léo Gourdin2021-02-151-10/+19
| | | | | | | | oracle
* | specification of pre_output_regs for the simulation checkerSylvain Boulmé2021-02-111-2/+2
|/
* Uniformizing a couple of debug print functionsCyril SIX2020-12-171-45/+13
|
* Flushing at each dprintfCyril SIX2020-12-161-1/+3
|
* just missing OpWeights for AARCH64David Monniaux2020-09-161-0/+309