Commits · 071b66d55962c1963596ad4fb6c8663064822f78 · Robert Julius Pietsch / Flowduktiv · GitLab

Snippets Groups Projects

Mar 24, 2024
- Renamed examples directory · 071b66d5
  Robert Julius Pietsch authored 1 year ago
  
  071b66d5
- Cleaned up example files · e129aaa9
  Robert Julius Pietsch authored 1 year ago
  
  e129aaa9
- Fixed operand order of SMT-lib's extract · ef0070e1
  Robert Julius Pietsch authored 1 year ago
  
  ef0070e1
- Fixed greedyness of Lark parser · a0a3325c
  Robert Julius Pietsch authored 1 year ago
  
  a0a3325c
- Added tmp directory to gitignore · 7db07839
  Robert Julius Pietsch authored 1 year ago
  
  7db07839
- Fixed output formatting in list-constraints in ind-ni · fe4d09d0
  Robert Julius Pietsch authored 1 year ago
  
  fe4d09d0
Mar 23, 2024
- Unified filenames for NI contexts and dependecies · 9e5b52da
  Robert Julius Pietsch authored 1 year ago
  
  9e5b52da
- Refactored global commands · 5bccf5e8
  Robert Julius Pietsch authored 1 year ago
  
  5bccf5e8
- Added link to wiki to README · b8360ee0
  Robert Julius Pietsch authored 1 year ago
  
  b8360ee0
Mar 20, 2024
- Unified description with Wiki · 1710d9bb
  Robert Julius Pietsch authored 1 year ago
  
  1710d9bb
- Added name of tool and short description · ae82e06a
  Robert Julius Pietsch authored 1 year ago
  
  ae82e06a
- Further unified and documented commands between contexts · af76fe48
  Robert Julius Pietsch authored 1 year ago
  
  af76fe48
- Made REPL prompt handle dashes properly · ea203059
  Robert Julius Pietsch authored 1 year ago
  
  ea203059
Mar 18, 2024
- Unified syntax across contexts · a359a5d4
  Robert Julius Pietsch authored 1 year ago
  
  a359a5d4
- Fixed crash on invalid command in REPL · f9b6c4b5
  Robert Julius Pietsch authored 1 year ago
  
  f9b6c4b5
Mar 15, 2024
- Fixed incorrect sanity check · 5c24f9bc
  Robert Julius Pietsch authored 1 year ago
  
  5c24f9bc
- Renamed proof contexts for clarity · 12d3c5e5
  Robert Julius Pietsch authored 1 year ago
  
  12d3c5e5
- Removed nonexisting commands · 93b2d9e3
  Robert Julius Pietsch authored 1 year ago
  
  93b2d9e3
- Added help text and command descriptions · 39464531
  Robert Julius Pietsch authored 1 year ago
  
  39464531
Mar 14, 2024
- Fixed wrong bitwidth in FastMultEarly sample · 3792a2dc
  Robert Julius Pietsch authored 1 year ago
  
  3792a2dc
Mar 08, 2024
- Reverted new argparse options for ni constraints · 8016b447
  Robert Julius Pietsch authored 1 year ago
  
  8016b447
- Fixed interactive input of sources and sinks · a67f68f6
  Robert Julius Pietsch authored 1 year ago
  
  a67f68f6
- Added missing productions in constraint grammars · 35ec444a
  Robert Julius Pietsch authored 1 year ago
  
  35ec444a
Mar 07, 2024
- Add sv2v versions of IBEX for experiments · 1349b008
  Robert Julius Pietsch authored 1 year ago
  
  1349b008
- Commented out Testbenches to prevent yosys misbehavior · 006023b9
  Robert Julius Pietsch authored 1 year ago
  
  006023b9
- Expanded feature set of inductive invariant checker · a7ee12fa
  Robert Julius Pietsch authored 1 year ago
  
  a7ee12fa
- Fixed typo in variable naming · b37a2286
  Robert Julius Pietsch authored 1 year ago
  
  b37a2286
- Added wires to be shown in show-module output · 8fabacbd
  Robert Julius Pietsch authored 1 year ago
  
  8fabacbd
Mar 05, 2024
- Changed invocation of yosys to add compatibility with systemverilog · d6cc757d
  Robert Julius Pietsch authored 1 year ago
  
  d6cc757d
- Fixed copy-paste mistake · bb9eeb8a
  Robert Julius Pietsch authored 1 year ago
  
  bb9eeb8a
- Bugfixes in typing of one-bit wires · 2f39ae73
  Robert Julius Pietsch authored 1 year ago
  
  2f39ae73
Mar 04, 2024
- Add LICENSE · f2ac3540
  Robert Julius Pietsch authored 1 year ago
  
  f2ac3540
- Add basic documentation · f331238f
  Robert Julius Pietsch authored 1 year ago
  
  f331238f
Mar 01, 2024
- Added requirement list · 273d9460
  Robert Julius Pietsch authored 1 year ago
  
  273d9460
- Added option to perform bounded ni checking starting from non-initial states · 8c4a9b65
  Robert Julius Pietsch authored 1 year ago
  
  8c4a9b65
- Added tooling for inductive invariants · 51634332
  Robert Julius Pietsch authored 1 year ago
  
  51634332
Feb 29, 2024
- Added implications/equivalences to constraint language · 8d6e9522
  Robert Julius Pietsch authored 1 year ago
  
  8d6e9522
- Added and fixed samples for bounded ni checking · 23efbc2b
  Robert Julius Pietsch authored 1 year ago
  
  23efbc2b
- enforce initial internal state to agree between instances in bounded noninterference · c1783325
  Robert Julius Pietsch authored 1 year ago
  
  c1783325
- remove internal connection indexing · 76cac130
  Robert Julius Pietsch authored 1 year ago
  
  76cac130