Commits · master · pseuco / m3

Dec 04, 2021
- Merge branch 'fix_msg_typo' into 'master' · 8d4f9da9
  Felix Freiberger authored 3 years ago
  8d4f9da9
- Fix error message · 513e8cd2
  Fabian Kosmale authored 3 years ago
  513e8cd2
Feb 27, 2021
- Try to upgrade Python 3.6 -> 3.8 · c8a59b11
  Gregory Stock authored 4 years ago
  
  c8a59b11
Jun 29, 2019
- don't require exactly one space after if keyword · 050ebc0a
  Fabian Kosmale authored 5 years ago
  050ebc0a
Jun 21, 2019
- Merge branch 'errmsg' into 'master' · 472b892e
  Felix Freiberger authored 5 years ago
  472b892e
- create better error message if agent is declared after mainAgent · 5914483a
  Fabian Kosmale authored 5 years ago
  
  5914483a
Jun 19, 2019
- Merge branch 'fix61' into 'master' · 659a4519
  Felix Freiberger authored 5 years ago
  659a4519
- further fix for identifier · 68b7f28b
  Fabian Kosmale authored 5 years ago
  68b7f28b
Apr 11, 2019
- fix obtained wrong agent ID · 42418c48
  Fabian Kosmale authored 6 years ago
  42418c48
Mar 29, 2019
- mention tested version of z3 · f0d45c0a
  Fabian Kosmale authored 6 years ago
  
  f0d45c0a
Mar 28, 2019
- use AGPL license just like pseuco · a0202fa4
  Fabian Kosmale authored 6 years ago
  a0202fa4
Mar 27, 2019
- more explanation · 74a2b012
  Fabian Kosmale authored 6 years ago
  
  74a2b012
- make sure that variable is set · 285cb39f
  Fabian Kosmale authored 6 years ago
  
  285cb39f
- support showing models which only differ in order · 5669d8e7
  Fabian Kosmale authored 6 years ago
  
  5669d8e7
Mar 24, 2019
- better error reporting for loops · db5d32d6
  Fabian Kosmale authored 6 years ago
  
  db5d32d6
Mar 20, 2019
- better name · f13037f5
  Fabian Kosmale authored 6 years ago
  
  f13037f5
- add some support for choosing different model generation strategies · c26edade
  Fabian Kosmale authored 6 years ago
  
  c26edade
Mar 19, 2019
- Fix new model generation after OOTR detected · 21461666
  Fabian Kosmale authored 6 years ago
  21461666
- support different new model strategies (fixed) · 96e04d0f
  Fabian Kosmale authored 6 years ago
  96e04d0f
- Revert "support different new model strategies" · c24b7c40
  Fabian Kosmale authored 6 years ago
  c24b7c40
- support different new model strategies · 75ad1b11
  Fabian Kosmale authored 6 years ago
  
  75ad1b11
Mar 15, 2019
- support compression · 3be50bfc
  Fabian Kosmale authored 6 years ago
  
  3be50bfc
- Add ootr check · 26864f72
  Fabian Kosmale authored 6 years ago
  
  26864f72
Mar 14, 2019
- allow programs without global variables · c523b788
  Fabian Kosmale authored 6 years ago
  
  c523b788
- check if there is at least one started agent · 930d199d
  Fabian Kosmale authored 6 years ago
  
  930d199d
Mar 13, 2019
- add type hints · baede854
  Fabian Kosmale authored 6 years ago
  
  baede854
Mar 12, 2019
- handle adding more than one write-seen rel for same read · d75d2fb4
  Fabian Kosmale authored 6 years ago
  
  d75d2fb4
- logging configuration · 361defe1
  Fabian Kosmale authored 6 years ago
  
  361defe1
Mar 08, 2019
- actually set challenge text · cd7e302f
  Fabian Kosmale authored 6 years ago
  
  cd7e302f
Feb 15, 2019
- reminder to think about thin air reads · 17967044
  Fabian Kosmale authored 6 years ago
  
  17967044
- add inconsistency axioms · 73106616
  Fabian Kosmale authored 6 years ago
  
  73106616
- started adding schema file to document communication between server and client · aae573bf
  Fabian Kosmale authored 6 years ago
  
  aae573bf
Jan 14, 2019
- final rebase · 5d0e971f
  Fabian Kosmale authored 6 years ago
  
  5d0e971f
- prepare substitution · 35266438
  Fabian Kosmale authored 6 years ago
  
  35266438
- prepare substitution · 608fb3e2
  Fabian Kosmale authored 6 years ago
  
  608fb3e2
- support challenge mode · 10f6f4ea
  Fabian Kosmale authored 6 years ago
  
  10f6f4ea
- challenge mode: fist step · ee76097a
  Fabian Kosmale authored 6 years ago
  
  ee76097a
- allow reordering · 7bcc6a3e
  Fabian Kosmale authored 6 years ago
  
  7bcc6a3e
- assertions · f6902bf1
  Fabian Kosmale authored 6 years ago
  
  f6902bf1
Jan 13, 2019
- fix order assertion · f834a871
  Fabian Kosmale authored 6 years ago
  
  f834a871