Commits · e2d0a2d378c35aea9550b57705f8e40e971cbc47 · LustreC / Lustrec

Mar 03, 2023
- remove frama-c from optional dependencies · daf735d6
  BRUN Lelio authored 2 years ago and GARION Christophe committed 2 years ago
  
  daf735d6
- [wp_strategies] generate opam file to ease install · aa94617d
  GARION Christophe authored 2 years ago
  
  aa94617d
- Update the test architecture to handle JSON config · c3b79e0c
  BRUN Lelio authored 2 years ago
  
  c3b79e0c
Mar 02, 2023
- remove frama-c from optional dependencies · 011d66e3
  BRUN Lelio authored 2 years ago
  
  011d66e3
Feb 24, 2023
- [wp_strategies] generate opam file to ease install · 993ade0c
  GARION Christophe authored 2 years ago
  
  993ade0c
Feb 23, 2023
- [README] add link to frama-c-lustrec script · 65d807d5
  GARION Christophe authored 2 years ago
  
  65d807d5
- [README] typo and correct links to sections · 4d2f85ff
  GARION Christophe authored 2 years ago
  
  4d2f85ff
Feb 22, 2023
- [wp_strategies] strategies can be used with Frama-C 26, needs doc · 699c7a52
  GARION Christophe authored 2 years ago
  
  699c7a52
Feb 02, 2023
- [README] refactoring, but usage and test sections need some serious work :) · 5493e013
  GARION Christophe authored 2 years ago
  
  5493e013
- [README] use OCaml 4.14.1 instead of OCaml 4.11.1 · 1fd68703
  GARION Christophe authored 2 years ago
  
  1fd68703
Jan 25, 2023
- remove reset_cleared strategy from the FramaC plugin, and add optimization... · 00075c16
  BRUN Lelio authored 2 years ago
  
  remove reset_cleared strategy from the FramaC plugin, and add optimization level parameter to test file
  00075c16
Apr 15, 2022
- remove former autoconf/make files and update README · 746356fd
  BRUN Lelio authored 3 years ago
  
  746356fd
Feb 09, 2022
- update README · c13edad6
  BRUN Lelio authored 3 years ago
  
  c13edad6
Feb 03, 2021
- migration draft on dune · 719ae9fd
  BRUN Lelio authored 4 years ago
  
  719ae9fd
Jan 21, 2021
- master creation · 0b7cffef
  BRUN Lelio authored 4 years ago
  
  0b7cffef
Jul 11, 2019
- Seal deps + Z3 pin opam · 0980686c
  Pierre Loic Garoche authored 5 years ago
  
  0980686c
Jul 13, 2018
- Updating dependencies in the READ:E · d0d8fe27
  Pierre Loic Garoche authored 6 years ago
  
  d0d8fe27
Sep 09, 2016
- new readme · 5573fee2
  Temesghen Kahsai authored 8 years ago
  
  5573fee2
- add waffle.io badge · d01a6f46
  Making GitHub Delicious authored 8 years ago
  
  d01a6f46
Feb 23, 2016
- added README · 9421e247
  Temesghen Kahsai authored 9 years ago
  
  9421e247
Dec 08, 2015
- travis · 7ec8e203
  Temesghen Kahsai authored 9 years ago
  
  7ec8e203
May 05, 2015
- build status · a1ea5749
  Temesghen Kahsai authored 9 years ago
  
  a1ea5749
- build status · f9707d86
  Temesghen Kahsai authored 9 years ago
  
  f9707d86
May 04, 2015
- first commit · e2068500
  Temesghen Kahsai authored 9 years ago
  
  e2068500
- Initial commit · dd3965eb
  Temesghen Kahsai authored 9 years ago
  
  dd3965eb
Apr 08, 2015
- horn queries back · f8b3de19
  Pierre Loic Garoche authored 10 years ago
  
  f8b3de19
- horn queries back · 7df1a309
  Pierre Loic Garoche authored 10 years ago
  
  git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@441 041b043f-8d7c-46b2-b46e-ef0dd855326e
  7df1a309
Mar 03, 2015
- README.md edited online with Bitbucket · 56d3f3e1
  Temesghen Kahsai authored 10 years ago
  
  56d3f3e1
- README.md edited online with Bitbucket · 8b34da11
  Temesghen Kahsai authored 10 years ago
  
  git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@413 041b043f-8d7c-46b2-b46e-ef0dd855326e
  8b34da11