Commit History

Author SHA1 Message Date
  Taddeus Kroes 3f2326d181 Removed some finished items from TODO list. 14 years ago
  Taddeus Kroes 8d921d80a8 Added a validation test. 14 years ago
  Taddeus Kroes 5211c1769d Changed rule message. 14 years ago
  Taddeus Kroes 07603753b1 Upgraded graph_drawing to latest version. 14 years ago
  Taddeus Kroes d0da0b903a Added fraction division rules. 14 years ago
  Taddeus Kroes cf27b2634e Fixed Leiden v12 tests using the new fraction rewrite rules. 14 years ago
  Taddeus Kroes 1659cc67c5 Added some more fraction rewrite rules. 14 years ago
  Taddeus Kroes f46cf729a0 Fixed negation in rule message. 14 years ago
  Taddeus Kroes 57dba53ee4 Applied negation checks to some fraction rules. 14 years ago
  Taddeus Kroes 4f0defbd87 Changed rule message. 14 years ago
  Taddeus Kroes a15f233f62 Moved division negation is now supported by fraction negation rules. 14 years ago
  Taddeus Kroes 60155fdc94 Moved division negation to nominator. 14 years ago
  Taddeus Kroes dd3690306f Merge branch 'master' of kompiler.org:trs 14 years ago
  Taddeus Kroes b6bd65dbcb Added some new rules for fractions. 14 years ago
  Sander Mathijs van Veen dd5f8afcd9 Fixed merge conflict in TODO list. 14 years ago
  Sander Mathijs van Veen 5acc67df21 Fixed leiden oefenopgaves test cases 4.3 and 4.5. 14 years ago
  Taddeus Kroes 7c142aff38 Updated TODO list. 14 years ago
  Taddeus Kroes 1813271cb0 Updated TODO list. 14 years ago
  Taddeus Kroes 7fd09bc292 Updated TODO list. 14 years ago
  Taddeus Kroes 41f9f744d0 Added some TODO's to numeric rules. 14 years ago
  Taddeus Kroes 4378743ced Resolved merge conflict. 14 years ago
  Taddeus Kroes bf1bfdad49 Added tests for recently added numeric division rules. 14 years ago
  Taddeus Kroes f39fc1f55a Added tests for recently added numeric division rules. 14 years ago
  Taddeus Kroes e20e19366d Added some numeric division rules. 14 years ago
  Taddeus Kroes 1a15deb503 Clarified function name. 14 years ago
  Taddeus Kroes b2981eeb84 Updated TODO list. 14 years ago
  Sander Mathijs van Veen 7175d98667 Added test cases for raise_numerics. 14 years ago
  Taddeus Kroes c03390ba48 Implemented and tested some new rules for fractions. 14 years ago
  Taddeus Kroes 3a090e5f77 Updated TODO list. 14 years ago
  Taddeus Kroes eb087f2eb3 Added rule to multiply fractions. 14 years ago