Activity for HLM Proof Assistant

  • Sebastian Reichelt committed [fbf9da]

    fixed indentation

  • Sebastian Reichelt committed [3134d1]

    Minor cleanup

  • Sebastian Reichelt committed [1ce5b5]

    Improved handling of local keys

  • Sebastian Reichelt committed [b06d00]

    second step of reducing dependencies on names

  • Sebastian Reichelt committed [e7978f]

    Added support for local keys (needed for templa...

  • Sebastian Reichelt committed [d51f58]

    first step towards reducing dependencies on names

  • Sebastian Reichelt committed [91e565]

    Improved global key lookup

  • Sebastian Reichelt committed [292f23]

    Initial unfinished work on templates

  • Sebastian Reichelt committed [12bc0e]

    Bootstrap code generated automatically again

  • Sebastian Reichelt committed [3b3545]

    Temporary manual fix for bootstrap code

  • Sebastian Reichelt committed [95fc81]

    added parent references

  • Sebastian Reichelt committed [7bdba6]

    Fixed parent access

  • Sebastian Reichelt committed [fd3d3f]

    Minor cleanup

  • Sebastian Reichelt committed [6d361b]

    turned fixed instances into singletons

  • Sebastian Reichelt committed [448d7f]

    minor bugfix

  • Sebastian Reichelt committed [d97815]

    Added code generation for bootstrap code

  • Sebastian Reichelt committed [929745]

    Moved structure code generator to own subpackage

  • Sebastian Reichelt committed [398da0]

    Minor cleanup

  • Sebastian Reichelt committed [2c87f0]

    Added global key access to plain implementation

  • Sebastian Reichelt committed [d371a8]

    Introduced methods for global key access at roo...

  • Sebastian Reichelt committed [8dc041]

    More cleanup

  • Sebastian Reichelt committed [8b6e51]

    Fixed warnings about unused fields

  • Sebastian Reichelt committed [64a739]

    Added reference handling to make code generatio...

  • Sebastian Reichelt committed [1fa7d8]

    First draft of structure-based generator

  • Sebastian Reichelt committed [23150c]

    Added access to superclass

  • Sebastian Reichelt committed [d8eb44]

    Implemented inline child lists

  • Sebastian Reichelt committed [9ca63b]

    Added automatic XML validation

1