Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.015Sep27Jul2120181714131210876330Jun27262322212017May16528Apr2726256520Mar632114Feb31Jan13111065430Dec282721208422Nov921Oct1230Sep2897126Aug9615Jun112Apr114Mar23Feb219Jan188718Dec16158729Nov262120167613Oct98715Sep18Aug139Jun513May5413Apr9843124Mar17161265316Feb10Dec98127Nov29Sep26241814109543215Jul12111098743227Jun2625242320171223May222019161Apr31Mar24201918171614131110654128Feb2624Initial import of stateflow_cps_semantics (github)C backend: solved the issue of long name in generated binaries.Normalization: force normalization of "every" argumentsfirst solution to address very large identifiers in node names, logs, and generated binaries[EMF] improved feedback on reset callsMerge branch 'dynamic_inlining' into unstableFirst working version of algebraic loop resolution. Disabled by default.[EMF} missing brace[EMF] missing quotesOngoing workMerge branch 'unstable' into dynamic_inlining[EMF] improved alignement of braces + solved (naother) bug in shortening of ids[EMF] more hashMerge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable[EMF] bug solved, some ids were not hashedange ID lengthblup[EMF] simplify branches with single case as regular instructions[EMF] Disable join of guards in EMF backendWorking on algebraic loop diagnostic and resolutionRefactor error printing.[EMF] protect machine names[EMF] protect more field[EMF] Protecting print of names to ensure a length < 50. Remove the middle part of the string and inject a hash of it.A math library for some functions used in SimulinkRenamed math lib into lustrec_math to avoid conflicting calls to <math.h>[HORN] handled asserts in stateless node step rule definition[HORN] Protect names of stateless nodes with a _fun suffix. This was conflicting with existing names in Z3, ie. "abs".Addressing node calls in assertsProvides type compatible with Matlab types in EMF backend[EMF backend] Merging branchesRefactored some code: optimization of machinebug fixed: Inputs for branches solvedProper integer index for enumerated branchesEnumerated datatypes as integerRefactored EMF backend. Handle now the call to existing math and conv librariesEMF backend: each branch provides the inputs and outputsRenamed ISet of Machine_code to VSet: was sets of variable and was conflicting with ISet from Utils which carries strings.Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstablesmall modifs in EMF format