100%
WDescription%
Build stability: No recent builds failed.100
Build History
x
 
 
 
 
 
 
 

Changes

#218 (Nov 27, 2020, 1:44:31 PM)

  1. Make sed new line insertion more portable (commit: 2dc9a73) — mmcgrane / githubweb
  2. Add another sed new line usage fix (commit: 571197d) — mmcgrane / githubweb

#217 (Nov 27, 2020, 12:30:38 AM)

  1. Add check on lower&upper (commit: 1dff41b) — 573119056 / githubweb
  2. use <= instead of < (commit: aa15f4f) — 573119056 / githubweb

#216 (Nov 25, 2020, 11:15:39 PM)

  1. Started making parts of the translator clearer. (commit: b3186c9) — azre6702 / githubweb
  2. Changed translateRelation to getConcreteRelationName. (commit: c333612) — azre6702 / githubweb
  3. translate[] -> get[] renamed where appr. in ast2ram. (commit: e54d3d6) — azre6702 / githubweb
  4. Removed unnecessary header in ast2ram. (commit: 0d617a0) — azre6702 / githubweb
  5. Misc. small cleanups of ast2ram while going through it. (commit: 360bd5f) — azre6702 / githubweb
  6. Pushed out ValueTranslator into its own class. (commit: bd8f021) — azre6702 / githubweb
  7. Added ValueTranslator cpp file, starting to move things over there. (commit: 34d3d11) — azre6702 / githubweb
  8. Moved over ValueTranslator functionality to cpp. (commit: 16ea32d) — azre6702 / githubweb
  9. Moved value translator instantation into itself. (commit: 48ccaca) — azre6702 / githubweb
  10. Removed some unnecessary includes from ast2ram.cpp. (commit: 1461ab6) — azre6702 / githubweb
  11. Moved out ConstraintTranslator into its own file. (commit: 73ab0e6) — azre6702 / githubweb
  12. Moved over constraint-translator functionality into cpp file. (commit: 5b401e1) — azre6702 / githubweb
  13. Removed unnecessary includes from constr-tr header. (commit: 2a5642e) — azre6702 / githubweb
  14. Added interface for constraint translation that should be used. (commit: 9d70b53) — azre6702 / githubweb
  15. Removed unnecessary include from ast2ram header. (commit: 05c2b32) — azre6702 / githubweb
  16. Removed lingering unneeded include. (commit: 668568c) — azre6702 / githubweb
  17. Removed polyanalysis from subtranslators. (commit: f858421) — azre6702 / githubweb
  18. Removed some srclocation redundancy from main translator. (commit: 38c4b48) — azre6702 / githubweb
  19. Moved inconsistent analysis out of method signatures. (commit: 69547dc) — azre6702 / githubweb
  20. Cleaned up ast2ram transf header slightly. (commit: 97d3b00) — azre6702 / githubweb
  21. Changed methods that should be static to be static. (commit: 6f94ff5) — azre6702 / githubweb
  22. Moved out SCC translation into its own method. (commit: 2c15748) — azre6702 / githubweb
  23. Moved out subsection of program translator to new method. (commit: ea1f6dd) — azre6702 / githubweb
  24. Modularised literal translation slightly. (commit: 0060fdb) — azre6702 / githubweb
  25. Moved out provenance clause subroutine adder into own method. (commit: 7a0b5b6) — azre6702 / githubweb
  26. Improved clarity of translator. (commit: 09d1c72) — azre6702 / githubweb
  27. Moved some logic around to make provenance subclass easier to add. (commit: 0c6f5e3) — azre6702 / githubweb
  28. Moved over bulk of provenance code to provenance translator. (commit: e87cd96) — azre6702 / githubweb
  29. Cleaned up include headers in translator. (commit: d98251c) — azre6702 / githubweb
  30. Moved all provenance stuff to the provenance translator!! (commit: 4c61b86) — azre6702 / githubweb
  31. Moved relation-name-construction to new utils file. (commit: d225693) — azre6702 / githubweb
  32. Minor cleanup to scc translator. (commit: 3a56357) — azre6702 / githubweb
  33. Gave clearer names to some ast2ram constructs. (commit: b582c1f) — azre6702 / githubweb
  34. Removed lingering functionality from translator header. (commit: 0005fc1) — azre6702 / githubweb
  35. Cleaned up program translator. (commit: ebbeab5) — azre6702 / githubweb
  36. Made program translator more consistent with rest of translation. (commit: d085d04) — azre6702 / githubweb
  37. Made ramSubroutine creation more standardised. (commit: 3a14794) — azre6702 / githubweb
  38. Removed annoying + useless typenames in value index. (commit: ff6fa9b) — azre6702 / githubweb
  39. Cleaned up some more valueindex. (commit: 07e6960) — azre6702 / githubweb
  40. Removed accidental line from valueindex. (commit: 9ab1c29) — azre6702 / githubweb
  41. Moved ram-relation adding into a method. (commit: fa331b8) — azre6702 / githubweb
  42. Moved ram tuple element creation into a utility function. (commit: 2ac190c) — azre6702 / githubweb
  43. Moved ram clear into a util function. (commit: 0652e75) — azre6702 / githubweb
  44. Made value translator take in const translator. (commit: d054337) — azre6702 / githubweb
  45. Moved symbol table into variable. (commit: 19471bc) — azre6702 / githubweb
  46. Moved out appendStmt into a utils construct. (commit: 8259a59) — azre6702 / githubweb
  47. Added missing declaration of directive-getter in utils. (commit: ed86b2f) — azre6702 / githubweb
  48. Cleaned up directive-getting in translator. (commit: fe65dd1) — azre6702 / githubweb
  49. Moved unnamed-variable-namer to ast2ram utils. (commit: b11f8d3) — azre6702 / githubweb
  50. Cleaned up relation-expiry usage. (commit: d81e5df) — azre6702 / githubweb
  51. Cleaned up header files. (commit: d8f9ce8) — azre6702 / githubweb
  52. Minor cleanup of clause reordering. (commit: f357390) — azre6702 / githubweb
  53. Clearer names for scc-related vars. (commit: ca760d7) — azre6702 / githubweb
  54. Cleaned up genmerge. (commit: 3cd44f9) — azre6702 / githubweb
  55. Removed minor typo. (commit: 3e180f3) — azre6702 / githubweb
  56. First stage of modularising recursive-relation translation. (commit: 26bfdd9) — azre6702 / githubweb
  57. Split up section construction to separate methods for rec. rel. (commit: 85a662a) — azre6702 / githubweb
  58. Modularised exit condition generation. (commit: bf81dd7) — azre6702 / githubweb
  59. Finished up main part of recursive relation translation clean-up. (commit: f92abac) — azre6702 / githubweb
  60. Minor cleanups for consistency. (commit: 264f69c) — azre6702 / githubweb
  61. Improved constness. (commit: b9e4420) — azre6702 / githubweb
  62. Moved out delta-clause creation into a method. (commit: 45e5b25) — azre6702 / githubweb
  63. Spread out constness across all const-able transf. methods. (commit: 791d3c2) — azre6702 / githubweb
  64. Cleaned up translation unit setup. (commit: 16147de) — azre6702 / githubweb
  65. Made relation-load + store more consistent. (commit: 2cec9d5) — azre6702 / githubweb
  66. Removed unnecessary methods. (commit: 34702d7) — azre6702 / githubweb
  67. Changed interface for relation-namers. (commit: cdd1d7c) — azre6702 / githubweb
  68. Moved code-generation elements back into main translator. (commit: a6d501e) — azre6702 / githubweb
  69. Made things even more consistent. (commit: f21fa4e) — azre6702 / githubweb
  70. Normalised stratum translation. (commit: 712a8fb) — azre6702 / githubweb
  71. Cleaned up ast2ram header. (commit: 7b597c3) — azre6702 / githubweb
  72. Standardised scc code-gen. (commit: 12ef158) — azre6702 / githubweb
  73. Minor quality changes. (commit: 72a12bf) — azre6702 / githubweb
  74. Removed needless comment. (commit: 9ec29e0) — azre6702 / githubweb
  75. Fixed up delta adding. (commit: 229353d) — azre6702 / githubweb
  76. Small clarity fix. (commit: f5cf40b) — azre6702 / githubweb
  77. Split up large method in translator. (commit: 1f6eecf) — azre6702 / githubweb
  78. Minor comment changes. (commit: a2c99cc) — azre6702 / githubweb
  79. Cleaned up some parts in ast2ram header. (commit: 2cb20b4) — azre6702 / githubweb

#215 (Nov 25, 2020, 4:25:39 PM)

  1. Made provenance tests actually fully deterministic. (commit: e23bc17) — azre6702 / githubweb
  2. Added a note explaining provenance test changes. (commit: d7478d8) — azre6702 / githubweb

#214 (Nov 25, 2020, 1:55:21 AM)

  1. Made provenance tests deterministic. (commit: 9d92862) — azre6702 / githubweb

#213 (Nov 24, 2020, 8:38:39 PM)

  1. Made match2 deterministic, and pushed invalid regex to match4. (commit: e6854fd) — azre6702 / githubweb
  2. Actually added match4 test. (commit: 993c5cf) — azre6702 / githubweb

#212 (Nov 24, 2020, 3:26:18 PM)

  1. Fixed crash on removal of equivalent clauses. (commit: 9674a93) — azre6702 / githubweb
  2. Added evaluation/empty_relations2 test. (commit: f58be49) — azre6702 / githubweb
  3. Fixed test item names. (commit: 564c642) — azre6702 / githubweb
  4. Added unit test for equivalent clause removal. (commit: 4c565f9) — azre6702 / githubweb
  5. Fixed typo in empty_relations2 error file. (commit: cf2a9b1) — noreply / githubweb