Code

[CN-exec] Fulminate refactor#853

Code

Open

rbanerjee20 wants to merge 29 commits intorems-project:masterrems-project/cerberus:masterfrom rbanerjee20:fulminate-refactorrbanerjee20/cerberus:fulminate-refactorCopy head branch name to clipboard

+1,445-1,626

Commits

Commits on Feb 7, 2025

• Create Fulminate subdirectory and update testGen files

  rbanerjee20

  committed
  b33fd7f

  Copy full SHA for b33fd7f

• Remove commented-out code

  rbanerjee20

  committed
  8b7c602

  Copy full SHA for 8b7c602

• Remove some duplication in cn_to_ail_resource_internal

  rbanerjee20

  committed
  551b3a6

  Copy full SHA for 551b3a6

• Fix some error messages

  rbanerjee20

  committed
  16e0e8c

  Copy full SHA for 16e0e8c

• Remove unnecessary _internal instances

  rbanerjee20

  committed
  6a790c9

  Copy full SHA for 6a790c9

• Clean up cn_to_ail_base_type

  rbanerjee20

  committed
  bdeae9b

  Copy full SHA for bdeae9b

• Clean up some error messages

  rbanerjee20

  committed
  87c7ae1

  Copy full SHA for 87c7ae1

• More cleanup in cn_to_ail

  rbanerjee20

  committed
  ad03bad

  Copy full SHA for ad03bad

• Check get_equality_fn_call TODO and close issue rems-project#653

  rbanerjee20

  committed
  fec2ad8

  Copy full SHA for fec2ad8

• More clean up in Cn_to_ail

  rbanerjee20

  committed
  0e102c9

  Copy full SHA for 0e102c9

• Make executable_spec a global flag for Pp_ail

  rbanerjee20

  committed
  9db8d4c

  Copy full SHA for 9db8d4c

• Add mli file for Executable_spec_gen_injections

  rbanerjee20

  committed
  6c57e14

  Copy full SHA for 6c57e14

• Add mli file for Executable_spec_utils

  rbanerjee20

  committed
  50ace13

  Copy full SHA for 50ace13

• forgot to add other directories. oops

  rbanerjee20

  committed
  ddfa499

  Copy full SHA for ddfa499

• more cleanup in Executable_spec_gen_injections

  rbanerjee20

  committed
  ca01abe

  Copy full SHA for ca01abe

• Extract function defs and decls doc generation into a function

  rbanerjee20

  committed
  b0df4e3

  Copy full SHA for b0df4e3

• Delete a bunch of redundant code

  rbanerjee20

  committed
  03dc0e0

  Copy full SHA for 03dc0e0

• wib

  rbanerjee20

  committed
  573ca50

  Copy full SHA for 573ca50

• Clean up cn_to_ail_predicate

  rbanerjee20

  committed
  4e683ab

  Copy full SHA for 4e683ab

• More cleanup

  rbanerjee20

  committed
  f10981f

  Copy full SHA for f10981f

• Add some mli files

  rbanerjee20

  committed
  c235762

  Copy full SHA for c235762

• delete comment

  rbanerjee20

  committed
  36014f2

  Copy full SHA for 36014f2

• change back dune files that accidentally got formatted

  rbanerjee20

  committed
  b5040c0

  Copy full SHA for b5040c0

• wib

  rbanerjee20

  committed
  62ee523

  Copy full SHA for 62ee523

• Revert "wib"

  Show description for bd37631
  rbanerjee20

  committed
  bd37631

  Copy full SHA for bd37631

• Improve ownership injection structure

  Show description for 36771d7
  rbanerjee20

  committed
  36771d7

  Copy full SHA for 36771d7

• Add back executable_spec_internal.mli

  rbanerjee20

  committed
  61e3693

  Copy full SHA for 61e3693

• Further cleanup of ownership injections

  rbanerjee20

  committed
  09f83e3

  Copy full SHA for 09f83e3

• tiny cleanup

  rbanerjee20

  committed
  7fca745

  Copy full SHA for 7fca745