Open
Conversation
…cts. implemented subclasses of Graph
…similar to Switch
…to 81-overall-architecture
* #172: added Error Evaluation question in refactored code * #172: Implemented refactored erroreval in xplore, starting tests * #172: fixed typo * #172: removed testing outputs and old error verification * #172: added caching to AnnotatedGraph loading in xplore. minor changes * #172: improved AnnotatedGraph caching amount * #172: improved cached loading of AnnotatedGraph for the last time * #172: minor cleanup * #172: cleanup * #172: cleanup --------- Co-authored-by: Marco Biasion <biasion.marco.2001@gmail.com>
177 add multiplier node
* #170: implemented new storage approach, now testing * #170: expanded utils::filesystem with a method to get a unique filename * #170: utils::filesystem.opentmp prefix and suffix now default to empty string * #170: allowd utils::storage to have missing keys * #170: added LiveStorage usage in xplore, testing * #170: minor refactoring to LiveStorage * #170: minor improvements to utils::filesystem and improved documentation * #170: added .destination property to storage and fixed new key after save breaking the csv * #170: added method to extract frozen fields from Specifications * #170: added new data_storage path to Specifications, and added unique run id (using tempfile through FS) * #170: improved utils::filesystem, specifically the temporary file and unique name aspects * #170: updated how the LiveStorage is used (WIP) * #170: initial patching of Z3Log * #170: refined and expanded Paths management in Specifications, minor cleanup * #170: initial update with Specifications.Paths of labelling * #170: initial update with Specifications.Paths of AnnotatedGraph * #170: deprecated old stats storage, updated to use new Specifications.Paths * #170: streamlined, updated and deprecated some content of main.py * #170: minor improvement of file management of LiveStorage, now fails as soon as possible * #170: updated Z3Solver using Specifications.Paths * #170: added field for sub_iteration id to specs * #170: updated MetricsEstimator to use new Paths for intermediary files * #170: cleanup and readability improvements * #170: minor cleanup and improvements * #170: minor fixes * #170: patched Z3Log Graph to use dynamic paths * #170: minor improvement to LiveStorage.stage() * #170: updated z3solver to use new Paths * #170: cleanup * #170: cleanup * #170: cleanup * #170: added FS.get_unique_dirname() * #170: updated args, added debug flag, updated Paths to use system temporary folder * #170: updated README * #170: cleanup * #170: added recording of code imports times * #170: removed --clean flag * #170: added FS.walk() * #170: added archive utility to compress/archive stuff * #170: minor Specification changes, added --archive flag * #170: updated README. moved input files * #170: fixed Makefile and updated README * #170: minor fix to LiveStorage * #170: minor updates, added print_results to xplore:: * #170: cleanup * #170: fixed some comments * #170: FIXED non-determinism in the subgraph extraction algorithms! * #170: minor comment fix * #170: implemented archivation in main, minor changes * #170: moved benchmarks (and fixed README) * #170: minor fixes in benchmarks * #170: minor refactoring of annotatedGraph (logging) * #170: suppressed labelling prints from Z3Log * #170: changes to Paths in specifications (debug/temporary) * #170: minor improvements * #170: improvements to archive_files() * #170: minor changes * #170: refactored how constant run details are stored * #170: added import timing instrumentation * #170: major speedup of convert_verilog_to_gv() * #170: final fixes and cleanup * #170: improved times by skipping redundant cells during grid exploration * #170: minor changes
* #112: implemented nodes up to implies * #112: implemented up to AbsDiff * #112: implemented qbf solver, start ing tests * #112: fixed error in Template non shared * #112: added constraint node * #112: starting implementation of Maximize and Minimize * #112: added more benchmarks * #112: implemented all nodes except global * #136: added/updated some utils * #136: updated clean/clean-all in Makefile * #136: updated all utility classes to use the new make_utility_class decorator * #136: minor updates to Graph.py and Node.py * #136: expanded Solver behaviour with default logic and instructions * #136: updated README with makefile changes * #136: improved error messages and documentation * #136: updatd Z3Solver to make use of new Solver structure and features * #136: updated logic for Solver and Z3Solver * #136: minor refactor of solve step in xplore * #136: minor fixes * #136: renamed GlobalNode to GlobalTask. added solver method to remove GlobalTask(s) from graphs * #136: minor fixes and doc improvements in Z3Solver * #136: added ForAll node to NonShared templates * #136: added intermidiary node in the hierarchy * #136: updated GraphVizPorter * #112: removed done TODO comment * #112: implemented changes for _solve_forall and others * #136: added getter to CGraph * #136: fixed documentation and error messages * #136: refactored get+remove of GlobalTask from graphs in Solver * #136: minor doc changes * #136: minor doc changes * #136: refactored and fixed Z3Solver * #136: fixed Solver.solve(...) inner calls * #136: minor comment changes * #136: added informations about root/leaft nodes. marked node groups as deprecated. added typing aliases * #136: updated converting utilities with new node aliases * #136: improved hierarchy of nodes, and references * #136: minor doc fix * #136: minor cleanup * #112: override methods of solver * #112: fixed bug in if node * #112: fixed problems and finished qbf solver implementation * #112: Added Xor node to qbf solver * #81: small changes due to new crystallise * #112: fixed qbf for forall optimize * #112: fixed small problem * #112: added multiplier node to qbf * #112: minor fix after merge * #112: fixed minor qbf problem * #112: added circuits: abs_diff up to i1024, adder up to i1024, madd up to i384, mul up to i256, sadd up to i640 * #112: refactored solver - replaced counter * #112: fixed sad circuits name * #112: updated AnnotatedGraph, caching now deepcopies, .subgraph is now alias of .graph * #112: minor formatting * #112: removed extra benchmarks * #112: refactored QbfSolver --------- Co-authored-by: lollospadalaser <spadalorenzo04@gmail.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.