diff options
| author | Alasdair Armstrong | 2018-04-03 15:06:56 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-04-03 17:19:48 +0100 |
| commit | 6208b4a8d426abfee3c067b542573977f4cb4240 (patch) | |
| tree | 7808e09524a0d864af8d2aad58c84230ae4ad128 /lib/flow.sail | |
| parent | 3e6cd07f4edebedfbcbd7bb4f3b80ddbba3cf420 (diff) | |
Added test cases for builtins
Added library for simple integer arithmetic functions in lib/arith.sail
WIP TeX file for formatting latex output included in lib/sail.tex
Fixes for bugs in sail_lib
Diffstat (limited to 'lib/flow.sail')
| -rw-r--r-- | lib/flow.sail | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/flow.sail b/lib/flow.sail index 9e4c98c1..94019b0a 100644 --- a/lib/flow.sail +++ b/lib/flow.sail @@ -27,13 +27,14 @@ val gteq_atom_range = "gteq" : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> boo val eq_range = {ocaml: "eq_int", lem: "eq", c: "eq_int"} : forall 'n 'm 'o 'p. (range('n, 'm), range('o, 'p)) -> bool val eq_int = {ocaml: "eq_int", lem: "eq", c: "eq_int"} : (int, int) -> bool +val eq_bool = {ocaml: "eq_bool", lem: "eq", c: "eq_bool"} : (bool, bool) -> bool val lteq_int = "lteq" : (int, int) -> bool val gteq_int = "gteq" : (int, int) -> bool val lt_int = "lt" : (int, int) -> bool val gt_int = "gt" : (int, int) -> bool -overload operator == = {eq_atom, eq_range, eq_int} +overload operator == = {eq_atom, eq_range, eq_int, eq_bool} overload operator | = {or_bool} overload operator & = {and_bool} |