1. 07 Aug, 2022 3 commits
  2. 31 Jul, 2022 5 commits
  3. 25 Jul, 2022 8 commits
  4. 23 Jul, 2022 2 commits
  5. 22 Jul, 2022 1 commit
  6. 21 Jul, 2022 3 commits
  7. 19 Jul, 2022 1 commit
    • Thierry Martinez's avatar
      lower menhir optimization level · f13b03aa
      Thierry Martinez authored
      Starting from menhir.20211230, menhir has a new code generation
      back-end that generates by default a .ml file that is too big for
      OCaml to compile. The code size is reduced is the optimization level
      is reduced to -O 1 (by default, -O 2 is used).
      
      This commit introduces a variable MENHIR_FLAGS to the Makefile, and
      set MENHIR_FLAGS to -O 1 by default if the current version of menhir
      supports this option (introduced in menhir.20211230, for instance the
      bundled menhir version does not support it).
      f13b03aa
  8. 18 Jul, 2022 1 commit
  9. 16 Jul, 2022 1 commit
    • LAWALL Julia's avatar
      add do while · e93f5513
      LAWALL Julia authored and LAWALL Julia's avatar LAWALL Julia committed
      This is based on an original patch proposal by:
      
      From: Evan Zhao <tacingiht@gmail.com>
      To: Coccinelle <cocci@systeme.lip6.fr>
      Subject: [Cocci] [Patch] Add dowhile support in SmPL
      Date: Mon, 22 Apr 2019 21:34:29 +0800	[thread overview]
      Message-ID: <CAAGQS2vWgFjbU9t9QXKgDefp1TcOnMoDwPFE0kMpU_203JXEag@mail.gmail.com> (raw)
      
      That patch, however, treated the final semicolon like the kind of ender
      that is added to an if, while loop, etc., that is not necessary.  Do
      while is more like { }.
      
      This one does not make any changes in the SmPL processing code
      (parsing_cocci), but only in the translation to CTL.  The management of
      free variables in the translation of CTL is furthermore modified to
      better match what is done for { }.
      
      The test cases are based on the ones in the original patch, with a few
      modifications.
      e93f5513
  10. 14 Jul, 2022 1 commit
  11. 20 Jun, 2022 8 commits
  12. 05 Jun, 2022 1 commit
  13. 21 May, 2022 1 commit
  14. 11 May, 2022 1 commit
  15. 27 Mar, 2022 3 commits