This file contains 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
diff --git a/src/dft/CMakeLists.txt b/src/dft/CMakeLists.txt | |
index dbff4f64f..d747b68b0 100644 | |
--- a/src/dft/CMakeLists.txt | |
+++ b/src/dft/CMakeLists.txt | |
@@ -70,6 +70,7 @@ target_link_libraries(dft | |
dft_config_lib | |
dft_replace_lib | |
dft_clock_domain_lib | |
+ dft_utils_lib | |
) |
This file contains 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
diff --git a/src/dft/src/Dft.cpp b/src/dft/src/Dft.cpp | |
index 426a90260..f2770de0a 100644 | |
--- a/src/dft/src/Dft.cpp | |
+++ b/src/dft/src/Dft.cpp | |
@@ -122,8 +122,22 @@ void Dft::preview_dft(bool verbose) | |
} | |
logger_->report(""); | |
- // Go to original state because preview_dft should not modify anything | |
- scan_replace_->rollbackScanReplace(); |
This file contains 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
#!/bin/sh | |
# File: .git/hooks/prepare-commit-msg | |
# Source: https://stackoverflow.com/a/46536244 | |
NAME=$(git config user.name) | |
EMAIL=$(git config user.email) | |
if [ -z "$NAME" ]; then | |
echo "empty git config user.name" | |
exit 1 |
This file contains 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
// Protocol Buffers - Google's data interchange format | |
// Copyright 2008 Google Inc. All rights reserved. | |
// https://developers.google.com/protocol-buffers/ | |
// | |
// Redistribution and use in source and binary forms, with or without | |
// modification, are permitted provided that the following conditions are | |
// met: | |
// | |
// * Redistributions of source code must retain the above copyright | |
// notice, this list of conditions and the following disclaimer. |
This file contains 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
// Protocol Buffers - Google's data interchange format | |
// Copyright 2008 Google Inc. All rights reserved. | |
// https://developers.google.com/protocol-buffers/ | |
// | |
// Redistribution and use in source and binary forms, with or without | |
// modification, are permitted provided that the following conditions are | |
// met: | |
// | |
// * Redistributions of source code must retain the above copyright | |
// notice, this list of conditions and the following disclaimer. |
This file contains 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
{-# LANGUAGE GADTs #-} | |
{-# LANGUAGE TypeSynonymInstances #-} | |
{-# LANGUAGE FlexibleInstances #-} | |
module SIMD where | |
import Data.List hiding (transpose) | |
import Data.List.Split | |
import Control.Monad (liftM2, liftM4, void) | |
import Data.SBV |
This file contains 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
{-# LANGUAGE GADTs #-} | |
{-# LANGUAGE TypeSynonymInstances #-} | |
{-# LANGUAGE FlexibleInstances #-} | |
module SIMD where | |
import Data.List hiding (transpose) | |
import Data.List.Split | |
import Control.Monad (liftM2, liftM4, void) | |
import Data.SBV |
This file contains 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
{-# LANGUAGE ScopedTypeVariables #-} | |
import Test.QuickCheck | |
equilibrium :: forall a. (Eq a, Num a) => [a] -> [Int] | |
equilibrium [] = [] | |
equilibrium [_] = [] | |
equilibrium (x:xs) = equilibrium' 0 0 x (sum xs) xs |
This file contains 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
/*! | |
* Datepicker for Bootstrap v1.5.0-dev (https://github.com/eternicode/bootstrap-datepicker) | |
* | |
* Copyright 2012 Stefan Petre | |
* Improvements by Andrew Rowls | |
* Licensed under the Apache License v2.0 (http://www.apache.org/licenses/LICENSE-2.0) | |
*/(function($, undefined){ | |
function UTCDate(){ | |
return new Date(Date.UTC.apply(Date, arguments)); |
This file contains 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
CREATE OR REPLACE FUNCTION sp_crear_participante(nombre TEXT, clave TEXT) | |
RETURNS TEXT | |
AS | |
$$ | |
import json | |
from hashlib import md5 | |
NewerOlder