Commits · e4811e4c6fec1369742e7a5b47c2715fe3058b15 · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

Gitlab is under maintenance

You are on a read-only GitLab instance.

Aug 03, 2018
- add more conversion libraries · e4811e4c
  Hamza Bourbouh authored 6 years ago
  
  e4811e4c
Jul 24, 2018
- fix rem and mod · 239f4429
  Hamza Bourbouh authored 6 years ago
  
  239f4429
- Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec · 8be49798
  Hamza Bourbouh authored 6 years ago
  
  8be49798
- add tanh · 4d841db7
  Hamza Bourbouh authored 6 years ago
  
  4d841db7
Jul 13, 2018
- Updating dependencies in the READ:E · d0d8fe27
  Pierre Loic Garoche authored 6 years ago
  
  d0d8fe27
- Byte/String bug reappeared · 83dc064f
  Pierre Loic Garoche authored 6 years ago
  
  83dc064f
- Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec · f9d0c175
  Pierre Loic Garoche authored 6 years ago
  
  f9d0c175
- Preparing release of 1.5 Xia/Shao Kang · c1c4263c
  Pierre Loic Garoche authored 6 years ago
  
  c1c4263c
- Solved bug#57: issues when indirect init of a pre in horn-traces · 2d2144c0
  Pierre Loic Garoche authored 6 years ago
  
  2d2144c0
Jul 12, 2018
- Temporily disabling Mehnir as a parser. · bc9fd714
  Pierre Loic Garoche authored 6 years ago
  
  bc9fd714
May 31, 2018
- bug wrt normalization. Didn't take clock into account. · 0bd19a92
  THIRIOUX Xavier authored 6 years ago
  
  0bd19a92
- strange bug (ill-typed source) wrt Bytes/String conversion · bec3cf3d
  THIRIOUX Xavier authored 6 years ago
  
  bec3cf3d
- bug in CSE, was disregarding clock · cff64531
  THIRIOUX Xavier authored 6 years ago
  
  cff64531
- Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable · 885b2896
  THIRIOUX Xavier authored 6 years ago
  
  885b2896
May 17, 2018
- updated division for Horn clauses · 1d0fd52b
  THIRIOUX Xavier authored 6 years ago
  
  1d0fd52b
- corrected euclidean division in C code · 14da5302
  THIRIOUX Xavier authored 6 years ago
  
  14da5302
- corrected the division conversion scheme · 58d610e1
  THIRIOUX Xavier authored 6 years ago
  
  58d610e1
- corrected the division conversion scheme · 8cc55e2c
  THIRIOUX Xavier authored 6 years ago
  
  8cc55e2c
- Integer div choices · a6e85cdc
  Pierre Loic Garoche authored 6 years ago
  
  a6e85cdc
- Provide back the previous behavior concerning parsing spec. · eccb3f63
  Pierre Loic Garoche authored 6 years ago
  
  eccb3f63
- Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into unstable · 4d7f8ce0
  Pierre Loic Garoche authored 6 years ago
  
  4d7f8ce0
- Merge branch 'euclidean' into unstable · ba91ed9e
  Pierre Loic Garoche authored 6 years ago
  
  ba91ed9e
- Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable · 0e1a5ece
  Pierre Loic Garoche authored 6 years ago
  
  0e1a5ece
- Merge branch 'euclidean' of https://cavale.enseeiht.fr/git/lustrec into euclidean · 91f0f06a
  Pierre Loic Garoche authored 6 years ago
  
  91f0f06a
- introduced euclidean/C-like division in C code generation · 5318ad88
  THIRIOUX Xavier authored 6 years ago
  
  5318ad88
- install of yojson depends on lustresf in configure now · c2db548b
  GARION Christophe authored 6 years ago
  
  c2db548b
- Euclidean div/mod treatment in Horn backend · fa91d4d0
  Pierre Loic Garoche authored 6 years ago
  
  fa91d4d0
- Issues with typing pp_basic_lib_fun · 3cd040e3
  Pierre Loic Garoche authored 6 years ago
  
  3cd040e3
May 16, 2018
- Kind licence file · 12249005
  Pierre Loic Garoche authored 6 years ago
  
  12249005
- Tentative to rely on Kind parser for contracts · 2ae3ef3f
  Pierre Loic Garoche authored 6 years ago
  
  2ae3ef3f
- Produce condition coverage for basic boolean expressions. To be improved with a simpler condition. · ff6ba54e
  Pierre Loic Garoche authored 6 years ago
  
  ff6ba54e
May 15, 2018
- [lustrec/mcdc/ improved the MCDC output · 8cacf677
  Pierre Loic Garoche authored 6 years ago
  
  8cacf677
- Tuning the pretty printing of Salsa plugin · 8e6cab20
  Pierre Loic Garoche authored 6 years ago
  
  8e6cab20
May 07, 2018
- Homogenizing the API for salsa and its use within the plugin · 151117f7
  Pierre Loic Garoche authored 6 years ago
  
  151117f7
May 04, 2018
- Some tentative improvement of Salsa plugin. Not satisfying yet · 68322df3
  Pierre Loic Garoche authored 6 years ago
  
  68322df3
- Moved mk_fresh_var from normalization to corelang · 7065d912
  Pierre Loic Garoche authored 6 years ago
  
  7065d912
- [scopes] Producing the appropriate scope label · 8926852f
  Pierre Loic Garoche authored 6 years ago
  
  8926852f
- NumMartel functions · 08faae63
  Pierre Loic Garoche authored 6 years ago
  
  08faae63
May 03, 2018
- Merging unstable into salsa · b068041a
  Pierre Loic Garoche authored 6 years ago
  
  b068041a
- Merge branch 'unstable' into salsa · c0d116ec
  Pierre Loic Garoche authored 6 years ago
  
  c0d116ec