1
0
mirror of synced 2026-05-23 13:46:47 +00:00

Commit Graph

  • 3b8f3c2719 Merge pull request #4582 from YosysHQ/emil/internal_stats-help-string Martin Povišer 2024-09-05 15:37:22 +02:00
  • 7e65b83d49 Merge pull request #4576 from povik/xaiger-drop-bswap Martin Povišer 2024-09-05 15:36:49 +02:00
  • 73a2d35f81 Merge pull request #4581 from YosysHQ/emil/ff-clk-comment Martin Povišer 2024-09-05 12:34:21 +02:00
  • 14b9155492 internal_stats: fix doc build by adding a help string Emil J. Tywoniak 2024-09-05 11:22:21 +02:00
  • bd6f7bb4a7 ff: improve comments Emil J. Tywoniak 2024-09-05 11:17:12 +02:00
  • 17ee367c7b Docs: Use Read the Docs SPHINXOPTS Krystine Sherwin 2024-09-05 15:46:49 +12:00
  • 21494d1f06 Makefile: Update coverage_functional Krystine Sherwin 2024-09-05 11:43:31 +12:00
  • 5a476a8d29 functional tests: run from make tests but not smtlib/rkt tests Emily Schmidt 2024-09-04 10:30:08 +01:00
  • d567164173 Bump version github-actions[bot] 2024-09-04 00:19:13 +00:00
  • 68fbca8769 Merge pull request #4554 from YosysHQ/emil/devstat Martin Povišer 2024-09-03 21:06:46 +02:00
  • 0ce7631956 internal_stats: init, report current memory consumption on linux and mac Emil J. Tywoniak 2024-09-03 19:28:24 +02:00
  • 7de8be1451 functional_ir.rst: fix typo, document SExprWriter::flush Emily Schmidt 2024-09-03 14:30:56 +01:00
  • 75ed6d38fc fix rst formatting in functional_ir.rst Emily Schmidt 2024-09-03 14:21:56 +01:00
  • 0744fac883 Next dev cycle Miodrag Milanovic 2024-09-03 12:39:38 +02:00
  • d6c5e13bf3 smtr: Structs have local scope Krystine Sherwin 2024-09-03 22:23:41 +12:00
  • a2abbcb33f smtr: Use scope.unique_name Krystine Sherwin 2024-09-03 22:05:17 +12:00
  • 5a29b3e172 smtr: More sanitization Krystine Sherwin 2024-08-30 10:44:35 +12:00
  • 07b6908019 smtr: Use rosette/safe Krystine Sherwin 2024-08-30 09:56:08 +12:00
  • 7fe9157df2 smtr: Add rkt to functional tests Krystine Sherwin 2024-08-23 09:05:44 +12:00
  • 8b29629ca9 smtr: Fork smtlib for rosette Krystine Sherwin 2024-08-23 09:05:44 +12:00
  • 9ed031ddd5 Fix TODOs in docs 0.45 Miodrag Milanovic 2024-09-03 12:28:25 +02:00
  • 3e0dc2ff1e Release version 0.45 Miodrag Milanovic 2024-09-03 10:28:56 +02:00
  • 598d010349 Merge pull request #4504 from YosysHQ/nanoxplore Miodrag Milanović 2024-09-03 10:19:44 +02:00
  • 556c705a89 Cleanup of synth_nanoxplore pass Miodrag Milanovic 2024-09-03 10:15:50 +02:00
  • 9fca352882 Merge pull request #4563 from YosysHQ/krys/better_rtds_action Miodrag Milanović 2024-09-03 09:32:24 +02:00
  • 89cbca4f44 Add macOS instructions for latexpdf Miodrag Milanovic 2024-09-03 09:15:12 +02:00
  • 9c1bcb38d9 write_xaiger: Get by without endianness helpers Martin Povišer 2024-09-03 08:53:51 +02:00
  • c0ce0b82a8 docs: gvpack on macos requires the file name to appear after the flags Emily (aiju) 2024-08-22 11:54:20 +01:00
  • 6b9321250b Bump version github-actions[bot] 2024-09-03 00:20:12 +00:00
  • 558f313a78 Docs: Show todos in previews Krystine Sherwin 2024-08-29 10:43:01 +12:00
  • 25623b1010 ci: test-verific no longer needs special casing docs-previewtest Krystine Sherwin 2024-09-03 11:45:00 +12:00
  • e92de01ab3 ci: Split out prepare-docs Krystine Sherwin 2024-09-03 11:40:47 +12:00
  • 6c833d83b8 ci: Use docs/prep target Krystine Sherwin 2024-08-29 09:59:20 +12:00
  • cab781d958 Makefile: Move docs prereqs to separate target Krystine Sherwin 2024-08-29 09:58:41 +12:00
  • a97d99cbac ci: Verific skipping conditional on github.ref Krystine Sherwin 2024-09-03 11:00:28 +12:00
  • 840c515ffc RTDs: Fail on warning Krystine Sherwin 2024-09-03 10:20:24 +12:00
  • c25448f1d1 Merge pull request #4569 from georgerennie/george/proc_dff_ordering Emil J 2024-09-02 15:32:07 +02:00
  • 2b8db94aa0 functional backend: add test to verify test_generic Emily Schmidt 2024-08-29 13:14:18 +01:00
  • 8206951f77 proc_dff: add tests George Rennie 2024-08-28 16:24:47 +01:00
  • bdb5d45591 proc_dff: respect sync rule priorities when generating complex dffsrs George Rennie 2024-08-28 15:38:27 +01:00
  • 4eeb8d326a functional backend: rename "type" to either "kind" or "sort" to make the terminology consistent Emily Schmidt 2024-08-28 12:39:41 +01:00
  • 27efed27c2 functional backend: more documentation Emily Schmidt 2024-08-28 11:28:24 +01:00
  • d0da1b56be cxxrtl: backend: don't drop bits 2 and 5 on non-printable format. Asherah Connor 2024-08-27 18:36:43 +03:00
  • 94913a9f5a cxxrtl: use octal encoding of non-printables. Asherah Connor 2024-08-27 17:34:56 +03:00
  • b428bf4600 functional backends: identifiers in c++/smtlib may not start with digits Emily Schmidt 2024-08-27 13:10:34 +01:00
  • 459e6b913a add functional ir documentation Emily Schmidt 2024-08-27 11:11:02 +01:00
  • ecff434886 Docs: Use version name from readthedocs Krystine Sherwin 2024-08-27 10:21:31 +12:00
  • a20756676c ci: Update RTDs trigger conditional Krystine Sherwin 2024-08-27 09:56:07 +12:00
  • 83692075df ci: Don't cancel previous builds Krystine Sherwin 2024-08-27 09:50:29 +12:00
  • 98d26bdd2c Docs: Fix nested list on build_verific page Krystine Sherwin 2024-08-26 10:55:01 +12:00
  • 7d63fdd88e README: building docs on macos Krystine Sherwin 2024-08-23 12:53:38 +12:00
  • 5d5d890d5b Docs: macos-safe build Krystine Sherwin 2024-08-23 12:52:15 +12:00
  • 0b53b10770 Makefile: Stop unconditionally install docs prereqs Krystine Sherwin 2024-08-23 12:36:41 +12:00
  • 2e1335a023 Docs: Fix local builds Krystine Sherwin 2024-08-23 10:06:32 +12:00
  • 0fc5812dcd Merge pull request #4541 from YosysHQ/krys/compiler-warnings N. Engelhardt 2024-08-26 15:04:16 +02:00
  • 72f77dd97b Bump version github-actions[bot] 2024-08-23 00:18:22 +00:00
  • 09a42dd421 Merge pull request #4396 from YosysHQ/krys/docs_verific KrystalDelusion 2024-08-23 09:52:37 +12:00
  • 583d820dc2 Docs: Apply verific docs suggestions Krystine Sherwin 2024-08-23 09:23:57 +12:00
  • 7b0ecaa953 Merge pull request #4549 from YosysHQ/emil/macos-max-mem-usage Emil J 2024-08-22 17:43:32 +02:00
  • 761eff594f functional backend: missing includes for stl containers Emily Schmidt 2024-08-22 11:13:58 +01:00
  • 9b5e81b13f drivertools: fix C++20 "incomplete type" error by moving constructors below other definitions Emily Schmidt 2024-08-22 10:40:56 +01:00
  • 27b51cb351 Bump version github-actions[bot] 2024-08-22 00:18:24 +00:00
  • 3317d80480 Docs: Clarify verific caveats Krystine Sherwin 2024-08-22 10:04:00 +12:00
  • 6431534c24 Docs: Some other fixes Krystine Sherwin 2024-08-22 10:03:59 +12:00
  • 8145461c78 Docs: Fix Verific builds table formatting Krystine Sherwin 2024-08-22 10:03:59 +12:00
  • 0327ad97f2 Docs: Fix code formatting Krystine Sherwin 2024-08-22 10:03:59 +12:00
  • 36ad07e1d5 Docs: Update build_verific Krystine Sherwin 2024-08-22 10:03:59 +12:00
  • 88bb785dcd Docs: Verific but with sentences Krystine Sherwin 2024-08-22 10:03:59 +12:00
  • cfba26ca8b Docs: Verific progress Krystine Sherwin 2024-08-22 10:03:59 +12:00
  • 00bb3b6fc2 Docs: Merge yosys_source into extending_yosys Krystine Sherwin 2024-08-22 10:03:59 +12:00
  • 8e618cac45 Docs: Update build_verific.rst Krystine Sherwin 2024-08-22 10:03:59 +12:00
  • 53b223f0df Docs: Initial build_verific.rst Krystine Sherwin 2024-08-22 10:03:59 +12:00
  • d97a243c22 Docs: Intro to Yosys source section Krystine Sherwin 2024-08-22 10:03:59 +12:00
  • e18a2f1e27 Docs: Section/folder for yosys source details Krystine Sherwin 2024-08-22 10:03:58 +12:00
  • 2ffafadf22 Docs: Add note on verific Krystine Sherwin 2024-08-22 10:03:58 +12:00
  • 27c1432253 Remove log Roland Coeurjoly 2024-08-19 17:03:27 +02:00
  • 91e3773b51 Ensure signed constants are correctly parsed, represented, and exported in RTLIL. Add a test to check parsing and exporting Roland Coeurjoly 2024-08-19 16:56:08 +02:00
  • f456761e88 add sandia copyright notice to the functional backend Emily Schmidt 2024-08-13 14:04:04 +01:00
  • 831da51255 add picorv test to functional backend Emily Schmidt 2024-08-08 15:38:24 +01:00
  • 50047d25b3 functional backend: add different types of input/output/state variables Emily Schmidt 2024-08-06 09:56:28 +01:00
  • 79a1b691ea silence some more warnings, undo mistaken addition Emily Schmidt 2024-07-25 13:11:56 +01:00
  • 8f77494263 silence some warnings Emily Schmidt 2024-07-25 12:54:58 +01:00
  • fbee31080e add optional header and hashlib implementation for optional Emily Schmidt 2024-07-25 12:25:19 +01:00
  • 850b3a6c29 convert class FunctionalIR to a namespace Functional, rename functionalir.h to functional.h, rename functional.h to compute_graph.h Emily Schmidt 2024-07-25 12:10:59 +01:00
  • 8c0f625c3a functional backend: topological sort starts with the output and next states nodes, other nodes get deleted Emily Schmidt 2024-07-25 10:35:32 +01:00
  • 7ac0e92d35 functional backend: rename get_input and get_current_state to input and current_state (more consistent with other methods) Emily Schmidt 2024-07-25 07:59:00 +01:00
  • 95d28c22a2 functional backend: make Memory in the C++ simulation library read-only again Emily Schmidt 2024-07-24 18:50:03 +01:00
  • 99effb6789 add support for initializing registers and memories to the functional backend Emily Schmidt 2024-07-24 17:37:17 +01:00
  • bdb59ffc8e add -fst-noinit flag to sim for not initializing the state from the fst file Emily Schmidt 2024-07-24 17:33:32 +01:00
  • 12a31a4418 add MemContents class to mem.h Emily Schmidt 2024-07-24 17:23:18 +01:00
  • 6d329e142d functional backend: error out if multiply driven or undriven signals are seen, dont bother putting them in functionalir Emily Schmidt 2024-07-18 14:23:00 +01:00
  • 145af6f10d fix memory handling in functional backend, add more error messages and comments for memory edgecases Emily Schmidt 2024-07-18 14:10:15 +01:00
  • 4722f13a5d functional backend: reduce $lcu to $alu Emily Schmidt 2024-07-18 07:50:49 +01:00
  • 3cd5f4ed83 add support for RTLIL cells with multiple outputs to the functional backend, implement $fa,$lcu,$alu Emily Schmidt 2024-07-17 16:33:34 +01:00
  • 13bacc5c8f eliminate pmux in functional backend Emily Schmidt 2024-07-17 13:35:58 +01:00
  • c0c90c2c31 functional backend: require shift width == clog2(operand width) Emily Schmidt 2024-07-17 13:26:53 +01:00
  • 7f8f21b980 remove widths parameters from FunctionalIR factory methods and from functionalir.cc Emily Schmidt 2024-07-17 12:42:24 +01:00
  • 55c2c17853 document functionalir.h and change visitors to derive from AbstractVisitor. remove extraneous widths arguments from visitors. Emily Schmidt 2024-07-17 11:53:42 +01:00
  • 6922633b0b fix a few bugs in the functional backend and refactor the testing Emily Schmidt 2024-07-16 17:55:26 +01:00
  • 674e6d201d rewrite functional backend test code in python Emily Schmidt 2024-07-12 11:07:33 +01:00