xr0-org/xr0

Issues

• replace props logic with range logic for evaluation of decide-ability

  #66 opened 24 days ago by claude-betz
  0

• initializers

  #41 opened 24 days ago by claude-betz
  1

• buffer overflows: local-constant size and index

  #57 opened 24 days ago by akiarie
  0

• implement multi-dimensional arrays

  #61 opened 24 days ago by claude-betz
  0

• converge concept of decl and stmt

  #63 opened 24 days ago by claude-betz
  0

• Add test coverage for assigning the outcomes of conditions

  #68 opened a month ago by claude-betz
  0

• void expression statements are not evaluated appropriately

  #67 opened 2 months ago by claude-betz
  0

• detect undefined behavior in callers for functions with non void return type

  #65 opened 2 months ago by claude-betz
  0

• detect side effects before setups

  #64 opened 2 months ago by akiarie
  0

• Detect reliance on unspecified order of subexpression side effects

  #54 opened 4 months ago by jorendorff
  17

• setup ctags

  #62 opened 3 months ago by claude-betz
  0

• buffer overflows planning

  #55 opened 3 months ago by claude-betz
  0

• buffer overflows: general case

  #60 opened 4 months ago by akiarie
  0

• buffer overflows: local-constant index

  #59 opened 4 months ago by akiarie
  0

• buffer overflows: local-constant size

  #58 opened 4 months ago by akiarie
  0

• build static debugger

  #45 opened 4 months ago by akiarie
  1

• Annotated asserts for commented out parser productions

  #56 opened 4 months ago by claude-betz
  0

• leaks not caught where there is a parameter reference

  #48 opened 4 months ago by akiarie
  4

• overspecificity in state view giving false negatives

  #53 opened 4 months ago by akiarie
  2

• tests/1-branches/tests/0301-conditional-allocation-two.x should fail

  #50 opened 4 months ago by jorendorff
  2

• Fix test runner

  #40 opened 5 months ago by claude-betz
  0

• else

  #38 opened 5 months ago by claude-betz
  2

• user-error asserts especially for parser omissions

  #51 opened 5 months ago by akiarie
  0

• Add bug reporting mechanism

  #27 opened 5 months ago by claude-betz
  1

• implement logic for advanced branching

  #49 opened 5 months ago by claude-betz
  0

• better recursive printing of blocks

  #47 opened 5 months ago by akiarie
  0

• Runaway recursion with pointer cycle

  #46 opened 5 months ago by jorendorff
  2

• undefined behaviour in `error_printf`

  #44 opened 6 months ago by akiarie
  0

• logical bang not working

  #43 opened 6 months ago by akiarie
  0

• Track progress through programs in stack rather than at a statement-by-statement level

  #42 opened 6 months ago by akiarie
  0

• Make lex parse.x work against latest changes

  #37 opened 6 months ago by claude-betz
  0

• Extend Xr0 to reject uninitialised memory and use-after-free bugs.

  #32 opened 6 months ago by claude-betz
  0

• refine error messages and convert "pre" into "setup"

  #35 opened 6 months ago by claude-betz
  0

• Setup tester to run against multiple machines and C compilers

  #39 opened 6 months ago by claude-betz
  0

• add flag to allow verification of files in topological order

  #36 opened 6 months ago by claude-betz
  0

• Converge 0v and 0c

  #26 opened 6 months ago by claude-betz
  0

• Add verbose printing

  #34 opened 6 months ago by claude-betz
  0

• Converge abstract and body syntax

  #33 opened 6 months ago by claude-betz
  0

• Surface invalid pointer dereferencing as user error

  #31 opened 6 months ago by claude-betz
  1

• Enforce pre-declaration

  #30 opened 6 months ago by claude-betz
  1

• Verify preconditions when calling functions

  #29 opened 6 months ago by claude-betz
  1

• Simplify map and array data structures

  #23 opened 8 months ago by claude-betz
  0

• Verify parse.x while it is working end-to-end

  #21 opened 7 months ago by akiarie
  0

• Implement new "in-place" splitting procedure

  #25 opened 7 months ago by akiarie
  0

• Implement pass by pointer

  #28 opened 7 months ago by claude-betz
  0

• Implement topological sort

  #22 opened 7 months ago by claude-betz
  0

• Compile parse.x with zero-order invokers of allocs and deallocs still verified

  #20 opened 7 months ago by claude-betz
  0

• Write internal linkage tests for functions

  #19 opened 7 months ago by claude-betz
  0

• Implement C code generation

  #18 opened 7 months ago by claude-betz
  0

• Verify new conditional allocation test

  #24 opened 8 months ago by akiarie
  0