| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-09-05 | Enables verbose mode.instance-calculator | Nathanael Sensfelder | |
| Apparently, Kodkod gets stuck on the "translating to booleans" part. | |||
| 2017-09-04 | Merge commit '474f870' into instance-calculator | Nathanael Sensfelder | |
| 2017-09-04 | Fixes jar not downloading. | Nathanael Sensfelder | |
| 2017-09-02 | Finer imports. | Nathanael Sensfelder | |
| 2017-09-01 | Adds test cases for the issue. | Nathanael Sensfelder | |
| 2017-08-30 | Forgot to increase instances_count. | Nathanael Sensfelder | |
| 2017-08-30 | Reduces the scalability issue. | Nathanael Sensfelder | |
| It seems to take very long to find solutions for simple_flip_flop_instance, but at least it no longer gives up right away. | |||
| 2017-08-30 | Gets stuck due to scaling issues. | Nathanael Sensfelder | |
| 2017-08-30 | Outputs are now generated. | Nathanael Sensfelder | |
| 2017-08-29 | Seems like all remains is doing the actual output. | Nathanael Sensfelder | |
| 2017-08-29 | Most of the program's logic seems to be there... | Nathanael Sensfelder | |
| 2017-08-29 | Should now load the model. | Nathanael Sensfelder | |
| 2017-08-29 | Still working on the implementation. | Nathanael Sensfelder | |
| 2017-08-29 | Starting to get an idea of how it's going to work. | Nathanael Sensfelder | |
| 2017-08-28 | Starts the Instance Calculator | Nathanael Sensfelder | |
| 2017-08-28 | The pong.xml AST is not included. | Nathanael Sensfelder | |
| 2017-08-28 | Small changes? Forgot to commit. | Nathanael Sensfelder | |
| 2017-08-17 | Adds CNE_04500. | Nathanael Sensfelder | |
| 2017-08-17 | "LINE" was in undercase, messing with the output. | Nathanael Sensfelder | |
| 2017-08-17 | Removes unused data/instructions/ dir. | Nathanael Sensfelder | |
| 2017-08-16 | Improves Phrasing, changes to match new Makefiles. | Nathanael Sensfelder | |
| 2017-08-16 | Fixes Makefiles so they can run parallel jobs. | Nathanael Sensfelder | |
| 2017-08-15 | Partial attr. support, build/run targets, literals | Nathanael Sensfelder | |
| 2017-08-15 | Adds support for comments in properties. | Nathanael Sensfelder | |
| 2017-08-15 | Use of 'eq' greatly improves performance. | Nathanael Sensfelder | |
| 2017-08-15 | Adds 'eq' and 'iff' to the language. | Nathanael Sensfelder | |
| 2017-08-13 | Adds more (rather simple) properties. | Nathanael Sensfelder | |
| 2017-08-04 | For some reason, CNE_01700 no longer works.improved_makefiles | Nathanael Sensfelder | |
| 2017-08-03 | First shot at spprinter's Makefile + README update | Nathanael Sensfelder | |
| 2017-08-03 | Fixes issues in properties, Makefiles. | Nathanael Sensfelder | |
| 2017-08-03 | Other than the pretty-printer, it seems done. | Nathanael Sensfelder | |
| 2017-08-03 | The Makefile of instr-to-kodkod's parser is done. | Nathanael Sensfelder | |
| 2017-08-03 | Improving clarity through better Makefiles. | Nathanael Sensfelder | |
| 2017-08-03 | Finishes the sol_pretty_printer, 'xcept Makefile. | Nathanael Sensfelder | |
| 2017-08-01 | Starting a pretty-printer for the solutions. | Nathanael Sensfelder | |
| 2017-08-01 | St | Nathanael Sensfelder | |
| 2017-08-01 | Adds more rules and prettyprint messages for them. | Nathanael Sensfelder | |
| 2017-08-01 | Adds CNE_01800, as it's near identical to CNE_1700 | Nathanael Sensfelder | |
| 2017-08-01 | Woops, I was testing against a FE signal. | Nathanael Sensfelder | |
| No wonder it didn't find any solution... | |||
| 2017-08-01 | Fixes is_accessed_by. CNE_01700 is not working. | Nathanael Sensfelder | |
| The BCE has been updated to include a group of items that should be tagged by the CNE_01700 rule. However, it's not happening. I don't see anything wrong with the way the CNE_01700 rule is written and a quick overview of the generated model would lead me to conclude that it indeed should tag something. Likely there are still issues with the way properties are turned into Kodkod formulas. | |||
| 2017-08-01 | Fixes regex predicate + optimizes CNE_01700. | Nathanael Sensfelder | |
| The combination of those two changes makes the solving much faster, but since BCE does not have anything that would be matched, it may also simply be incorrect. | |||
| 2017-07-31 | Fixes typo with functions, errors in grammar. | Nathanael Sensfelder | |
| Looking for the groups matching CNE_01700 appears to take a really long time. The formula is quite complex, yet unlikely to be one of the most complex ones, so we'll have to see what can be done. | |||
| 2017-07-31 | Renames README to README.md. Woops. | Nathanael Sensfelder | |
| 2017-07-31 | Adds README. | Nathanael Sensfelder | |
| 2017-07-31 | First shot at the handling of regular expressions. | Nathanael Sensfelder | |
| 2017-07-31 | Adds a verbosity parameter. | Nathanael Sensfelder | |
| 2017-07-31 | Finer imports. | Nathanael Sensfelder | |
| 2017-07-31 | Improves solution displaying. | Nathanael Sensfelder | |
| 2017-07-31 | Tagged variables are now the only skolemized vars.skol_only_the_solution | Nathanael Sensfelder | |
| 2017-07-28 | Removes repetitions, prepares for skol. of sol. | Nathanael Sensfelder | |