argus

research/argus

Fork 0

Commit graph

55b7cdd075

style(semantics): move macro impls to specific modules Anand Balakrishnan 2023-04-04 09:59:10 -07:00
b517043d0e

feat(core): Add casting and correct subtraction/cmp Anand Balakrishnan 2023-04-04 09:57:20 -07:00
7c8c833469

test: add proptest arbitrary as a feature Anand Balakrishnan 2023-04-04 09:56:19 -07:00
00b03a509f

style: run rustfmt on all files Anand Balakrishnan 2023-03-25 20:43:08 -07:00
22c099a058

feat(semantics): add boolean semantics Anand Balakrishnan 2023-03-24 13:26:11 -07:00
e982dfe5a5

feat: add error for traces without signal names Anand Balakrishnan 2023-03-24 13:25:27 -07:00
f86f0a2ea8

feat: use argus_core::prelude for necessities Anand Balakrishnan 2023-03-24 13:25:04 -07:00
02070c1f5a

feat: error for invalid operations on signals Anand Balakrishnan 2023-03-23 15:37:02 -07:00
989da9ac92

feat: add enum for supported signal types Anand Balakrishnan 2023-03-23 14:33:46 -07:00
35a44ca3b1

feat: begin working on semantics Anand Balakrishnan 2023-03-23 14:22:37 -07:00
eea6b2a619

test: add some proptest regressions Anand Balakrishnan 2023-03-23 14:15:06 -07:00
01b4e55fec

fix: correctly use || instead of && in BitOr Anand Balakrishnan 2023-03-23 14:03:06 -07:00
a6dc175c8a

test: add tests for signal operation sugar Anand Balakrishnan 2023-03-23 14:01:52 -07:00
5b88a1dac6

fix: linear interpolation of bool signal should extend previous value Anand Balakrishnan 2023-03-23 14:00:15 -07:00
c6a05ef5b4

feat: add syntactic sugar for signal operations Anand Balakrishnan 2023-03-22 19:06:23 -07:00
9ecba8b6b4

test: add proptest regressions Anand Balakrishnan 2023-03-22 18:14:51 -07:00
978c4531c7

test: minor cases for testing Anand Balakrishnan 2023-03-22 18:14:35 -07:00
fee31cd066

build: clean goverage data before regenerating Anand Balakrishnan 2023-03-22 17:59:26 -07:00
ad4d85ec3d

chore: run rustfmt Anand Balakrishnan 2023-03-22 14:57:27 -07:00
00a1c32fc1

test: add tests for signals Anand Balakrishnan 2023-03-22 14:56:56 -07:00
22d19154af

feat: add general signal types Anand Balakrishnan 2023-03-22 13:40:13 -07:00
cde8cb24e5

test: add simple unit test for expression iteration Anand Balakrishnan 2023-03-20 10:29:03 -07:00
0359029741

feat: add ExprRef sumtype with better expression iteration Anand Balakrishnan 2023-03-20 10:28:26 -07:00
79384d436d

feat: add sugar for creating comparison ops Anand Balakrishnan 2023-03-20 10:26:04 -07:00
55894d55fb

feat: implement an Expr trait Anand Balakrishnan 2023-03-19 23:15:54 -07:00
afe265eba2

refactor: move overloaded ops into separate modules Anand Balakrishnan 2023-03-19 23:13:44 -07:00
57625fe707

build: add coverage target Anand Balakrishnan 2023-03-19 23:04:17 -07:00
f23371ac39

style: adjust the enum variant length Anand Balakrishnan 2023-03-17 16:06:41 -07:00
84f8b2a093

feat: overload operations of expressions for easy DSL Anand Balakrishnan 2023-03-17 15:48:52 -07:00
b56327a3a2

feat: add expression builder API Anand Balakrishnan 2023-03-17 14:42:09 -07:00
a0747108a7

test: add tests for arbitrarily generated expressions Anand Balakrishnan 2023-03-17 13:52:39 -07:00
32d92df549

feat: add a propositional logic expression tree Anand Balakrishnan 2023-03-17 13:51:50 -07:00
fcb4dc9740

style: update rustfmt for wider enum variants Anand Balakrishnan 2023-03-17 13:47:33 -07:00
d488edb048

using workspaces Anand Balakrishnan 2023-03-16 17:31:01 -07:00
81b7c68bb3

initial commit Anand Balakrishnan 2023-03-16 17:22:51 -07:00