https://github.com/nohernan/Marimba
Tip revision: d1a4c5e76d3acf72cfbd263e2d6fa6638e7d017e authored by Noe Hernandez on 11 September 2018, 19:28:32 UTC
Update README
Update README
Tip revision: d1a4c5e
| File | Mode | Size |
|---|---|---|
| examples | ||
| linearEqSolver | ||
| COPYING | -rw-r--r-- | 34.3 KB |
| Courcoubetis.hs | -rw-r--r-- | 32.9 KB |
| DirectApproach.hs | -rw-r--r-- | 12.3 KB |
| Installation.pdf | -rw-r--r-- | 179.8 KB |
| Lexer.hs | -rw-r--r-- | 10.7 KB |
| Main.hs | -rw-r--r-- | 2.6 KB |
| ModelChecker.hs | -rw-r--r-- | 18.1 KB |
| Parser.hs | -rw-r--r-- | 11.7 KB |
| README | -rw-r--r-- | 8.5 KB |
| User's manual.pdf | -rw-r--r-- | 236.1 KB |
