Skip to content

GitLab

F
FloVer
Commit 088816d1 authored by Heiko Becker's avatar Heiko Becker
Browse files
Options

Remove unused stuff from files

parent 8e35f674
Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 10 deletions
coq/daisyParser.v
View file @ 088816d1
......@@ -545,13 +545,3 @@ Definition runChecker (input:string) :=
| DCONST n :: DCONST m :: tokRest => check_all (N.to_nat m) (N.to_nat n) tokRest (List.length tokList)
| _ => "failure no num of functions"
end.
(* Eval compute in "100 1 *)
Eval compute in parseExp (lex "Cast MTYPE 32 * ~9143#5 MTYPE 64 Var 0" 100) 100.
Eval compute in parseExp (lex "+ Var 6 * ~5143#5 MTYPE 64 Var 1" 100)100.
GAMMA Var 0 MTYPE 64 Var 1 MTYPE 64 Var 6 MTYPE 32 Var 2 MTYPE 32 Var 3 MTYPE 64
PRE ? Var 0 0#1 1#1 ? Var 1 ~1#2 1#2 ? Var 2 0#1 1#2 ? Var 3 0#1 1#2
ABS ? Var 6 ~9143#5 0#1 6681254772392645084970685889310303821814064616580023#61299821634635554334333881086012367344749564887344087040 ? Cast MTYPE 32 * ~9143#5 Var 0 ~9143#5 0#1 6681254772392645084970685889310303821814064616580023#61299821634635554334333881086012367344749564887344087040 ? * ~9143#5 Var 0 ~9143#5 0#1 2225304852074246919292264980387210167#3653754093327257295509212081790707549139831357440 ? ~9143#5 ~9143#5 ~9143#5 9143#45035996273704960 ? Var 0 0#1 1#1 1#9007199254740992 ? + + + Var 6 * ~5143#5 Var 1 * ~2008#1 Var 2 * ~104#1 Var 3 ~33989#10 5143#10 7562996188354616957999453839786539197309920400907048039773818377804552534410042513635368200206033847#44794894843556084211148845611368885562432909944692990697999782019275837423603218907617549865432142315520 ? + + Var 6 * ~5143#5 Var 1 * ~2008#1 Var 2 ~33469#10 5143#10 839661248383557755304484875533645064922397376094449615419192672646813101333139170231#4973232364097866421553822481468208401004561507973477174404639768931594970125333755330560 ? + Var 6 * ~5143#5 Var 1 ~23429#10 5143#10 60179393244828582529861129846732930624201324211232549387089435698103#552139707743245102994780468982162036196088717773630924413001937903943680 ? Var 6 ~9143#5 0#1 6681254772392645084970685889310303821814064616580023#61299821634635554334333881086012367344749564887344087040 ? * ~5143#5 Var 1 ~5143#10 5143#10 1251749191098966630856405861766534167#7307508186654514591018424163581415098279662714880 ? ~5143#5 ~5143#5 ~5143#5 5143#45035996273704960 ? Var 1 ~1#2 1#2 1#18014398509481984 ? * ~2008#1 Var 2 ~1004#1 0#1 20363539317926376808075051095032059#340282366920938463463374607431768211456 ? ~2008#1 ~2008#1 ~2008#1 251#1125899906842624 ? Var 2 0#1 1#2 1#33554432 ? * ~104#1 Var 3 ~52#1 0#1 3164055898169660937416542135517197#182687704666362864775460604089535377456991567872 ? ~104#1 ~104#1 ~104#1 13#1125899906842624 ? Var 3 0#1 1#2 1#18014398509481984"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment