- Dec 08, 2017
-
-
erwan authored
-
- Jan 28, 2016
-
-
Erwan Jahier authored
-
- Jul 01, 2015
-
-
Mamadou Ndiaye authored
-
- May 29, 2015
-
-
Erwan Jahier authored
-
- Nov 17, 2014
-
-
Erwan Jahier authored
-
- Oct 23, 2013
-
-
Erwan Jahier authored
Timothy Bourke (trigerred where the clock of some args are some other args and when the names of variables are shared between the caller and the callee). The problem is in UnifyClock.f or (in evalClock.ml) ; the current change in evalClock.ml fixes the pb in Tim's program, but I suspect it is still buggy.
-
- Jan 31, 2013
-
-
Erwan Jahier authored
nb : do not work for lv4/ec mode
-
- Jan 11, 2013
-
-
Erwan Jahier authored
nb : I've transformed all the regressions I've seen into todo entries in todo.org. nb 2 : I did not mv the newly broken tests into the broken dirs. I'll do that for those I do not want to fix in the short term.
-
- Dec 13, 2012
-
-
Erwan Jahier authored
-
Erwan Jahier authored
nb: les tests ne passent toujours bien sur. * Partie lus -> AST predef.ml -> srcPredef.ml syntaxTreeCore.ml -> astCore.ml syntaxTree.ml -> astV6.ml syntaxTreeDump.mli-> astV6Dump.mli * Partie Ast -> Ast solveIdent.mli -> astRecognizePredef.mli syntaxTab.mli -> astTab.mli symbolTab.mli -> astTabSymbol.mli * Partie AST -> lic (static evaluation) eff.ml -> lic.ml getEff.mli -> ast2lic.mli lazyCompiler.mli -> licTab.mli builtIn.ml -> licMetaOp.ml predefEval*.ml -> licEval*.ml name.mli -> licName.mli * Partie Lic -> Lic uniqueOutput.mli -> l2lCheckOutputs.mli structArrayExpand.mli -> l2lExpandArrays.mli nodesExpand.mli -> l2lExpandNodes.mli doNoPoly.ml -> l2lRmPoly.ml doAliasTypes.ml -> l2lAliasType.ml doSplit.ml -> l2lSplit.ml
-
- Dec 11, 2012
-
-
Erwan Jahier authored
+ remise en place du souk qu'il a mis dans le repertoire test. - il a commencé à rajouter le CondAct (tout est parti de la en fait...) - il a coupé le LazyCompiler en morceaux Pour cela, il a créé un nouveau module LicPrg qui définit la structure de données (SDD) en sortie du LazyCompiler. Ensuite, les diverses tranformations src2src sont faites à partir de cette SDD. - il a débranché (temporairement) l'expansion de noeud et de array/structure - il a débranché ma pseudo inférence de type et a mis à la place une vérification de types. - Le traitement du polymorphisme est effectué via une transfo src2src dans DoNoPoly (que je vais renommer en RmPoly) -------------------------------------------------------------------------- Par ailleurs, J'ai créé un todo.org et un README.org que je vais essayer de tenir à jour. nb: les tests ne passent toujours bien sur.
-