Commits · master · dosek-verification / mockup-generator

May 12, 2017
- Introduce more strictness into json parsing · 0c7e615c
  Hans-Peter Deifel authored 8 years ago
  0c7e615c
Mar 22, 2017
- Make JSON graph parsing more generic · 24485bd4
  Hans-Peter Deifel authored 8 years ago
  24485bd4
Mar 20, 2017
- Implement toJSON instance for Graph · 99425b1c
  Hans-Peter Deifel authored 8 years ago
  99425b1c
- Move mkGraph to Compare.Types · ccc71155
  Hans-Peter Deifel authored 8 years ago
  
  ccc71155
Feb 15, 2017
- Strip arguments from edge labels in JSON input graph · 672dd894
  Hans-Peter Deifel authored 8 years ago
  672dd894
Feb 01, 2017
- compare: Add tests for json import · bdbe53d5
  Hans-Peter Deifel authored 8 years ago
  
  bdbe53d5
- Add Compare.JSON module · 3024e6fd
  Hans-Peter Deifel authored 8 years ago
  
  3024e6fd