aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c
Commit message (Expand)AuthorAgeFilesLines
* new version of the scheduler, interface to GurobiDavid Monniaux2019-02-012-37/+96
* Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-02-011-10/+137
|\
| * Encore de la tuyauterieCyril SIX2019-02-011-1/+91
| * Proof of transf_blocks_verifiedCyril SIX2019-02-011-9/+46
* | Ugly hack to get at the k1c standard library stdin/stdout/stderrDavid Monniaux2019-02-011-1/+6
|/
* implemented builtin memcpyDavid Monniaux2019-02-014-98/+56
* Décomposition de transf_find_bblock en lemmesCyril SIX2019-01-311-1/+22
* Adding a "check_size" in concat2Cyril SIX2019-01-311-13/+30
* idee de refactoringSylvain Boulmé2019-01-311-24/+54
* Rajouté des erreurs plus explicites dans Asmblockgen.vCyril SIX2019-01-301-13/+57
* synchronized with David's scheduling workDavid Monniaux2019-01-302-37/+249
* give meaningful "unhandled instr" messagesDavid Monniaux2019-01-291-11/+7
* Adding indirect calls (icall instruction)Cyril SIX2019-01-296-7/+36
* Hypothèses de pc_set_add permettant de prouver le lemmeCyril SIX2019-01-291-19/+26
* Avancement sur exec_basic_instr_pcvar + exec_load et exec_store prennent des ...Cyril SIX2019-01-293-68/+179
* give meaningful messages pleaseDavid Monniaux2019-01-271-2/+12
* Avancement PostpassSchedulingproofCyril SIX2019-01-251-5/+69
* Progrès dans PostpassSchedulingproofCyril SIX2019-01-251-6/+46
* Un peu d'avancement sur PostpassSchedulingproofCyril SIX2019-01-241-9/+27
* Cleaning dans PostpassSchedulingproofCyril SIX2019-01-231-43/+20
* 3ème cas de transf_step_correct de PostpassSchedulingproof finiCyril SIX2019-01-231-5/+6
* Proof of builtin case for transf_step_correct in PostpassSchedulingproofCyril SIX2019-01-231-1/+25
* Adding a predicate that a builtin must be alone in its basicblockCyril SIX2019-01-233-88/+168
* Changement de modèle de preuve pour le 1er cas du tranf_step_correct de Post...Cyril SIX2019-01-231-14/+47
* Léger avancement PostpassSchedulingproof.vCyril SIX2019-01-221-1/+7
* Added sxwd and zxwd supportCyril SIX2019-01-227-36/+30
* Un poil d'avancement sur PostpassSchedulingproof.v. Corrections à faire sur ...Cyril SIX2019-01-211-1/+47
* fix bug when using reoptimization (sat4j)David Monniaux2019-01-181-9/+13
* -O0 will not perform postpass schedulingCyril SIX2019-01-181-1/+1
* Minor bug in encode_immCyril SIX2019-01-181-2/+2
* Minor bug fixesCyril SIX2019-01-171-2/+2
* Ommited a ;; in va_arg_start macroCyril SIX2019-01-171-0/+1
* Corrected a bug in Pallocframe expansion with va_argsCyril SIX2019-01-172-3/+7
* Merge correctionsCyril SIX2019-01-172-74/+75
* Merge branch 'mppa_k1c' into mppa_postpassCyril SIX2019-01-174-79/+80
|\
| * Added an error message for 32-bits division and moduloCyril SIX2018-12-111-13/+13
| * Fixed div64 and mod64Cyril SIX2018-12-111-0/+1
| * Fixed that fnegd and negd had been invertedCyril SIX2018-12-071-1/+1
| * Fixed bundles (back to 1 instruction per bundle)Cyril SIX2018-12-071-65/+65
* | Corrected a bug in PostlassSchedulingOracle:intlist provoking cyclesCyril SIX2019-01-171-1/+1
* | Added the rest of the instructions info (manually)Cyril SIX2019-01-161-47/+160
* | More instruction definitions in the oracleCyril SIX2019-01-162-12/+36
* | Debugged latency generation. We are able to produce bundlesCyril SIX2019-01-151-23/+78
* | Pfreeframe and Pallocframe raise "OpaqueInstruction". Splitting bb to isolate...Cyril SIX2019-01-151-18/+55
* | Added RA as possible location + control flow infoCyril SIX2019-01-111-6/+12
* | Adding Mem as a possible location for accessesCyril SIX2019-01-111-23/+31
* | Merge branch 'unittest' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...Cyril SIX2019-01-111-2/+3
|\ \
| * | flush stdoutSylvain Boulmé2019-01-111-0/+1
| * | quick and dirty Makefile fixesSylvain Boulmé2019-01-111-2/+3
* | | Replaced the faulty bundlize_solution functionCyril SIX2019-01-111-28/+43
|/ /
generated by cgit (git 2.34.1) at 2024-07-04 01:10:23 +0000