Anand Balakrishnan
|
86cef692dc
|
feat(argus-semantics): implement efficient streaming MinMax
|
2023-08-28 13:02:51 -07:00 |
|
Anand Balakrishnan
|
2b16ef9c40
|
fix(semantics): migrate to new AST structure
|
2023-06-06 10:46:52 -04:00 |
|
Anand Balakrishnan
|
0e62085edc
|
chore(semantics): make sure that interval is handled in the semantics
|
2023-05-09 12:05:41 -07:00 |
|
Anand Balakrishnan
|
bfd5178982
|
feat(semantics): add quantitative semantics
|
2023-04-26 12:59:54 -07:00 |
|
Anand Balakrishnan
|
bcddb7a1a2
|
feat(semantics): add boolean semantics
correct references
|
2023-04-16 18:43:02 -07:00 |
|
Anand Balakrishnan
|
c666498ac0
|
feat!(semantics): Use function for evaluating numeric expressions
|
2023-04-16 17:53:19 -07:00 |
|
Anand Balakrishnan
|
2e574c6009
|
feat!(semantics): update the Trace trait to use AnySignal
|
2023-04-16 17:19:17 -07:00 |
|
Anand Balakrishnan
|
2b447409a1
|
feat: add Sub and Abs expression nodes
|
2023-04-04 14:32:37 -07:00 |
|
Anand Balakrishnan
|
4dc6effbde
|
feat(semantics): Add quantitative semantics
|
2023-04-04 11:56:45 -07:00 |
|
Anand Balakrishnan
|
55b7cdd075
|
style(semantics): move macro impls to specific modules
|
2023-04-04 09:59:10 -07:00 |
|
Anand Balakrishnan
|
00b03a509f
|
style: run rustfmt on all files
|
2023-03-25 20:43:08 -07:00 |
|
Anand Balakrishnan
|
22c099a058
|
feat(semantics): add boolean semantics
TODO: Testing this
|
2023-03-24 13:26:11 -07:00 |
|
Anand Balakrishnan
|
35a44ca3b1
|
feat: begin working on semantics
|
2023-03-23 14:22:37 -07:00 |
|