Merge branch 'amin/logrel-nat-to-int' into 'master'
logrel: Change nat to int See merge request iris/examples!64
No related branches found
No related tags found
Checking pipeline status
Showing
- theories/logrel/F_mu_ref_conc/binary/context_refinement.v 84 additions, 11 deletionstheories/logrel/F_mu_ref_conc/binary/context_refinement.v
- theories/logrel/F_mu_ref_conc/binary/examples/counter.v 15 additions, 15 deletionstheories/logrel/F_mu_ref_conc/binary/examples/counter.v
- theories/logrel/F_mu_ref_conc/binary/examples/fact.v 31 additions, 24 deletionstheories/logrel/F_mu_ref_conc/binary/examples/fact.v
- theories/logrel/F_mu_ref_conc/binary/fundamental.v 40 additions, 14 deletionstheories/logrel/F_mu_ref_conc/binary/fundamental.v
- theories/logrel/F_mu_ref_conc/binary/logrel.v 35 additions, 4 deletionstheories/logrel/F_mu_ref_conc/binary/logrel.v
- theories/logrel/F_mu_ref_conc/binary/rules.v 10 additions, 2 deletionstheories/logrel/F_mu_ref_conc/binary/rules.v
- theories/logrel/F_mu_ref_conc/lang.v 30 additions, 17 deletionstheories/logrel/F_mu_ref_conc/lang.v
- theories/logrel/F_mu_ref_conc/typing.v 18 additions, 8 deletionstheories/logrel/F_mu_ref_conc/typing.v
- theories/logrel/F_mu_ref_conc/unary/examples/symbol_nat.v 6 additions, 3 deletionstheories/logrel/F_mu_ref_conc/unary/examples/symbol_nat.v
- theories/logrel/F_mu_ref_conc/unary/fundamental.v 27 additions, 9 deletionstheories/logrel/F_mu_ref_conc/unary/fundamental.v
- theories/logrel/F_mu_ref_conc/unary/logrel.v 2 additions, 2 deletionstheories/logrel/F_mu_ref_conc/unary/logrel.v
- theories/logrel/F_mu_ref_conc/wp_rules.v 17 additions, 4 deletionstheories/logrel/F_mu_ref_conc/wp_rules.v
Loading
Please register or sign in to comment