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