1. 12 Sep, 2020 7 commits
    • Raphaël Dias--Monteiro's avatar
      8263bf08
    • Raphaël Dias--Monteiro's avatar
      tc-{7,x,y}: code to write: uniformize with others code to write sections · 847bfb83
      Raphaël Dias--Monteiro authored
      * source/compiler_stages/tc_7/code_to_write.rst,
      * source/compiler_stages/tc_x/code_to_write.rst,
      * source/compiler_stages/tc_y/code_to_write.rst: Here.
      847bfb83
    • Raphaël Dias--Monteiro's avatar
      tc-{7,x,y}: samples: add many args and args on stack example · d1907c9c
      Raphaël Dias--Monteiro authored
      * source/compiler_stages/tc_7/many-args.tig,
      * source/compiler_stages/tc_7/samples.rst,
      * source/compiler_stages/tc_x/faq.rst,
      * source/compiler_stages/tc_x/many-args-ia32.tig,
      * source/compiler_stages/tc_x/samples.rst,
      * source/compiler_stages/tc_y/faq.rst,
      * source/compiler_stages/tc_y/many-args-arm.tig,
      * source/compiler_stages/tc_y/print-int-arm.tig,
      * source/compiler_stages/tc_y/samples.rst: Here.
      d1907c9c
    • Raphaël Dias--Monteiro's avatar
      gitignore: ignore generated files · 2e54f9e6
      Raphaël Dias--Monteiro authored
      * source/compiler_stages/tc_4/.gitignore,
      * source/compiler_stages/tc_5/.gitignore,
      * source/compiler_stages/tc_6/.gitignore,
      * source/compiler_stages/tc_7/.gitignore,
      * source/compiler_stages/tc_9/.gitignore,
      * source/compiler_stages/tc_b/.gitignore,
      * source/compiler_stages/tc_l/.gitignore,
      * source/compiler_stages/tc_o/.gitignore,
      * source/compiler_stages/tc_x/.gitignore,
      * source/compiler_stages/tc_y/.gitignore: Here.
      2e54f9e6
    • Raphaël Dias--Monteiro's avatar
      links: fix broken links and use Sphinx shortcuts · 6dd8e5a4
      Raphaël Dias--Monteiro authored
      * source/conf.py,
      * source/tools/flex.rst,
      * source/tools/havm.rst,
      * source/tools/modern_compiler_implementation/first_editions.rst,
      * source/tools/monoburg.rst,
      * source/tools/nolimips.rst: Here.
      6dd8e5a4
    • Raphaël Dias--Monteiro's avatar
      tc-3: self: add example and short paragraph on the binding of self · 85d5205a
      Raphaël Dias--Monteiro authored
      * source/compiler_stages/tc_3/samples.rst,
      * source/compiler_stages/tc_3/self.tig: Here.
      85d5205a
    • Raphaël Dias--Monteiro's avatar
      requirements: bump programoutput needed version · 88ccaf65
      Raphaël Dias--Monteiro authored
      * requirements.txt: Here.
      
      examples: caption PTHL samples
      
      * source/compiler_stages/pthl/samples.rst: Here.
      
      examples: caption TC-1 samples
      
      * source/compiler_stages/tc_1/samples.rst: Here.
      
      examples: caption TC-2 samples
      
      * source/compiler_stages/tc_2/chunks.rst,
      * source/compiler_stages/tc_2/error_recovery.rst,
      * source/compiler_stages/tc_2/fbfsb-desugared.tig,
      * source/compiler_stages/tc_2/fbfsb.tig,
      * source/compiler_stages/tc_2/foo-bar.tig,
      * source/compiler_stages/tc_2/pretty_printing_samples.rst: Here.
      
      examples: caption TC-3 samples
      
      * source/compiler_stages/tc_3/bad-member-bindings.tig,
      * source/compiler_stages/tc_3/meme.tig,
      * source/compiler_stages/tc_3/samples.rst: Here.
      
      examples: caption T-R samples
      
      * source/compiler_stages/tc_r/samples.rst: Here.
      
      examples: caption TC-E samples
      
      * source/compiler_stages/tc_e/samples.rst: Here.
      
      examples: caption TC-4 samples
      
      * source/compiler_stages/tc_4/options.rst,
      * source/compiler_stages/tc_4/samples.rst: Here.
      
      examples: caption TC-D samples
      
      * source/compiler_stages/tc_d/samples.rst: Here.
      
      examples: caption TC-I samples
      
      * source/compiler_stages/tc_i/samples.rst: Here.
      
      examples: caption TC-B samples
      
      * source/compiler_stages/tc_b/samples.rst: Here.
      
      examples: caption TC-A samples
      
      * source/compiler_stages/tc_a/samples.rst: Here.
      
      examples: caption TC-O samples
      
      * source/compiler_stages/tc_o/samples.rst: Here.
      
      examples: caption TC-5 samples
      
      * source/compiler_stages/tc_5/bounds_checking.rst,
      * source/compiler_stages/tc_5/builtin_calls_samples.rst,
      * source/compiler_stages/tc_5/optimizing_cascading_if.rst,
      * source/compiler_stages/tc_5/optimizing_static_links.rst,
      * source/compiler_stages/tc_5/primitive_samples.rst,
      * source/compiler_stages/tc_5/samples.rst,
      * source/compiler_stages/tc_5/samples_with_variables.rst: Here.
      
      examples: caption TC-6 samples
      
      * source/compiler_stages/tc_6/samples/canonicalization_samples.rst,
      * source/compiler_stages/tc_6/samples/preincr-1.tig,
      * source/compiler_stages/tc_6/samples/preincr-2.tig,
      * source/compiler_stages/tc_6/samples/scheduling_samples.rst: Here.
      
      examples: caption TC-7 samples
      
      * source/compiler_stages/tc_7/add.tig,
      * source/compiler_stages/tc_7/samples.rst: Here.
      
      examples: caption TC-8 samples
      
      * source/compiler_stages/tc_8/faq.rst,
      * source/compiler_stages/tc_8/samples.rst: Here.
      
      examples: caption TC-9 samples
      
      * source/compiler_stages/tc_9/samples.rst: Here.
      
      examples: caption TC-X samples
      
      * source/compiler_stages/tc_x/add-ia32.tig,
      * source/compiler_stages/tc_x/samples.rst,
      * source/compiler_stages/tc_x/the-answer-ia32.tig: Here.
      
      examples: caption TC-Y samples
      
      * source/compiler_stages/tc_y/add-arm.tig,
      * source/compiler_stages/tc_y/faq.rst,
      * source/compiler_stages/tc_y/samples.rst,
      * source/compiler_stages/tc_y/the-answer-arm.tig: Here.
      
      examples: caption TC-L samples
      
      * source/compiler_stages/tc_l/add-llvm.tig,
      * source/compiler_stages/tc_l/clang-example.c,
      * source/compiler_stages/tc_l/faq.rst,
      * source/compiler_stages/tc_l/given_code.rst,
      * source/compiler_stages/tc_l/samples.rst,
      * source/compiler_stages/tc_l/the-answer-llvm.tig: Here.
      
      examples: caption Tools samples
      
      * source/tools/havm.rst,
      * source/tools/ineffective-break.tig,
      * source/tools/ineffective-if.tig,
      * source/tools/valgrind.rst: Here.
      88ccaf65
  2. 12 Jun, 2020 1 commit
  3. 16 Apr, 2020 1 commit
    • Raphaël Dias--Monteiro's avatar
      backend: update stage dates · e48a1568
      Raphaël Dias--Monteiro authored
      * source/compiler_stages/tc_5/tc_5.rst,
      * source/compiler_stages/tc_6/tc_6.rst,
      * source/compiler_stages/tc_7/tc_7.rst,
      * source/compiler_stages/tc_8/tc_8.rst,
      * source/intro/history/tiger_2022.rst: Here.
      e48a1568
  4. 14 Apr, 2020 2 commits
    • Raphaël Dias--Monteiro's avatar
      tiger language manual: misc: wrapping, styling · 12bf4bf6
      Raphaël Dias--Monteiro authored
      * source/reference_manual/tiger_language_reference_manual/lexical_specifications/lexical_specifications.rst,
      * source/reference_manual/tiger_language_reference_manual/semantics/declarations/declarations.rst,
      * source/reference_manual/tiger_language_reference_manual/semantics/declarations/declarations/import,
      * source/reference_manual/tiger_language_reference_manual/semantics/declarations/function_declarations/function_declarations.rst,
      * source/reference_manual/tiger_language_reference_manual/semantics/declarations/method_declarations/method_declarations.rst,
      * source/reference_manual/tiger_language_reference_manual/semantics/declarations/type_declarations/classes3,
      * source/reference_manual/tiger_language_reference_manual/semantics/declarations/type_declarations/type_declarations.rst,
      * source/reference_manual/tiger_language_reference_manual/semantics/declarations/variable_declarations/variable_declarations.rst,
      * source/reference_manual/tiger_language_reference_manual/semantics/expressions/expressions.rst: Here.
      12bf4bf6
    • Raphaël Dias--Monteiro's avatar
      reference manual: misc: language extensions and predefined entities · 0a2fc082
      Raphaël Dias--Monteiro authored
      * source/reference_manual/language_extensions/additional_lexical_specifications/additional_lexical_specifications.rst,
      * source/reference_manual/language_extensions/additional_lexical_specifications/additional_lexical_rules -> source/reference_manual/language_extensions/additional_lexical_specifications/reserved_id_rule,
      * source/reference_manual/language_extensions/additional_semantics/additional_semantics.rst,
      * source/reference_manual/language_extensions/additional_semantics/additionals -> source/reference_manual/language_extensions/additional_semantics/casts_examples,
      * source/reference_manual/language_extensions/additional_syntactic_specifications/additional_syntactic_specifications.rst,
      * source/reference_manual/language_extensions/additional_syntactic_specifications/additionals -> source/reference_manual/language_extensions/additional_syntactic_specifications/grammar_extensions,
      * source/reference_manual/language_extensions/language_extensions.rst,
      * source/reference_manual/predefined_entities/predefined_entities.rst,
      * source/reference_manual/predefined_entities/predefined_functions/predefined_functions.rst,
      * source/reference_manual/predefined_entities/predefined_types/predefined_types.rst: Here.
      0a2fc082
  5. 13 Apr, 2020 1 commit
    • Raphaël Dias--Monteiro's avatar
      reference manual: wrapping, fix missing options, rework · b24f99b1
      Raphaël Dias--Monteiro authored
      * source/reference_manual/implementation/errors/errors.rst,
      * source/reference_manual/implementation/invoking_tc/invoking_tc.rst,
      * source/reference_manual/reference_implementation/options,
      * source/reference_manual/reference_implementation/reference_implementation.rst: Here.
      b24f99b1
  6. 10 Apr, 2020 1 commit
  7. 06 Apr, 2020 2 commits
  8. 05 Apr, 2020 1 commit
    • Raphaël Dias--Monteiro's avatar
      objects: add examples for TC-2 and TC-3 · 87cb8cd2
      Raphaël Dias--Monteiro authored
      * source/compiler_stages/tc_2/pretty_printing_samples.rst,
      * source/compiler_stages/tc_2/simple-class.tig,
      * source/compiler_stages/tc_3/samples.rst,
      * source/compiler_stages/tc_3/simple-class.tig: Here.
      87cb8cd2
  9. 25 Mar, 2020 1 commit
    • Raphaël Dias--Monteiro's avatar
      dashes: deactivate smartquotes dashes escaping · 388334c3
      Raphaël Dias--Monteiro authored
      Formerly em dashes and en dashes were escaped by smartquotes (i.e. ---
      and -- were interpreted in their corresponding dash).
      
      This is interesting for em dashes as assignments makes good use of them.
      
      However double dashes can be incorrectly escaped as en dashes. Indeed most
      command line option with leading double dash, i.e. long options, are
      wrongfully displayed.
      
      Another important piece of info is that smartquotes does not permit to
      have only em dash escaped.
      
      So, one solution could have been to escape double dashes with
      backslashes like what was first done for my lastname in
      source/intro/history/tiger_2022.rst with \\-\\-.
      This would have led to many escapes, that could potentially create
      other conflicts after.
      
      Another solution, the one taken here, is not to escape dashes and to
      replace triple dashes --- directly by the em dash —.
      Similarly, if we were to want to use en dash.
      
      * source/conf.py,
      * source/instructions/coding_style/file_conventions.rst,
      * source/intro/history/tiger_2002.rst,
      * source/intro/history/tiger_2004.rst,
      * source/intro/history/tiger_2022.rst,
      * source/tools/bibliography.rst,
      * source/tools/monoburg.rst: Here.
      388334c3
  10. 23 Mar, 2020 2 commits
  11. 15 Mar, 2020 4 commits
    • Raphaël Dias--Monteiro's avatar
      tc-1: string state given code: add quotes around double quote · 23ab4a8b
      Raphaël Dias--Monteiro authored
      * source/compiler_stages/tc_1/code_to_write.rst: Here.
      23ab4a8b
    • Raphaël Dias--Monteiro's avatar
      compiler stages: fix or remove references · 162b0cff
      Raphaël Dias--Monteiro authored
      * source/compiler_stages/pthl/faq.rst,
      * source/compiler_stages/tc_3/goals.rst: Here.
      162b0cff
    • Raphaël Dias--Monteiro's avatar
      reference manual: uniformize titles and reference labels · 16020df5
      Raphaël Dias--Monteiro authored
      * source/reference_manual/implementation/errors/errors.rst,
      * source/reference_manual/implementation/extensions/extensions.rst,
      * source/reference_manual/implementation/implementation.rst,
      * source/reference_manual/implementation/invoking_tc/invoking_tc.rst,
      * source/reference_manual/language_extensions/additional_lexical_specifications/additional_lexical_rules,
      * source/reference_manual/language_extensions/additional_lexical_specifications/additional_lexical_specifications.rst,
      * source/reference_manual/language_extensions/additional_semantics/additional_semantics.rst,
      * source/reference_manual/language_extensions/additional_semantics/additionals,
      * source/reference_manual/language_extensions/additional_syntactic_specifications/additional_syntactic_specifications.rst,
      * source/reference_manual/language_extensions/additional_syntactic_specifications/additionals,
      * source/reference_manual/language_extensions/language_extensions.rst,
      * source/reference_manual/predefined_entities/predefined_entities.rst,
      * source/reference_manual/predefined_entities/predefined_functions/predefined_functions.rst,
      * source/reference_manual/predefined_entities/predefined_types/predefined_types.rst,
      * source/reference_manual/reference_manual.rst,
      * source/reference_manual/tiger_language_reference_manual/semantics/declarations/declarations.rst,
      * source/reference_manual/tiger_language_reference_manual/semantics/declarations/function_declarations/function_declarations.rst,
      * source/reference_manual/tiger_language_reference_manual/semantics/declarations/method_declarations/method_declarations.rst,
      * source/reference_manual/tiger_language_reference_manual/semantics/declarations/type_declarations/type_declarations.rst,
      * source/reference_manual/tiger_language_reference_manual/semantics/declarations/variable_declarations/variable_declarations.rst,
      * source/reference_manual/tiger_language_reference_manual/semantics/expressions/expressions.rst,
      * source/reference_manual/tiger_language_reference_manual/semantics/semantics.rst,
      * source/reference_manual/tiger_language_reference_manual/syntactic_specifications/syntactic_specifications.rst,
      * source/reference_manual/tiger_language_reference_manual/tiger_language_reference_manual.rst: Here.
      16020df5
    • Raphaël Dias--Monteiro's avatar
      submission: rework of the submission procedure · 894beff1
      Raphaël Dias--Monteiro authored
      * source/instructions/submission.rst: Here.
      894beff1
  12. 13 Mar, 2020 3 commits
  13. 12 Mar, 2020 1 commit
  14. 24 Feb, 2020 3 commits
  15. 18 Feb, 2020 1 commit
  16. 12 Feb, 2020 9 commits