diff options
| author | Thomas Bauereiss | 2018-01-31 12:47:18 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-01-31 12:49:20 +0000 |
| commit | e87c76b560921620a0e0f0b472c243e3c0a3bcb2 (patch) | |
| tree | ed8730a001d17d7d3020013f709192bd5b1a7e50 /lib | |
| parent | 3cad2ad60f5f5f05ef94ba38590539939d3ccda0 (diff) | |
Add wrappers around Lem operators using bitvector type class
Makes bitvector typeclass instance dictionaries disappear from generated
Isabelle output.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/isabelle/Makefile | 6 | ||||
| -rw-r--r-- | lib/isabelle/ROOT | 3 |
2 files changed, 7 insertions, 2 deletions
diff --git a/lib/isabelle/Makefile b/lib/isabelle/Makefile index 407e6871..84af5d75 100644 --- a/lib/isabelle/Makefile +++ b/lib/isabelle/Makefile @@ -1,4 +1,5 @@ THYS = Sail_impl_base.thy Sail_values.thy Sail_operators.thy \ + Sail_operators_mwords.thy Sail_operators_bitlists.thy \ State_monad.thy State.thy Prompt_monad.thy Prompt.thy EXTRA_THYS = State_monad_extras.thy Prompt_monad_extras.thy @@ -22,7 +23,10 @@ Sail_values.thy: ../../src/gen_lib/sail_values.lem Sail_impl_base.thy Sail_operators.thy: ../../src/gen_lib/sail_operators.lem Sail_values.thy lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< -Sail_operators_mwords.thy: ../../src/gen_lib/sail_operators_mwords.lem Sail_values.thy +Sail_operators_mwords.thy: ../../src/gen_lib/sail_operators_mwords.lem Sail_operators.thy + lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< + +Sail_operators_bitlists.thy: ../../src/gen_lib/sail_operators_bitlists.lem Sail_operators.thy lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< State_monad.thy: ../../src/gen_lib/state_monad.lem Sail_values.thy diff --git a/lib/isabelle/ROOT b/lib/isabelle/ROOT index 2062b64b..c798447e 100644 --- a/lib/isabelle/ROOT +++ b/lib/isabelle/ROOT @@ -4,7 +4,8 @@ session "Sail" = "LEM" + Sail_values State Prompt - Sail_operators + Sail_operators_mwords + Sail_operators_bitlists (*session "Sail" = "Sail_Base" + options [document = false] |