Anand Balakrishnan
c916db3853
feat(argus-semantics): complete boolean semantics
2023-08-30 12:46:52 -07:00
Anand Balakrishnan
ad9afb4eba
feat(argus-semantics): finish quantitative semantics
...
The Boolean semantics are still incomplete. The decision to keep the
computations separate stays, as using the quantitative semantics for
Boolean values (while sound) interpolates in weird places.
May revisit this decision in the future
2023-08-29 18:16:52 -07:00
Anand Balakrishnan
86cef692dc
feat(argus-semantics): implement efficient streaming MinMax
2023-08-28 13:02:51 -07:00
Anand Balakrishnan
2e574c6009
feat!(semantics): update the Trace trait to use AnySignal
2023-04-16 17:19:17 -07:00
Anand Balakrishnan
4dc6effbde
feat(semantics): Add quantitative semantics
2023-04-04 11:56:45 -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
