1. 01 Feb, 2023 2 commits
  2. 30 Jan, 2023 1 commit
    • Dennis Hendriks's avatar
      Merge branch... · d4af1cec
      Dennis Hendriks authored
      Merge branch '198-efficient-enforcement-of-state-invariant-requirements-in-databased-synthesis-2' into 'develop'
      
      #198 State requirement invariants per edge: replace simplify by a skip.
      
      Closes #198
      
      See merge request !494
      d4af1cec
  3. 28 Jan, 2023 5 commits
  4. 27 Jan, 2023 6 commits
  5. 24 Jan, 2023 6 commits
  6. 23 Jan, 2023 20 commits