Commits · 7a3b51c98bafd479036b2efabca5a7ccbb28520c · Rick Smetsers / z3gi

22 Jun, 2017 12 commits
- Fixed scrap6. Now it should work. · 7a3b51c9
  Paul Fiterau Brostean authored Jun 22, 2017
  
  7a3b51c9
- Fixed scrap6. Now it should work. · 39708ab6
  Paul Fiterau Brostean authored Jun 22, 2017
  
  39708ab6
- Fixed scrap6. Now it should work. · a33f25f2
  Paul Fiterau Brostean authored Jun 22, 2017
  
  a33f25f2
- Added register automaton class · ca6ba449
  Rick Smetsers authored Jun 22, 2017
  
  ca6ba449
- Setup directory structure for project, and added interfaces · f624c031
  Rick Smetsers authored Jun 22, 2017
  
  f624c031
- Added used function to scrap7l · 144fdabf
  Rick Smetsers authored Jun 22, 2017
  
  144fdabf
- Added some more tests for model 3 · 72b7f525
  Rick Smetsers authored Jun 22, 2017
  
  72b7f525
- Merge branch 'develop' of https://gitlab.science.ru.nl/rick/z3gi into develop · 53172c42
  Paul Fiterau Brostean authored Jun 22, 2017
  
  53172c42
- Fixed scrap6. Now it should work. · beba3d5e
  Paul Fiterau Brostean authored Jun 22, 2017
  
  beba3d5e
- Added some more tests for some models · 41e07939
  Rick Smetsers authored Jun 22, 2017
  
  41e07939
- Merge remote-tracking branch 'origin/develop' into develop · 59e7cffd
  Rick Smetsers authored Jun 22, 2017
  
  59e7cffd
- Added labels to simpler encoding · 231fa9a5
  Rick Smetsers authored Jun 22, 2017
  
  231fa9a5
21 Jun, 2017 4 commits
- Merge remote-tracking branch 'origin/develop' into develop · 70c6ddb1
  Paul Fiterau Brostean authored Jun 21, 2017
  
  70c6ddb1
- Fixed scrap6. Now it should work. · 6dbb090b
  Paul Fiterau Brostean authored Jun 21, 2017
  
  6dbb090b
- Added labels · ec6353a1
  Rick Smetsers authored Jun 21, 2017
  
  ec6353a1
- Fixed axiom. Now no longer sure the UV constraint holds. · 850cb475
  Paul Fiterau Brostean authored Jun 21, 2017
  
  850cb475
20 Jun, 2017 6 commits
- Fixed axiom. Now no longer sure the UV constraint holds. · 519c1818
  Paul Fiterau Brostean authored Jun 20, 2017
  
  519c1818
- More updates · bdc6d709
  Paul Fiterau Brostean authored Jun 20, 2017
  
  bdc6d709
- More updates · 38c043e5
  Paul Fiterau Brostean authored Jun 20, 2017
  
  38c043e5
- Some more utility classes · 908e175f
  Paul Fiterau Brostean authored Jun 20, 2017
  
  908e175f
- Some more utility classes · 32b5117b
  Paul Fiterau Brostean authored Jun 20, 2017
  
  32b5117b
- Added new scrap · c258bc27
  Paul Fiterau Brostean authored Jun 20, 2017
  
  c258bc27
16 Jun, 2017 3 commits
- Working encoding in scrap4 with multiple registers! · dddf93de
  Rick Smetsers authored Jun 16, 2017
```
Seems to be a proper unique-valued right-invariant RA.
```
  dddf93de
- Working encoding in scrap4 (really!) · 36d3e5a6
  Rick Smetsers authored Jun 16, 2017
  
  36d3e5a6
- Working encoding in scrap4! · 04399c1e
  Rick Smetsers authored Jun 16, 2017
  
  04399c1e
15 Jun, 2017 3 commits
- Something that does something · 18d45cc4
  Rick Smetsers authored Jun 15, 2017
  
  18d45cc4
- Something that does something · 983b7f77
  Rick Smetsers authored Jun 15, 2017
  
  983b7f77
- Axioms for improved encoding. · b6fb9b64
  Rick Smetsers authored Jun 15, 2017
  
  b6fb9b64
14 Jun, 2017 3 commits
- Added constraint for explicitly checking that we do not update a register twice. · b51315bb
  Rick Smetsers authored Jun 14, 2017
  
  b51315bb
- Working example for left invariant, unique valued register automata that do... · 4b2166e1
  Rick Smetsers authored Jun 14, 2017
```
Working example for left invariant, unique valued register automata that do not visit the same guard twice.
```
  4b2166e1
- MWE for register automata. · b5dd6db9
  Rick Smetsers authored Jun 14, 2017
  
  b5dd6db9
13 Jun, 2017 2 commits
- Renamed definitions to be more consistent. · a2585ece
  Rick Smetsers authored Jun 13, 2017
  
  a2585ece
- Renamed encoders to be more consistent with their functionality. · 9e664b71
  Rick Smetsers authored Jun 13, 2017
  
  9e664b71
12 Jun, 2017 3 commits
- Added (restricted) register automaton definition. · 0b60bb22
  Rick Smetsers authored Jun 12, 2017
  
  0b60bb22
- Renamed types to be in accordance with PEP8 · 86146546
  Rick Smetsers authored Jun 12, 2017
  
  86146546
- Initial commit for new architecture. · c4ec7cf7
  Rick Smetsers authored Jun 12, 2017
  
  c4ec7cf7
06 Jun, 2017 2 commits
- Update README.md · 7d6a3f10
  Rick Smetsers authored Jun 06, 2017
  
  7d6a3f10
- Delete LICENCE · 7b1c5b2d
  Rick Smetsers authored Jun 06, 2017
  
  7b1c5b2d
03 Jun, 2017 1 commit
- More progress on interpretable models · c3bc8e1d
  Rick Smetsers authored Jun 03, 2017
  
  c3bc8e1d
01 Jun, 2017 1 commit
- Merge branch 'master' of gitlab.science.ru.nl:rick/z3gi · 88b50abc
  Rick Smetsers authored Jun 01, 2017
  
  88b50abc